获得基地

Question

假设衍生我有一个类，像这样：

template<class T> 
class Base{ }; 

假设我有另一个类，像这样：

template<class T, class Other> 
class Derived : 
    public virtual Base<T>, 
    public virtual OtherRandomClass<Other> 
{ }; 

是否有某种方式来创建一个模板类，以确定哪个版本Base（如果有的话）像Derived这样的随机类是派生自？

Answer 1

这里是一个可能的解决方案（因为C++ 11的工作 - 好，它的工作原理与C++ 14，但它与C++ 11做的，如果你使用Base<T>，而不是auto作为返回类型为f） ：

#include<utility> 
#include<type_traits> 

template<class T> 
class Base{ }; 

template<class T> 
class OtherRandomClass{ }; 

template<class T, class Other> 
class Derived : 
    public virtual Base<T>, 
    public virtual OtherRandomClass<Other> 
{ }; 

template<typename T> 
constexpr auto f(const Base<T> &b) { return b; } 

template<typename T> 
struct S { 
    using type = decltype(f(std::declval<T>())); 
}; 

int main() { 
    static_assert(std::is_same<typename S<Derived<int, double>>::type, Base<int>>::value, "!"); 
} 

如果Derived继承比Base一次它不工作。
使用sfinae（类似于void_t成语），甚至可以设计一个类似于enable_if的类：它只有在T实际上从Base继承一次时才具有type。
这将有以下形式：

template<typename T> 
constexpr auto f(const Base<T> &b) { return b; } 

template<typename...> 
using void_t = void; 

template<typename T, typename = void_t<>> 
struct S { }; 

template<typename T> 
struct S<T, void_t<decltype(f(std::declval<T>()))>> { 
    using type = decltype(f(std::declval<T>())); 
}; 

这个结构可以在编译时对任何模板欺骗你能想象的使用。

在这两种情况下，S::type（如果存在）是Derived继承的基类的类型，即Base<T>。
有关详细信息，请参见main函数中的static_assert。

Answer 2

#include <iostream> 
#include <typeinfo> 

// placeholder template 
template<class SomeDerived> struct traits {}; 

template<class T> 
class Base{ }; 

template<class T> 
class OtherRandomClass{ }; 

template<class T, class Other> 
class Derived : 
    public virtual Base<T>, 
    public virtual OtherRandomClass<Other> 
{ }; 


// specialise for our class to provide introspection 
template< 
    class T1, 
class T2> 
struct traits< 
    Derived<T1, T2> 
    > 
{ 
    using t1_type = T1; 
    using first_base_type = Base<T1>; 
}; 

int main() 
{ 
    Derived<int, float> x; 

    using mytraits = traits<decltype(x)>; 
    std::cout << typeid(mytraits::t1_type).name() << std::endl; 
    std::cout << typeid(mytraits::first_base_type).name() << std::endl; 
}