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的成员，则参数的含义仍然不会更改。

如果你想要的只是使用一些结构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。

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

1 个答案: