C++数组元素强转数组引用传参的标准规定与等价性疑问

问题涉及的代码如下：

extern float m2( float (&fa)[3] );

void client_of_m2( ) {
   float vec[3] { 1.0f, 2.0f, 3.0f };
   float mag2 = m2( (float (&)[3]) vec[0] );  // 非典型数组引用传参写法
   // ...
}

针对核心疑问的明确结论：

• 该写法完全在C++标准的明确约束范围内，编译器没有自由调整实现逻辑的空间，不存在实现定义行为
• 该写法与常规教材写法float mag2 = m2( vec );的可观测运行时行为完全等价

标准规则依据 #

1. C风格转换的语义匹配：ISO C标准明确规定，C风格类型转换(T)expr会按固定优先级尝试合规的C显式转换序列。此处目标类型为float(&)[3]（3元素float数组的左值引用），源表达式vec[0]是float类型左值，不存在const/volatile属性调整、类层次转换等其他可行转换路径，因此该C风格转换完全等价于reinterpret_cast<float(&)[3]>(vec[0])。
2. reinterpret_cast的强制语义：标准对左值引用的reinterpret_cast有明确定义：reinterpret_cast<T&>(obj)的效果完全等价于*reinterpret_cast<T*>(&obj)，即先取源对象的地址，转换为指向目标类型的指针，解引用后得到目标类型的左值，整个过程不会生成临时对象、不会调整地址偏移。
3. 数组指针转换的合法性要求：针对数组类型的指针转换，标准明确：如果源指针指向的内存地址与某个数组对象的首地址完全重合，且源指针指向的类型与数组元素类型一致、满足对齐要求，转换得到的数组指针就是指向该数组的合法有效指针。
   本例中&vec[0]是vec数组首元素的地址，本身就是整个vec数组的起始地址，指向类型为float，和目标数组float[3]的元素类型完全一致，天然满足对齐要求，因此转换得到的数组指针就是指向vec本身的合法指针，解引用得到的数组左值与vec是同一个对象。

两种写法的等价性验证 #

常规写法m2(vec)中，因为形参是数组左值引用，数组vec不会发生数组到指针的退化，会直接作为数组左值绑定到形参fa，fa引用的就是vec数组本身。
而通过C风格转换传参的写法，最终绑定到fa的引用同样指向vec数组本身：

• 两种写法下fa的起始地址完全一致
• 对fa[0]、fa[1]、fa[2]的读写访问完全对应vec的三个元素
• 不存在编译器私自插入临时对象、调整地址偏移的空间
  二者的运行时行为没有任何可观测差异。

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