c++ - const 参数的模板参数推导

Question

假设我们有

template <typename T>
void foo(T a)
{
    a = 10;
}

int main()
{
    const int a = 5;
    foo(a);
}

为什么T被推导为int而不是const int，为什么我要修改a in函数？在这种情况下如何演绎？

Here's a working sample.

Answer 1

为什么函数外的对象是 const 对函数的内部很重要？它正在获取自己的对象拷贝，因此它可以自行选择是否将该拷贝视为 const。在函数内部修改a不会影响外部的对象。这就是类型推导忽略顶级 cv 限定符的原因。

如果你希望参数是const，你需要请求它。