编译器忽略函数参数上的“const”

Question

我有一个编译器错误问题，请查看以下代码：

template<class T>
struct MyStruct
{
};

template<>
struct MyStruct<int>
{
    typedef int* type;
};

template<class T>
void foo(const typename MyStruct<T>::type myType)
{
}

int main()
{
    const int* ptr = NULL;
    foo<int>(ptr);

    return 0;
}

问题在于编译器忽略了 foo 函数上的“const”，使得对 foo 的调用非法（const int* to int*）。

严重程度代码描述项目文件行抑制状态错误C2664'ululfoo（const::类型）'：无法将参数1从'const int*'转换为'const Mystrt::类型'

我在Visual Studio和gcc的5.3编译器中测试了以下代码，它们都删除了相同的错误。

编译器是故意这样做的吗？为什么会发生这种情况？

Answer 1

const int*和int*const，之间有一个重要的区别。有关差异的解释，请参见此答案。

考虑什么< code>const typename MyStruct

若要实现所需的内容，const 必须是该类型的一部分，然后才能使其成为指针。它不能在事后添加，否则它将始终被解释为T * const。可以使用类型特征删除类型的指针部分，添加 const，然后将其设置为指针。

#include <type_traits>

template<class T>
struct MyStruct { };

template<>
struct MyStruct<int> {
    typedef int* type;
};

template<class T>
void foo( std::add_const_t<std::remove_pointer_t<typename MyStruct<T>::type>> * myType) {}

int main()
{
    const int* ptr = nullptr;
    foo<int>(ptr);

    return 0;
}