c++ - 指向 const 对象的指针自动转换为指向对象的指针

Question

为什么 const 指针会自动转换为非常量指针？在这个简单的代码中？不应该在这里警告编译器吗？还是抛出错误？

template<typename T>
const T  makeConst(T a){
    return a;
}    

int * j = new int(9);
int * z = makeConst(j); // cast from int* const  ==>  int*

Answer 1

这是因为 int*const与const int*不同. int* const意味着您不能更改指针指向的内容，但可以更改值。这就是编译器解析 <typename T> 的方式从一个指针。为了解决这个问题，我们通常使用这样的模板:

template<typename T>
const T*  makeConst(T* a){
    return a;
}    

int * j = new int(9);
int * z = makeConst(j); // error C2440 in Visual Studio`