C++中推导为左值引用时const限定符被忽略的原因探究

当将const应用于被推导为左值引用的模板参数T（例如向接收万能引用的函数传递左值）时，该修饰符会被忽略。比如传递普通左值int，原本预期const T会转换为const int&，实际结果却是int&。

示例代码 #

#include <iostream>

template<typename T>
const T foo(T&& a)
{
    // const T b{ 1 }; 这会导致编译错误，因为b实际是int&
    const T b{ a };
    return b;
}

int main()
{
    int x = 5;
    foo(x);
}

C++ Insights实例化结果 #

#include <iostream>

template<typename T>
const T foo(T && a)
{
  const T b = {a} /* NRVO variable */;
  return b;
}

/* First instantiated from: insights.cpp:13 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
int & foo<int &>(int & a)
{
  int & b = {a}; // 可见此处及返回类型均为int&
  return b;
}
#endif

int main()
{
  int x = 5;
  foo(x);
  return 0;
}

解决方法 #

通过对T应用std::remove_reference移除引用属性后，再添加const和引用，即可得到预期的const int&类型：

#include <iostream>
#include <type_traits>

template<typename T>
const std::remove_reference_t<T>& foo(T&& a)
{
    const std::remove_reference_t<T>& b{ a };   
    const std::remove_reference_t<T>& c{ 5 }; // 现在可以正常绑定右值
    return b;
}

int main()
{
    int x = 5;
    foo(x);
} 

一、行为原因 #

这是C++引用类型的顶层const规则导致的：引用本身无法被const修饰（顶层const），因为引用一旦绑定对象就不能更改指向。当模板参数T被推导为左值引用类型（比如传递左值给万能引用时，T推导为int&），const T等价于const (int&)——这里的const是作用在引用本身上的顶层const，属于无效修饰，会被编译器直接忽略，最终类型退化为int&。

简单来说：

1. 传递左值给万能引用T&&时，T会被推导为左值引用类型（引用折叠规则）；
2. 对引用类型添加顶层const没有意义，编译器会直接忽略该修饰。

二、同类场景 #

• 函数模板参数使用const T，且T推导为引用类型：
  比如template<typename T> void bar(const T param)，当传递int&类型的参数时，T推导为int&，const T会被简化为int&，而非const int&。
• typedef/using声明的引用类型加const：
  示例：using IntRef = int&; const IntRef ref = x;，这里const IntRef实际类型是int&，顶层const被忽略。
• auto推导为引用类型时加const：
  示例：int x = 5; auto& ref = x; const auto c_ref = ref;，c_ref的类型是int&，而非预期的const int&。

三、补充说明 #

要避免这类问题，核心是先剥离T的引用属性，再添加const修饰和引用：

• 使用std::remove_reference_t<T>获取T的原始非引用类型，再声明const std::remove_reference_t<T>&，即可得到指向const对象的引用；
• 也可以用std::add_const_t<std::remove_reference_t<T>>&，和const std::remove_reference_t<T>&效果完全等价。

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