獲得基地

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; 
}