如何判断一个类是否包含子类/类型？

Question

我们能否有一个 SFINAE 技巧来知道该类是否具有某些子类/类型。例如，

template<typename TYPE> // searches for "my_type"
struct has_inner_type {
  enum { value = <???> };
};

以下是示例：

struct A {
  class my_type {};  // has_inner_type::value = true 
};
struct B { }; // has_inner_type::value = false
struct C { typedef int my_type; }; // has_inner_type::value = true

我尝试了一些技巧，但大部分都因预期的编译器错误而失败。 用法：

bool b = has_inner_type<A>::value;  // with respect to "my_type"

编辑：我重新编辑了我的问题，因为似乎不可能将 my_type 作为第二个参数传递给 has_inner_type。因此，到目前为止的问题是仅查找特定类型作为 my_type。我已经尝试过此代码，但不起作用。

Answer 1

以下是我在问题中发布的维基百科链接中的答案！ （感谢@nm。）

template <typename T> 
struct has_inner_type
{
  typedef char yes[1];
  typedef char no[2];

  template <typename C> static yes& test(typename C::my_type*);
  template <typename> static no& test(...);

  static const bool value = sizeof(test<T>(0)) == sizeof(yes);
};

这是演示。