6

member_func以下代码显示了一个 SFINAE 实现,用于在编译时检查类型(基本上是类)是否包含成员函数。

#define CHECKER(func_name,class_name) sizeof(class_name<T>::template func_name<T>(0)) == 1
#include <iostream>
struct A
{
    void member_func();
};
struct B {};
template<typename T>struct Check_If_T_Is_Class_Type
{
    template<typename C> static char func (char C::*p);
    template<typename C> static long func (...);
    enum{val = CHECKER(func,Check_If_T_Is_Class_Type)};
};

//APPROACH 1
template <typename T>struct TypeHasMemberFunc
{
    template <typename C, C> struct TypeCheck;
    template <typename C> struct Prototype_Holder {typedef void (C::*fptr)();};
    template <typename C> static char func(TypeCheck
                                           <
                                              typename Prototype_Holder<C>::fptr,
                                              &C::member_func
                                           >*);
    template <typename C> static long func(...);
    enum {value = CHECKER(func,TypeHasMemberFunc)};
};

//APPROACH 2
template <typename T>struct has_member_func
{
    template<class C> static char func(char (*)[sizeof(&C::member_func)]);
    template<class C> static long func(...);
    enum{value = CHECKER(func,has_member_func)};
};
int main(){
 if(Check_If_T_Is_Class_Type<A>::val)
   std::cout<<TypeHasMemberFunc<A>::value; //using APPROACH 1

 if(Check_If_T_Is_Class_Type<B>::val)
   std::cout<<has_member_func<B>::value; //using APPROACH 2
}

但是我的问题是您更喜欢哪种方法(方法 1 或方法 2),为什么?
您在给定的方法中是否发现任何不一致之处?如果是,请告诉我。

PS:假设sizeof(char)!= sizeof(long)

4

3 回答 3

1

第二种方法不检查函数类型(返回类型或参数类型)并且适用于所有类型,而不仅仅是类类型。

于 2010-12-05T16:40:34.117 回答
0

我个人更喜欢第二种方法,因为它更短且更容易理解。但是 GCC 不会编译它,所以你必须对 GCC 使用类似的东西:

namespace detail
{
    template<class C> char func(char (*)[sizeof(&C::member_func)]);
    template<class C> long func(...);   
}

template <typename T>struct has_member_func
{
    enum{value = (sizeof(detail::func<T>(0)) == 1)};
};

此外,摆脱 CHECKER 宏会很好。它使您的代码可读性极差。

无论如何,我会避免在生产代码中使用此类 C++ hack(除非您是 Boost 团队成员 :-)

这样的东西容易出错,难以支持,难以在编译器之间移植,但主要的一点是,我不记得任何现实生活中的任务需要这样的硬代码 C++。

于 2010-12-05T19:01:22.537 回答
-1

编辑:完成并更正。

另一种方法,使用继承中的歧义,可能在功能上等同于您的方法 2。我记得方法 1 有问题(尽管它使用 G++ 4.4.5 编译),因为名称解析触发了错误而不是替换失败。我不得不求助于:

template <class T>
struct has_foo
{
  struct fallback { void foo(...); };
  struct D : T, fallback { };

  template <typename U, U> struct K;

  // Will be ambiguous for U = D iff T has a foo member function.                                                                                                         
  // It doesn't trigger an error, since D will always have at least one                                                                                                   
  // foo member function.                                                                                                                                                 
  template <class U> static char (&test(K<void (fallback::*)(...), &U::foo>*))[1];
  template <class U> static char (&test(...))[2];

  static const bool value = sizeof(test<D>(0)) == 2;
};

这在 T 是类时有效,因此您可能需要添加层来检查 T 是否是类类型。

请注意,foo将检测任何成员函数。如果要检查是否foo可以使用给定的参数调用检测到的函数,则必须执行另一层 SFINAE:

// Check whether foo can be called with an argument of type Arg
// and yields an element of type Res.
// If you need Res = void, this code does not work.
template <class T, typename Arg, typename Res>
struct check_foo
{
    struct flag {};
    struct D : T { using T::foo; flag foo(...); };

    template <typename U>
    static char (&test(U))[1];

    template <typename> static char (&test(...))[2];

    static Arg f();

    static const bool value = sizeof(test<Arg>( ((D*)0)->foo(f()) )) == 1;
};
于 2010-12-05T11:46:14.990 回答