使用 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 组件的兼容性测试）。 xyz::C 中的 C 与模板参数完全无关。

请记住，模板不仅仅是宏。参数C不仅表示一段文本，而且表示一个语义实体。在本例中它是一种类型。它已经与它作为论证的含义绑定在一起了。也就是说，如果你的类有一个名为abc的成员，参数的含义仍然不会改变。

如果您想要的只是使用一些 struct xyz::abc（如果存在），而使用 other::abc，否则，您可以采取一些技巧来实现这一目标，但我'我不知道在不接触 xyz 的情况下执行此操作的方法

namespace others {
  struct abc{};
}

namespace fallbacks {
  using others::abc;
}

namespace xyz {
  using namespace fallbacks;
}

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