c++ - 模板参数中的 Const 关键字

Question

我有以下 C++ 代码:

template<typename T> class AbsClass{
public:
    virtual void func(const T elem) = 0;
};

class SolidClass : public AbsClass<char*>{
public:
    void func(const char* elem) {cout << elem << endl;}
};

int main(){
    SolidClass so;
    so.func("xyz");
}

但是，当我尝试在 main() 中实例化 SolidClass 的实例时，编译器 (g++ 4.8.1) 一直提示纯虚函数 AbsClass::func(const T elem) 尚未实现。如果我将 SolidClass 的定义更改为以下内容，它将起作用:

class SolidClass : public AbsClass<const char*>{
    .......
}

我只是感到困惑，因为我在声明 AbsClass::func(const T elem) 时已经有了 const 关键字。谁能帮忙解释一下？

Answer 1

指针有两种类型的常量。首先是您是否可以修改它们指向的数据——这个 const 意味着更多的“只读”。第二个 const 是指针本身是否是一个常量值——也就是你是否可以让它指向别的东西。在这种情况下，您的指针 const char*可以更改为指向其他内容。

要使指针成为常量(因此它不能指向其他任何东西)，您必须在 * 之后放置一个常量。所以要让它编译，你的代码应该是:

void func(const char *const elem)

假设你仍然希望它指向的数据通过这个指针是只读的。您需要将模板参数更改为 AbsClass<const char*>

如果参数是按值传递的，我通常会避免将其设为常量。没有意义，因为无论如何它都会被复制，所以函数的任何本地更改都无关紧要。