使用 sfinae 测试命名空间成员的存在答案

【问题标题】：use sfinae to test namespace members existence使用 sfinae 测试命名空间成员的存在
【发布时间】：2010-08-30 12:21:45
【问题描述】：

我试图弄清楚是否可以使用 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);
};

知道为什么吗？

问候，

【问题讨论】：

标签： c++ templates namespaces sfinae

【解决方案1】：

不，这行不通。也没有办法以这种方式使用 SFINAE（这是最后在 usenet 上讨论的，用于针对某些 C++0x 组件的兼容性测试）。 xyz::C里面的C和模板参数完全没有关系。

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

如果您只想使用一些结构xyz::abc（如果存在），否则使用others::abc，您可以做一些技巧来实现它，但我不知道有一种方法可以在不触及@987654326 的情况下做到这一点@

namespace others {
  struct abc{};
}

namespace fallbacks {
  using others::abc;
}

namespace xyz {
  using namespace fallbacks;
}

现在，如果您说 xyz::abc 和 xyz 包含声明为的成员，它将引用该成员（该成员将隐藏 fallbacks 中的成员。但是，如果它不包含该成员，则将找到 using 指令的名称并引用 fallbacks::abc。

【讨论】：