将指向较大数组的指针分配给指向较小VLA的指针

const char[3] 与不兼容 char[37] .

“指向限定类型的指针”也不与“指向类型的指针”兼容-不要将其与“指向类型的限定指针”混淆。(不幸的是,常量正确性不适用于数组指针。)

相关部分为简单赋值规则C17 6.5.16.1:

• 左操作数具有原子、限定或非限定指针类型,并且(考虑 左操作数在左值转换后的类型)两个操作数都是 指向兼容类型的限定或非限定版本的指针,以及指向的类型 左边的to具有右边指向的类型的所有限定符;

查看各种编译器:

• “GNU模式”下的GCC对于检查C一致性是无用的。必须用编译 -std=cxx -pedantic-errors . 在此之后,GCC表现良好: gcc -std=c17 -pedantic-errors 以下内容:

  错误:指向具有不同限定符的数组的指针在ISO C中不兼容[-wpedantic]

• ICC提供与GCC相同的诊断,它工作正常。

• 反之 clang -std=c17 -pedantic-errors 不报告错误,因此显然不符合C标准。