c++ - 编译器在模板类中实例化函数，甚至不调用它

Question

我错误地认为template在 class 中发挥作用仅在调用时实例化。请看下面的简单代码:

template<typename T>
struct A
{
  T *p; 
  T& operator * () { return *p; }
};

int main ()
{
  A<int> ai;   // ok
  int i = *ai;  // works fine
  A<void> av;  // compiler complains even "*av" is not called
}

就在声明A<void> ，编译器错误如下:

error: forming reference to void

我试图专门针对 void 的功能在模板之外如下:

template<>
void A<void>::operator * () {}

但它没有帮助并给出错误:

error: no member function ‘operator*’ declared in ‘A<void>’

有什么方法可以用 C++03 解决这个问题吗？

Answer 1

怎么样

template < typename T >
struct ReferenceOrVoid
{ typedef T& Value; };

template < >
struct ReferenceOrVoid < void >
{ typedef void Value; };

template<typename T>
struct A
{
    T *p; 
    typename ReferenceOrVoid < T > :: Value
    operator * () { return *p; }
};

当然，这取决于您希望 A 在 T 为 void 时的行为。当然，您也可以将整个 A 结构专门化为 void。