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

Question

以下代码在 Green Hills C 编译器中导致错误(错误:type int * is incompatible with argument type const int*)，而它仅产生警告并使用 gcc 编译(警告:传递参数 1 of 'func'从指针目标类型中丢弃“const”限定符)。

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

const int g = 100;

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

哪种行为符合 C 标准？

Answer 1

对 func1(&g) 的调用无效。这是 C 语言中的约束违规，即日常术语中通常所说的“错误”。 C 语言不支持将const int * 值隐式转换为int * 类型。

它在 GCC 中“只是一个警告”这一事实并不意味着什么。在 GCC 中使用 -pedantic-errors 开关，使其将约束违规报告为“错误”。正如您自己观察到的，Green Hills C 编译器将它报告为“错误”，而无需您提供任何帮助。