当报告“来自不兼容指针类型的赋值”时，gcc可以显示指针类型吗？

Question

[今天早些时候，我正在研究这个问题：Why does one need to specify the row while assigning a pointer to a 2D Array?在尝试将多维数组的标识符分配给指针时，所涉及的类型存在一些混淆/分歧。具体来说，是将其“衰减”还是“转换”（或您可能更喜欢的术语，因为似乎也对此有所不同）为char **或char ()[5]或char (*)[5]。

（（基于以下评论，我在此处包括来自链接问题的代码示例。请不要怪我，我没有写。）

int main()
{
  char onedstring[]={"1D Array"};
  char twodstring[][5]={"2D","Array"};
  char *p1,*p2;

  p1=onedstring;
  p2=twodstring;
  p2=twodstring[1];
}

我测试了我的编译器如何从该问题的代码中报告警告，并得到以下结果：（编译器：gcc版本5.4.0 20160609（Ubuntu 5.4.0-6ubuntu1〜16.04.4））

decay.c:15:7: warning: assignment from incompatible pointer type [-Wincompatible-pointer-types]
     p2=twodstring;

它报告不兼容的指针类型，但不报告所涉及的类型，在这种情况下这将非常有帮助。我还没有找到一种方式来获取该特定警告以显示类型。但是，我发现调用一个函数而不是赋值does会导致包含类型的注释。这是示例代码（请注意，除了生成编译器警告外，它绝对没有其他用途）：

void function_to_trigger_warning(char *c){}

int main(int argc, char **argv)
{
    char onedstring[]={"1D Array"};
    char twodstring[][5]={"2D","Array"};

    function_to_trigger_warning(onedstring);
    function_to_trigger_warning(twodstring);

    return 0;
}

这是警告输出：

decay.c: In function ‘main’:
decay.c:20:33: warning: passing argument 1 of ‘function_to_trigger_warning’ from incompatible pointer type [-Wincompatible-pointer-types]
     function_to_trigger_warning(twodstring);
                                 ^
decay.c:7:6: note: expected ‘char *’ but argument is of type ‘char (*)[5]’
 void function_to_trigger_warning(char *c)
      ^

[根据gcc看起来，出于指针分配的目的，twodstring被视为char (*)[5]。那是有价值的信息！

长话短说（我知道，为时已晚）：gcc中是否有办法从其他指针分配警告中获取类似的输出？

Answer 1

安装较新版本的gcc。使用gcc 8.1或更高版本时，您的示例将产生警告：

foo1.c: In function ‘main’:
foo1.c:8:5: warning: assignment to ‘char *’ from incompatible pointer type ‘char (*)[5]’ [-Wincompatible-pointer-types]
    8 |   p2=twodstring;
      |     ^

Try it on Compiler Explorer。 （如果需要，请单击编译器窗口底部的“输出”按钮以查看警告。）

Answer 2

安装较新版本的gcc。由于至少是gcc 8.3.0，因此您的示例将产生警告：