c++ - 将类型解析为 class::typedef 的更短方法

Question

我有几个类(class)。现在它们被一个符号隔开。其中很少包含 type(typedef)，也很少没有。

struct A { ... public: typedef someclass type; }
struct B { ... };

我想实现一个 SFINAE以这样的方式上课，

Resolve<A>::type o1;  // should resolve to 'A::type'
Resolve<B>::type o2;  // should resolve to 'B'

一种方法是使用上一个链接中所示的基本 SFINAE，它检查 T 是否包含 type，然后使用 bool 检查器.例如，

template <typename T>
struct has_type {
  typedef char yes[3];
  template <typename C> static yes& test(typename C::type*);
  template <typename> static char& test(...);
  static const bool value = sizeof(test<T>(0)) == sizeof(yes);
};

template<typename TYPE, bool = has_type<TYPE>::value>
struct Contains { typedef typename TYPE::type type; };
template<typename TYPE>
struct Contains<TYPE, false> { typedef TYPE type; };

template<class TYPE>
struct Resolve {
  typedef typename Contains<TYPE>::type type;
};

Demo .

问题:我在代码中有很多这样的实例，我觉得这种方法可能会大大增加编译时间。因为必须经历两次迭代:第一次寻找 type，第二次通过解析 bool 标志。

是否有更快的方法来减少编译时间？

[旁注:在这种情况下，我将 type 作为 A 和 B 之间的分隔符。但是，我可以自由地将任何内容放入 A 中，这将把它与 B 分开。也欢迎与此相关的想法。]

Answer 1

template<typename>
struct void_ {
    typedef void type;
};

template<typename T, typename = void>
struct Resolve {
    typedef T type;
};

template<typename T>
struct Resolve <T, typename void_<typename T::type>::type> {
    typedef typename T::type type;
};