专业C ++模板基于一类构件的存在/由于缺少？(Specializing C++ template

考虑以下：

struct A {
  typedef int foo;
};

struct B {};

template<class T, bool has_foo = /* ??? */>
struct C {};

我想专门ç，因此C <A>得到一个专业化和C <B>获取其他，基于存在或不存在类型名称的T :: foo中。 这可能使用型性状或其他一些模板的魔力？

问题是，我什么都尝试过具体使用C <B>时产生一个编译错误，因为B :: foo的不存在。 但是，这是我想考什么！

---

编辑：我认为ildjarn的回答是好，但我终于想出了下面的C ++ 11的解决方案。 男人是哈克，但至少它的短。 :)

template<class T>
constexpr typename T::foo* has_foo(T*) {
  return (typename T::foo*) 1;
}
constexpr bool has_foo(...) {
  return false;
}
template<class T, bool has_foo = (bool) has_foo((T*)0)>

Answer 1:

另一个（C ++ 03）的方法：

template<typename T>
struct has_foo
{
private:
    typedef char no;
    struct yes { no m[2]; };

    static T* make();
    template<typename U>
    static yes check(U*, typename U::foo* = 0);
    static no check(...);

public:
    static bool const value = sizeof(check(make())) == sizeof(yes);
};

struct A
{
    typedef int foo;
};

struct B { };

template<typename T, bool HasFooB = has_foo<T>::value>
struct C
{
    // T has foo
};

template<typename T>
struct C<T, false>
{
    // T has no foo
};

Answer 2:

像这样的东西可能会有所帮助： has_member 。

typedef char (&no_tag)[1]; 
typedef char (&yes_tag)[2];

template< typename T > no_tag has_member_foo_helper(...);

template< typename T > yes_tag has_member_foo_helper(int, void (T::*)() = &T::foo);

template< typename T > struct has_member_foo {
    BOOST_STATIC_CONSTANT(bool
        , value = sizeof(has_member_foo_helper<T>(0)) == sizeof(yes_tag)
        ); }; 

template<class T, bool has_foo = has_member_foo<T>::value> 
struct C {};

文章来源: Specializing C++ template based on presence/absense of a class member?