c++ - 使用 sfinae 测试命名空间成员是否存在

Question

我试图弄清楚是否可以使用 sfinae 来测试 namespace 成员的存在。 谷歌对此保持沉默。我已经尝试了以下代码，但它失败了。

namespace xyz{
 struct abc{};
}

struct abc{};

struct test_xyz{ 
 typedef char yes;
 typedef struct{ char a[2]; } no;

 template <class C> static yes test(xyz::C = xyz::C()); //lets assume it has default constructor
 template <class C> static no test(...);

 const bool has_abc = sizeof(test_xyz::test<abc>()) == sizeof(yes);
};

知道为什么吗？

问候，

Answer 1

不，那行不通。也没有办法以这种方式使用 SFINAE(这是最后一次在 usenet 上讨论的针对某些 C++0x 组件的兼容性测试)。 xyz::C 中的 C 与模板参数完全无关。

请记住，模板不仅仅是宏。参数C 表示的不仅仅是一段文本，而是一个语义实体。在这种情况下，它是一种类型。它已经绑定(bind)到它作为参数的含义。也就是说，如果您的类有一个名为 abc 的成员，则参数的含义仍然不会改变。

如果你只想使用一些结构 xyz::abc 如果它存在，而 others::abc 否则，你可以做一些技巧来到达那里，但我不知道有什么方法可以不触及 xyz

namespace others {
  struct abc{};
}

namespace fallbacks {
  using others::abc;
}

namespace xyz {
  using namespace fallbacks;
}

现在如果你说 xyz::abc 并且 xyz 包含这样声明的成员，它将引用该成员(该成员将隐藏在 fallbacks。但是，如果它不包含该成员，则会找到 using 指令的名称并引用 fallbacks::abc。