使用 typedef 的 GCC 不兼容的指针类型

Question

我有一些在 GCC 4.8.4 下编译良好的代码。我最近升级了我的系统，现在有了 GCC 5.2.1，我收到了关于指针类型不兼容的警告。我已将问题提取为一个重现错误的小示例：

typedef const double ConstSpiceDouble;
void foo(const double (*)[3]); 

int main(int argc, char **argv) {
  double a[3][3] = {{1,2,3},{1,2,3},{1,2,3}};

  foo((ConstSpiceDouble (*)[3])a);

  return 0;
}

在实际代码中，typedef、函数定义和类型转换都在我无法控制的库中，否则我只会修复转换和要匹配的函数。这是我从编译器得到的消息：

$ gcc -Werror -c test.c
test.c: In function ‘main’:
test.c:9:7: error: passing argument 1 of ‘foo’ from incompatible pointer type [-Werror=incompatible-pointer-types]
   foo((ConstSpiceDouble (*)[3])a);
       ^
test.c:4:6: note: expected ‘const double (*)[3]’ but argument is of type ‘const ConstSpiceDouble (*)[3] {aka const double (*)[3]}’
 void foo(const double (*)[3]);
      ^
cc1: all warnings being treated as errors

来自 gcc 的注释尤其令人不安，因为它似乎承认这两种类型是相同的，但它仍然抱怨。

Answer 1

这里和其他地方的共识似乎是 GCC 对 const 和 typedef 做了一些意想不到的事情。我不知道意外必然等同于错误，但这是由 GCC 开发人员确定的。

我通过为函数调用定义一个宏来解决我的编译问题，该函数调用修复了库中的不匹配类型转换。我通常不喜欢修补库内部，但宏允许我不触及实际的库头并在我自己的代码中定义它，以便将来对其进行注释，并且该代码的测试覆盖率应该是一个合理的预警信号，如果底层库以这样一种方式发生变化，即宏在路上会破坏某些东西。

这与其说是“解决”不如说是“解决”，但任何进一步的见解都可能需要来自 GCC 开发人员。

Answer 2

如果您键入 cast 'a' 为 ConstSpiceDouble，则 GCC 对 const 和 typedef 做了一些意想不到的事情，最终类型变为 'const const double'。这您可以在错误消息“const ConstSpiceDouble”中看到，它等同于“const const double”，这不起作用。

解决方案是在将 'a' 参数传递给 foo 函数之前说 'a' 是 const double 或说 'a' 是 ConstSpiceDouble

typedef const double ConstSpiceDouble;
void foo(const double (*)[3]); 

int main(int argc, char **argv) {

  const double a[3][3] = {{1,2,3},{1,2,3},{1,2,3}};
  // or ConstSpiceDouble a[3][3] = {{1,2,3},{1,2,3},{1,2,3}};

  foo(a);

  return 0;
}

'const' 前置似乎是最新版本 gcc 中的一个新功能，但我不确定:(