C++模板类问题中的类型条件

Question

使用GCC 4.2。 我有这个metatemplate有条件类型：

template <bool condition, typename Then, typename Else> 
struct IF 
{ 
    typedef Then RET; 
}; 

template <class Then, class Else> 
struct IF<false, Then, Else> 
{ 
    typedef Else RET; 
}; 

，当我使用它是这样的：

template <typename T> 
class Param 
{ 
    IF< sizeof(int)<sizeof(long), long, int>::RET i; 
}; 

它的工作原理，但是当我这样使用它（尝试使用模板参数）：

template <typename T> 
class Param 
{ 
    IF< sizeof(int)<sizeof(long), T&, T* >::RET mParam; 
}; 

我收到此错误代码：

error: type 'IF<false, T&, T*>' is not derived from type 'Param<T>' 

为什么会发生？如何解决它？ 在此先感谢！

Answer 1

在第二种情况下，RET是什么，取决于模板类型T。编译器需要确保它将成为所有可能实例化中的一个类型（而不是IF的某个实例化的静态成员）。您可以使用typename关键字。

template <typename T> 
class Param 
{ 
    typename IF< sizeof(int)<sizeof(long), T&, T* >::RET mParam; 

};