Question

您好我试图使用SFINAE来检查某个类是否存在变量并使用它来定义我应该使用哪个朋友，并且我发现当我检查has_helloworld中的值时它无法扣除实际值。这是预期的吗？我怎么能实现类似的东西？像这样的输出结果应该是：

0
1

但是当我再次把这位朋友放进去时，它将是

1
1

我在gcc上使用c ++ 03。

#include <iostream>
#include <string>

template <typename T>
class has_helloworld
{
    template <typename C> static char (&f( __typeof__(&C::helloworld) ) )[1] ;
    template <typename C> static char (&f(...))[2];
public:
    static const bool value = sizeof(f<T>(0)) == 2 ;
};
template <class T, const bool>
class FriendOption{public: void t (){std::cout<< "genericFriend";  }};
template <class T>
class FriendOption<T, false> {public: void t (){std::cout<< "false friend";  }};
template <typename T>
class Hello 
{
        typedef T field_type;
static const bool test = has_helloworld<field_type>::value;
    //friend class FriendOption<field_type, test >;
public:
    int helloworld() { return 0; }
};
class OTF {
public:
    int helloworld() { return 0; }
};
class test : public Hello <test>
{};

struct Generic {};

int main(int argc, char *argv[])
{
    std::cout << has_helloworld<test>::value << std::endl;
    std::cout << has_helloworld<Generic>::value << std::endl;
    return 0;
}

Answer 1

问题不在于朋友，而在于测试

static const bool test = has_helloworld<field_type>::value

将整个新类型Hello<field_type>传递给测试：

static const bool test = has_helloworld<Hello<field_type>>::value;

Demo

使用SFINAE选择朋友或基类c ++ x03

1 个答案: