关于`char [5] const &`的含义及C++类型匹配相关疑问

咱们逐个拆解你的问题，把这些C++类型细节讲清楚：

1. char [5] const &到底是什么类型？ #

你看到的这个类型写法，等价于标准语法里的const char (&)[5]——这是一个绑定到const char[5]类型数组的左值引用。这里的const是修饰数组的元素（或者说修饰整个数组对象），意思是通过这个引用，你无法修改数组里的任何字符。

你提到的几个猜测里，最准确的描述是“引用一个由5个const char组成的数组”。在C++的类型规则里，const char[5]和char[5] const是完全等价的类型，两种写法只是语法顺序不同，本质都是每个元素为const字符的数组。

2. 左值引用本身已经是“绑定后不能改”，为什么要加const？ #

这里要区分两个完全不同的概念：

• 引用本身的不可变性：左值引用一旦绑定到某个对象，就永远不能再绑定到其他对象——这是引用的固有属性，和const没有关系。
• 引用对象的可修改性：引用前的const，是用来限制你通过这个引用修改绑定的对象。比如const int& ref = x;，你不能写ref = 10;来修改x，但如果x本身不是const的，你依然可以通过x直接修改它的值。

回到你的场景：字符串字面量是存储在只读内存区的const char[5]类型左值，所以要引用它必须用const修饰的引用——否则你可以通过引用修改只读内存里的内容，这会触发未定义行为。

3. 左右值类型不同，为什么char s[] = "Gorm";能完成初始化？ #

首先要明确：这不是赋值操作，而是数组的初始化，C++对这种场景有特殊的兼容规则。

在C中，字符串字面量的类型是const char[N]（N是字符串长度+1，包含末尾的\0），但当你用它初始化非const字符数组时，编译器会执行数组内容的拷贝：把字符串字面量里的每个字符（包括\0）复制到char s[]的栈内存空间里。这是为了兼容C语言的历史规则——C语言里字符串字面量的类型是char[]，C为了兼容旧代码，保留了这种允许用const字符串字面量初始化非const字符数组的行为。

⚠️ 注意：虽然这个初始化合法，但如果你试图直接修改字符串字面量本身（比如"Gorm"[0] = 'g';），这是未定义行为，因为字符串字面量通常存储在只读内存中。

关于你的类型检测代码 #

顺便提一句，你的type_name函数输出的char [5] const &，其实就是标准写法的const char (&)[5]——只是abi::__cxa_demangle的输出格式把const放在了数组类型后面，两者完全等价，不用纠结写法差异。

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