函数调用可以丢弃其参数的限定符吗？

Question

以下代码在Green Hills C编译器中导致错误（错误：类型int*与参数类型const int*不兼容），而它只产生警告并使用gcc进行编译（警告：传递func的参数1会从指针目标类型中丢弃const限定符）。

void func1(int* a)
{
  (*a)++;
}

const int g = 100;

void func2(void)
{
  func1(&g);
}

哪些行为符合C标准？

Answer 1

哪些行为符合C标准？

这两种编译器行为都符合标准。正如@AnT已经解释的，调用func1(

如果预处理翻译单元或翻译单元违反任何语法规则或约束[…]，则一致性实现应产生至少一条诊断消息（以实现定义的方式识别）

正如你所看到的，@Olaf是对的，标准没有区分不同类别的诊断。这是一个发明和实现惯例，通常根据情况对编译过程是否致命来区分两者。标准没有进一步说明当检测到违反约束时编译器应该做什么，然而，无论是一般情况下还是在这个特定情况下，它甚至没有间接规定应该发出“警告”还是“错误”。

如果编译器继续运行并最终生成一个可执行文件，那么如果在运行过程中的任何时候对有问题的函数调用求值，那么整个生成的程序都会表现出未定义的行为。这是编译器可能选择不发射这样一个二进制文件的原因（也就是说，可能会考虑约束违反“错误”），但是，再一次，标准没有提供任何指导。

Answer 2

函数的调用

它在GCC中“只是一个警告”这一事实并不意味着什么。在GCC中使用-迂腐-错误开关，使其将约束违规报告为“错误”。Green Hills C编译器，正如您自己所观察到的，在没有任何帮助的情况下将其报告为“错误”。