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

Question

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

（基于下面的cmets，我在这里包含了来自链接问题的代码示例。不要怪我，不是我写的。）

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;

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

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。 （如有必要，请单击编译器窗口底部的“输出”按钮以查看警告。）