Subversion Repositories openrisc_me

// DR 339

//

// Test of the use of member functions with SFINAE

typedef char yes_type;

struct no_type { char data[2]; };

template T create_a();

template struct enable_if { typedef T type; };

template struct enable_if { };

template

  typename enable_if<(sizeof(create_a().foo(), 1) > 0),

                     yes_type>::type

  check_has_member_foo(const volatile T&);

no_type check_has_member_foo(...);

template

struct has_foo

{

  static const bool value =

    (sizeof(check_has_member_foo(create_a())) == sizeof(yes_type));

};

struct X { };

struct Y {

  void foo();

};

struct Z {

  void foo(int);

};

struct A {

  int foo;

};

struct B {

  static int foo();

};

int a1[has_foo::value? -1 : 1];

int a2[has_foo::value? 1 : -1];

int a3[has_foo::value? -1 : 1];

int a4[has_foo::value? -1 : 1];

int a5[has_foo::value? -1 : 1];

int a6[has_foo::value? 1 : -1];