我想使用 SFINAE 检查特定命名空间中是否存在函数。我找到了 SFINAE to test a free function from another namespace哪个完成了工作，但有些事情我不明白。

目前我有这个工作代码，直接来自链接的问题:

// switch to 0 to test the other case
#define ENABLE_FOO_BAR 1

namespace foo {
  #if ENABLE_FOO_BAR
    int bar();
  #endif
}

namespace detail_overload {
  template<typename... Args> void bar(Args&&...);
}
namespace detail {
  using namespace detail_overload;
  using namespace foo;
  template<typename T> decltype(bar()) test(T);
  template<typename> void test(...);
}
static constexpr bool has_foo_bar = std::is_same<decltype(detail::test<int>(0)), int>::value;

static_assert(has_foo_bar == ENABLE_FOO_BAR, "something went wrong");

(ENABLE_FOO_BAR 宏仅用于测试目的，在我的实际代码中我没有这样的宏可用，否则我不会使用 SFINAE)

但是，一旦我将 detail_overload::bar() 放入任何其他命名空间(根据需要调整 using 指令)，检测就会悄无声息地中断并且 static_assert 在foo::bar() 存在 时启动。它仅在“虚拟”bar() 重载直接位于全局命名空间或 ::detail_overload 命名空间的一部分时有效(注意全局 :: 范围)。

// breaks
namespace feature_test {
  namespace detail_overload {
    template<typename... Args> void bar(Args&&...);
  }
  namespace detail {
    using namespace detail_overload;
    using namespace foo;
    //...

// breaks
namespace feature_test {
  template<typename... Args> void bar(Args&&...);
  namespace detail {
    using namespace foo;
    //...

// breaks
namespace detail {
  namespace detail_overload {
    template<typename... Args> void bar(Args&&...);
  }
  using namespace detail_overload;
  using namespace foo;
  //...

// works
template<typename... Args> void bar(Args&&...);
namespace feature_test {
  namespace detail {
    using namespace foo;
    //...

// works
namespace detail_overload {
  template<typename... Args> void bar(Args&&...);
}
namespace feature_test {
  namespace detail {
    using namespace detail_overload;
    using namespace foo;
    //...

我意识到这与我链接到的问题完全相同，并且如前所述，我已经有了一个可行的解决方案，但没有解决的是为什么恰好会发生这种情况?

作为附带问题，是否有任何方法可以在不使用 bar() 或 detail_overload 命名空间污染全局命名空间的情况下实现正确的 SFINAE 检测？您可以从非工作示例中猜到，我想将所有内容整齐地包装在一个 feature_test 命名空间中。

最佳答案

我会稍作更改，以便 bar 的回退声明不是模板(= 更短的代码)，并且不要使用 SFINAE，因为这纯粹是一个名称查找问题。

namespace foo {
    int bar(int);
}

namespace feature_test {
    namespace detail_overload {
        void bar(...);
    }

    namespace detail {
        using namespace detail_overload;
        using namespace foo;

        void test() { bar(0); } // (A)
    }
}

在 (A) 行中，编译器需要找到名称 bar。它是如何查找的？它不依赖于参数，因此它必须是非限定查找:[basic.lookup.unqual]/2

The declarations from the namespace nominated by a using-directive become visible in a namespace enclosing the using-directive; see 7.3.4. For the purpose of the unqualified name lookup rules described in 3.4.1, the declarations from the namespace nominated by the using-directive are considered members of that enclosing namespace.

请注意它们成为封闭 命名空间，而不是the 封闭命名空间。来自 [namespace.udir]/2 的细节揭示了这个问题:

[...] During unqualified name lookup (3.4.1), the names appear as if they were declared in the nearest enclosing namespace which contains both the using-directive and the nominated namespace.

也就是说，对于 test 中 bar 的名称查找:

namespace foo {
    int bar(int);
}

// as if
using foo::bar;
namespace feature_test {
    namespace detail_overload {
        void bar(...);
    }

    // as if
    using detail_overload::bar;
    namespace detail {
        // resolved
        // using namespace detail_overload;
        // using namespace foo;

        void test() { bar(0); } // (A)
    }
}

因此，在 feature_test 中找到的名称 bar 隐藏了在全局范围内(未)找到的名称。

注意:也许您可以通过依赖于参数的名称查找(和第二个 SFINAE)解决这个问题。如果我想到了什么，我会添加。

关于c++ - SFINAE:当重载移动到其他 namespace 时，检查函数是否存在中断，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/18933857/