15

您好,我在部分专业化方面遇到问题。我想要做的是有一个具有模板成员函数的类,该函数将给定值解释为用户指定的值。例如,类名是Value,这是我想做的一个片段:

int *ptr1 = new int;
*ptr1 = 10;
Value val1 = ptr1;
int *ptr2 = val1.getValue<int*>();

Value val2 = 1;
int testVal = val2.getValue<int>();

这是我实现此类的方式:

struct Value {

    Value(void *p) : val1(p){}
    Value(int i) : val2(i){}

    template<typename T>
    T getValue();

    void *val1;
    int val2;
};

template<typename T>
T*  Value::getValue<T*>() {
    return reinterpret_cast<T*>(val1);
}

template<>
int Value::getValue<int>() {
    return val2;
}

当我编译时,我收到以下错误:

错误 C2768:“Value::getValue”:非法使用显式模板参数

基本上它抱怨代码的指针模板部分:

template<typename T>
T* Value::getValue<T*>() {
    return reinterpret_cast<T*>(val1);
}

我知道这个问题可以用一个简单的联合来实现,但是这段代码是一个更大代码的精简版本。

有人知道问题可能是什么吗?我想做的是在使用指针时分开一个代码,在不使用指针时分开另一个代码。我真的很困惑,我总是调查而不是询问,但我没有找到任何关于它的好信息。

4

1 回答 1

14

函数模板不能部分特化,但大多数时候,您可以使用委托到类的技巧。在您的示例中,它将是这样的:

struct Value {
  template<typename T>
  T getValue() {
    return Impl_getValue<T>::call(*this);
  }
};

template <typename T>
struct Impl_getValue
{
  static T call(Value &v) {
    //primary template implementation
  }
};

template <typename T>
struct Impl_getValue<T*>
{
  static T* call(Value &v) {
    return reinterpret_cast<T*>(v.val1);
  }
};
于 2013-04-22T19:05:54.440 回答