当非 const 参数作为 const 参数传递时，英特尔 C++ 编译器警告 167 [重复]

Question

我有一个大型代码库，最近从 Microsoft 的编译器转移到了英特尔 C++ 编译器。我们团队的目标是在主线中编译没有警告。自从切换以来，一个警告 167 的实例让我感到困惑。如果我编译以下代码：

int foo(const int pp_stuff[2][2])
{
   return 0;
}

int foo2(const int pp_stuff[][2])
{
    return 0;
}


int main(void)
{
    int stuff[2][2] = {{1,2},{3,4}};

    foo(stuff);
    foo2(stuff);

    return 0;
}

ICC 会给我警告：

1>main.c(17): warning #167: argument of type "int (*)[2]" is incompatible with parameter of type "const int (*)[2]"
1>        foo(stuff);
1>            ^
1>  
1>main.c(18): warning #167: argument of type "int (*)[2]" is incompatible with parameter of type "const int (*)[2]"
1>        foo2(stuff);

为什么这是一个警告？通常的做法是将非常量变量作为 const 参数传递，并且类型和维度是相同的。

对于那些将此问题标记为重复问题的人，我敦促您重新考虑。如果其他人遇到此警告，他们必须知道在 C 中参数是通过原型函数中的赋值进行转换的，然后搜索严格与赋值有关的问题。尽管答案最终与 C90/C99 中的子句相同，但我认为问题是完全不同的。

Answer 1

将变量传递给需要 const 的函数时，将其转换为 const。

foo( (const int (*)[2]) stuff );

Why can't I pass a char ** to a function which expects a const char **?

Similar question

Answer 2

stuff 数组的值是 int (*)[2] 类型。

int foo(const int pp_stuff[2][2])

等价于

int foo(const int (*pp_stuff)[2])

在函数调用中，就好像您将 int (*)[2] 类型的值分配给 const int (*)[2] 类型的变量。

参数的转换就像通过原型函数中的赋值一样。如果满足以下条件，C 允许您分配两个指针：

两个操作数都是指向兼容类型的合格或不合格版本的指针，左边指向的类型具有右边指向的类型的所有限定符；

这里的int (*)[2] 和const int (*)[2] 不是同一类型的合格/不合格版本。限定符适用于int 而不是指针。

用途：

int foo(int (* const pp_stuff)[2])

如果你想创建指针 const 而不是 int 元素。