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

Question

我试图弄清楚是否有可能使用sfinae来测试命名空间成员的存在.谷歌相当沉默.我尝试了以下代码,但它失败了.

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组件的兼容性测试).C inside xyz::C完全与模板参数无关.

请记住,模板不仅仅是宏.该参数不仅C表示一段文本,而且表示一个语义实体.在这种情况下,它是一种类型.它已经与它作为论证的意义联系在一起了.也就是说,如果您的类具有名称成员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.