c++ - 使用 SFINAE 选择 friend 或基类 c++x03

Question

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

0
1

但是当我再次放置 friend 时，它将是

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

问题不在 friend 而是在测试

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

传全新类型Hello<field_type>测试:

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

Demo