C++中const T1类型引用可绑定到T2类型的判定规则是什么

首先纠正一个基础认知错误 #

char[10] 到 const char[10] 属于C++标准规定的合法限定符转换，并不是不能转换的类型。你给出的代码可以编译，本质是这个转换规则的直接体现，没有突破引用绑定的通用逻辑。

const左值引用的绑定规则 #

C++中引用绑定分为直接绑定和**间接绑定（绑定到临时对象）**两类，具体规则如下：

1. 直接绑定（无临时对象生成） #

满足以下所有条件时，引用可以直接绑定到初始化表达式的对象上：

• 引用类型是 T&（非常量左值引用）：要求初始化表达式必须是和T完全同类型的可修改左值，不支持任何类型转换、限定符转换
• 引用类型是 const T&（常量左值引用）/T&&（右值引用）：支持绑定到和T限定符兼容的左值，也就是允许在同类型基础上增加const/volatile限定符，不需要类型转换。

你给出的数组例子就属于直接绑定的情况：char[10] 和 const char[10] 是限定符兼容的数组类型，所以可以直接绑定，没有临时对象生成。

2. 间接绑定（绑定到临时对象） #

当const T&/T&&的初始化表达式不满足直接绑定要求，但可以隐式转换为T类型时，编译器会生成一个T类型的临时对象存储转换结果，引用绑定到这个临时对象上，临时对象的生命周期会延长到和引用一致。
比如下面的代码是合法的：

const int& num = 3.14; // double隐式转换为int生成临时int对象，引用绑定到临时

关于你提到的“任意类型T都可以被const T类型的引用绑定”的说法 #

这个表述不准确，正确的结论是：

• 同类型的非const左值，必然可以直接绑定到对应const T&引用，这是限定符转换的标准支持，不是额外规则
• 如果两种类型完全不相关、没有隐式转换路径，哪怕是const引用也无法绑定，比如下面的代码无法编译：

const std::string& str = 123; // int无法隐式转换为std::string，绑定失败

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