5

我正在尝试使用SFINAE来区分具有名为“名称”的成员的类。我以似乎是标准模式的方式进行了设置，但它不起作用——编译器没有默默地忽略“失败”的替换，而是产生了一个错误。

我确定我遇到了一些模板替换规则，如果有人能解释哪一个，我将不胜感激。

这是一个精简的例子。我正在使用 gcc：

 template <typename U> string test( char(*)[sizeof(U::name)] = 0 ) { return "has name!"; }
 template <typename U> string test(...) { return "no name"; }

 struct HasName { string name; }
 struct NoName  {}

 cout << "HasName: " << test<HasName>(0) << endl;  //fine
 cout << "NoName: " << test<NoName>(0) << endl;    //compiler errors:

 //error: size of array has non-integral type `<type error>'
 //error: `name' is not a member of `NoName'
4

2 回答 2

1

以下内容似乎有效（尽管正如迈克尔所说，它不一定能在其他编译器上给出您想要的结果）：

#include <string>
#include <iostream>
using namespace std;

template <typename U> string test( char(*)[sizeof(U::name)] = 0 ) { return "has name!"; }
template <typename U> string test(...) { return "no name"; }

struct HasName { static string name; };
struct NoName  { };

 int main() {
    cout << "HasName: " << test<HasName>(0) << endl;
    cout << "NoName: " << test<NoName>(0) << endl;
}

输出：

HasName: has name!
NoName: no name

gcc (GCC) 4.3.4 20090804 (发布) 1

Comeau也接受该代码。

于 2010-08-08T16:50:29.417 回答
0

这是一个尝试：

// Tested on Microsoft (R) C/C++ Optimizing Compiler Version 15.00.30729.01
template<typename T>
class TypeHasName
{
private:
    typedef char (&YesType)[2];
    typedef char (&NoType)[1];

    struct Base { int name; };
    struct Derived : T, Base { Derived(); };

    template<typename U, U> struct Dummy;

    template<typename U>
    static YesType Test(...);

    template<typename U>
    static NoType Test(Dummy<int Base::*, &U::name>*);

public:
    enum { Value = (sizeof(Test<Derived>(0)) == sizeof(YesType)) };
};

#include <string>  
#include <iostream>  

struct HasName { std::string name; };  
struct NoName {};

int main()
{  
    std::cout << "HasName: " << TypeHasName<HasName>::Value << std::endl;  
    std::cout << "NoName: " << TypeHasName<NoName>::Value << std::endl;  
    return 0;
}

这个想法是，如果T有一个名为 的变量name，那么Derived将有两个name变量（一个来自T，一个来自Base）。如果T不声明name变量，那么Derived将只有一个 from Base。

如果Derived有两个name变量，那么&U::name第二个Test()重载中的表达式将是不明确的，SFINAE 应该从重载集中删除该函数。

于 2010-08-08T23:53:27.333 回答