5

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

知道为什么吗？

问候，

4

1 回答 1

10

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

请记住，模板不仅仅是宏。该参数C不仅表示一段文本，而且表示一个语义实体。在这种情况下，它是一种类型。它已经绑定到它作为参数的含义。也就是说，如果你的类有 name 的成员，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.

于 2010-08-30T12:29:49.583 回答