模板const正确性问题：无法传递const对象指针

问题重现 #

以下是示例代码：

#include <iostream>

template<class T>
class MyClass
{
public:
    void Print(const T fooIn)
    {
        std::cout << fooIn->GetString() << std::endl;
    }
};

class MyObject
{
private:
    std::string str;
public:
    MyObject(std::string str)
    {
        this->str = str;
    }
    std::string GetString()
    {
        return str;
    }
};

template class MyClass<MyObject*>;

int main()
{
    const MyObject* foo = new MyObject("test");
    MyClass<MyObject*>* bar = new MyClass<MyObject*>();
    
    bar->Print(foo);

    return 0;
}

编译时会报错：无法用const MyObject*类型的左值初始化MyObject*类型的参数

用户的疑问：

• 当T=MyObject*时，const T为何被解析为MyObject* const，而非const MyObject*？
• 如何在不将模板实例化为const MyObject*的前提下，让参数指向的对象保持常量性？

问题解析 #

1. const T的类型绑定规则 #

在C++中，const的修饰遵循就近绑定原则：

• 当T是普通类型（如int），const T就是const int（常量int）。
• 当T是指针类型（如MyObject*），const T等价于T const，也就是MyObject* const——这是一个指向MyObject的常量指针，指针本身不能被修改，但指向的对象仍然是可变的。
• 而const MyObject*是指向const MyObject的指针，指针本身可以修改，但指向的对象不能被修改。这是两种完全不同的类型，因此编译器会报错，无法用const MyObject*初始化MyObject* const。

2. 解决方案 #

要实现参数指向的对象保持常量性，无需修改模板的实例化类型，只需调整Print函数的参数类型，让其接受指向const对象的指针。同时需要修正MyObject::GetString为const成员函数（因为const对象只能调用const成员函数）。

修改后的代码如下：

#include <iostream>
#include <type_traits> // 用于std::remove_pointer_t

template<class T>
class MyClass
{
public:
    // 将参数类型改为指向const对象的指针
    void Print(const std::remove_pointer_t<T>* fooIn)
    {
        std::cout << fooIn->GetString() << std::endl;
    }
};

class MyObject
{
private:
    std::string str;
public:
    MyObject(std::string str)
    {
        this->str = str;
    }
    // 改为const成员函数，允许const对象调用
    std::string GetString() const
    {
        return str;
    }
};

template class MyClass<MyObject*>;

int main()
{
    const MyObject* foo = new MyObject("test");
    MyClass<MyObject*>* bar = new MyClass<MyObject*>();
    
    bar->Print(foo); // 现在可以正常编译

    // 记得释放内存，避免泄漏
    delete foo;
    delete bar;
    return 0;
}

其他可选方案 #

• 如果你不想引入<type_traits>，可以手动指定参数类型为const typename T::element_type*（仅当T是标准指针类型时有效）：

  void Print(const typename T::element_type* fooIn)
  

• 或者用auto推导参数类型（C++14及以上）：

  void Print(const auto* fooIn)
  

内容的提问来源于stack exchange，提问作者Marty Vestor