如何解決，使用元編程

Question

.header

template<class T> 
struct type_is 
{ 
using type = T; 
}; 

template<bool, class T, class> 
struct IF_t : type_is<T> {}; 

template<class T, class F> 
struct IF_t<false, T, F> : type_is<F> {}; 

class Base1 
{ 
public: 
void print() 
{ 
    std::cout << "Base 1" << std::endl; 
} 
}; 

class Base2 
{ 
public: 
void print() 
{ 
    std::cout << "Base 2" << std::endl; 
} 
}; 

template <int q> 
class Derived : IF_t<(q > 0), Base1, Base2> 
{ 
}; 

class MultipleBaseTemplateMetaProg { 
public: 
void print() 
{ 
    Derived<1> aDerivedTrue; 
    aDerivedTrue.print(); 
    Derived<-1> aDerivedFalse; 
    aDerivedFalse.print(); 
} 
}; 

Main.cpp的

沒有成員函數「打印」在有條件的基類的情況下

MultipleBaseTemplateMetaProg aMetaProg; 
aMetaProg.print(); 

我的問題是，當我嘗試打電話打印（）。我得到錯誤說打印不是一個成員函數。我不能在Derived類中使用「using」來聲明打印。

有什麼辦法可以解決這個問題嗎？除了創建一個通用的基類？

Answer 1

嘗試用class Derived : public IF_t<...>::type代替class Derived : IF_t<...>。 Derived源自IF_t而不是Base1或Base2。它也需要公開，因此您可以從Derived訪問Base1/Base2函數。

Answer 2

問題在於實現您的條件類型。它改變這種

template<bool, class T, class> 
struct IF_t : public T {}; 

template<class T, class F> 
struct IF_t<false, T, F> : public F {}; 

導致它來建立（一旦你改變所有的推導到public在下面 - 另一個錯誤，順便說一句）。

請注意，已經有std::conditional。

---

完全建立碼：

#include <iostream> 


template<class T> 
struct type_is 
{ 
using type = T;                                               
}; 

template<bool, class T, class> 
struct IF_t : public T {}; 

template<class T, class F> 
struct IF_t<false, T, F> : public F {}; 

class Base1 
{ 
public: 
void print() 
{ 
    std::cout << "Base 1" << std::endl; 
} 
}; 

class Base2 
{ 
public: 
void print() 
{ 
    std::cout << "Base 2" << std::endl; 
} 
}; 

template <int q> 
class Derived : public IF_t<(q > 0), Base1, Base2> 
{ 
}; 

class MultipleBaseTemplateMetaProg { 
public: 
void print() 
{ 
    Derived<true> aDerivedTrue; 
    aDerivedTrue.print(); 
    Derived<false> aDerivedFalse; 
    aDerivedFalse.print(); 
} 
}; 


int main() 
{ 
MultipleBaseTemplateMetaProg aMetaProg; 
aMetaProg.print(); 
}