C++ MSVC/GCC/Clang 编译器错误

Question

我从标题中发现了 3 个编译器中似乎是一个令人难以置信的错误。以下代码使用 c++11 和 c++14 标准与所有三个编译器的最新版本一起编译，尽管它确实不应该，因为 "visit_detail" 函数对 "main" 不可见。

更正：我很愚蠢，实际上不是 GCC/Clang 中的错误，但似乎是我的 MSVC 版本中的错误。

#include <utility>
#include <iostream>
#include <type_traits>



namespace bug
{
    using namespace std;
    using size_t = unsigned long long;



    namespace detail
    {
        struct visit_stop_t {};
        constexpr bug::detail::visit_stop_t visit_stop = bug::detail::visit_stop_t();



        template <typename Visitor, typename First, typename... Tail>
        void visit_detail(Visitor&& vis, First&& first, Tail&&... tail)
        {
            // code, not necessairy to recreate bug
        }
    }


    template <typename Visitor, typename... Variants>
    void visit(Visitor&& vis, Variants&&... vars)
    {
        bug::detail::visit_detail(bug::forward<Visitor>(vis), bug::forward<Variants>(vars)..., bug::detail::visit_stop);
    }

    template <typename Visitor>
    void visit(Visitor&& vis) = delete;
}

using namespace bug;



// dummy variant, used to test the code
// code is never actually used in this version
template <typename... T>
struct variant
{
    static constexpr bug::size_t size() noexcept { return sizeof...(T); }


    constexpr variant(int) noexcept {}

    template <bug::size_t I>
    constexpr int get() const noexcept { return 5; }
};

// simple example visitor
// code is never actually used in this version
struct visitor
{
    int operator()(int x) { std::cout << x << std::endl; return x; }
    double operator()(double x) { std::cout << x << std::endl; return x; }
};



int main()
{
    visitor vis;
    variant<int, double> var = 5;

    // where the trouble is:
    visit_detail(vis, var, bug::detail::visit_stop);  // ADL: http://en.cppreference.com/w/cpp/language/adl
    visit_detail(vis, var);  // fails with GCC/Clang, no error with MSVC => MSVC bug maybe


    std::cout << "Press enter to continue . . . ";
    std::getchar();
    return 0;
}

Answer 1

您正在体验的是一个名为 argument-dependent lookup 或简称 ADL 的 C++ 功能。基本上，如果您调用函数 f 而不明确限定它，编译器将在您传递的参数的命名空间中查找 f。

这就是让operator<< IO 流无需资格即可工作的原因：

std::cout << 100; // finds std::operator<<(std::ostream&, int);

---

在您的特定情况下，参数bug::detail::visit_stop 使编译器在bug::detail 命名空间内查找visit_detail。