c++ - 在偏函数特化中忽略值类型的顶级 const 限定符

Question

由于 const int 特化导致以下错误:

#include <iostream>
using std::cout;
using std::endl;

template <typename T> void g(T val)
{
    cout << "unknown" << endl;
}

template <> void g(int && val)
{
    cout << "int &&" << endl;
}

template <> void g(const int && val)
{
    cout << "const int &&" << endl;
}

template <> void g(int & val)
{
    cout << "int &" << endl;
}

template <> void g(const int & val)
{
    cout << "const int &" << endl;
}

template <> void g(int val)
{
    cout << "int" << endl;
}

template <> void g(const int val)  //redefinition here
{
    cout << "const int" << endl;
}

int main() {}

error: redefinition of 'g'
template <> void g(const int val)
                 ^

为什么 T& 和 T&& 不同于 const T& 和 const T&& 但是 T 与 const T 没有区别吗？

Answer 1

因为函数参数的顶级常量性是函数的实现细节。例如，以下是有效的:

// Prototype
void foo(int c);

// Implementation
void foo(int const c) { ... }

由于参数是按值传递的，调用者并不真正关心函数是否要修改它自己的私有(private)拷贝。因此，顶级 const-ness 不是函数签名的一部分。

请注意，这仅适用于顶级常量! int 和 int const 在函数原型(prototype)中是等价的，int * 和 int * const 也是等价的。但是 int * 和 int const * 不是。