C++中char数组a赋值char* p = &a是否属于定义行为？

嘿，这个问题刚好戳中了C和C++类型系统的核心差异，我来给你掰扯清楚～

核心结论 #

在C里，char* p = &a;（其中a是char数组）不是未定义行为，而是直接编译错误——因为类型不匹配，C的强类型检查完全不允许这种隐式转换。而你提到的C语言里能这么写，是因为C的类型规则要宽松得多。

为什么类型不匹配？ #

假设我们定义了char a[10];：

• 数组名a的类型是char[10]，在大多数语境下会隐式转换为指向首元素的指针char*；
• 但&a的类型是char (*)[10]——这是一个指向长度为10的char数组的指针，和char*完全是两种不同的类型。

虽然&a和&a[0]的地址数值完全相同（都是数组首元素的内存地址），但它们的类型决定了解引用后的行为天差地别：

• 解引用&a（即*&a）得到的是整个数组char[10]；
• 解引用&a[0]得到的是单个char元素。

C++对类型一致性要求极高，所以绝不允许把char (*)[10]直接赋值给char*变量。

正确的C++写法 #

如果你想拿到数组首元素的指针，有两种规范且常用的写法：

• 利用数组名的隐式转换：char* p = a; 这是最简洁的写法，完全符合C++标准；
• 直接取首元素地址：char* p = &a[0]; 更直观，适合新手理解数组和指针的关联。

如果非要硬用&a（完全没必要，但硬要写的话），必须显式做类型转换：

char* p = reinterpret_cast<char*>(&a);

不过这种写法可读性极差，还容易引入潜在bug，强烈不推荐。

补充：C语言的特殊情况 #

C语言的类型转换规则更灵活，允许将指向数组的指针隐式转换为指向元素的指针，所以char* p = &a;在C里是合法的，且行为定义明确——因为地址值相同，转换后指向首元素。但这只是C的“宽松”特性，C++并不继承这一点。

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