GCC扩展变长数组调用std::begin/std::sort报错原因咨询

两类代码的行为差异本质 #

两段代码唯一的核心区别是声明的数组类型完全不同，和标准库工具的适配性存在本质差异：

• 正常运行的固定长度数组是标准C++原生数组：int arr[] = {6,4,2}的类型为编译期完全确定的int[3]，数组长度是类型信息的一部分，属于编译期常量。
• 报错的变长数组是GCC的非标准扩展：int arr[n]的长度n是运行时从输入读取的变量，不属于C++标准规定的合法数组类型，仅在GCC扩展规则下可以通过声明、下标访问这类基础逻辑的编译检查。

报错触发的具体逻辑 #

1. 标准库std::begin/std::end针对原生数组的重载是模板实现，签名如下：

   template<class T, std::size_t N>
   constexpr T* begin(T (&array)[N]) noexcept;
   

   这个重载要成功实例化，必须在编译期推导出数组的固定长度N，否则无法匹配模板参数。
2. GCC实现的变长数组，长度是运行时才确定的值，编译阶段根本拿不到N的具体数值。同时变长数组的数组名在参与类型推导时，会直接退化为int*类型的指针，仅保存数组首地址，完全丢失长度信息。
3. 变长数组的声明、元素存取操作不依赖编译期长度信息：只要运行时能根据下标计算出对应内存偏移，就可以正常执行，因此这部分代码GCC不会报编译错误。
4. 当调用std::begin(arr)时，传入的实际类型是退化后的int*，既无法匹配需要固定长度数组类型的原生数组重载，也无法匹配其他针对标准容器、std::initializer_list的重载，最终就会抛出“无匹配调用函数”的错误，报错信息里提到的std::initializer_list<_Tp>与int*不匹配，就是编译器尝试匹配所有可用重载失败后给出的提示。

补充说明：后续的范围for循环同样依赖编译期确定的数组长度计算遍历边界，即使绕过std::begin的报错，范围for遍历变长数组的逻辑也无法正常通过编译。

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