概要

当C程序试图将指向const数据的指针(如const void **或const char **)转换为void *时，Microsoft Visual Studio中的C/C++编译器会给出警告C4090(即使这种类型实际上并非指向const的指针)。更奇怪的是，同一个编译器静默地接受作为C++编译的相同代码。

这种不一致的原因是什么？为什么Visual Studio(与其他编译器不同)在将指向const的指针隐式转换为void *时存在问题？

细节

我有一个C程序，其中将通过变量参数列表传递的C字符串读入数组(通过调用va_arg的循环)。由于C字符串的类型为const char *，因此跟踪它们的数组的类型为const char **。指向包含const内容的字符串的指针数组本身是动态分配的(使用calloc)，在函数返回之前(在处理了C字符串之后)我对其进行了free分配。

当我使用cl.exe(在Microsoft Visual C++中)编译此代码时，即使警告级别较低，free调用也会触发警告C4090。由于free接受void *，因此这告诉我编译器不喜欢我将const char **转换为void *的想法。我创建了一个简单的示例来确认这一点，在该示例中，我尝试将const void **转换为void *:

/* cast.c - Can a const void** be cast implicitly to void* ? */

int main(void)
{
    const void **p = 0;
    void *q;
    q = p;

    return 0;
}

>cl cast.c
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.40219.01 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

cast.c
cast.c(7) : warning C4090: '=' : different 'const' qualifiers
Microsoft (R) Incremental Linker Version 10.00.40219.01
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:cast.exe
cast.obj

This warning is issued for C programs. In a C++ program, the compiler issues an error: C2440.

>cl /TP cast.c
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.40219.01 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

cast.c
Microsoft (R) Incremental Linker Version 10.00.40219.01
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:cast.exe
cast.obj

>cl /TP /Wall cast.c
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.40219.01 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

cast.c
Microsoft (R) Incremental Linker Version 10.00.40219.01
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:cast.exe
cast.obj

$ gcc -ansi -pedantic -Wall -Wextra -o cast cast.c
cast.c: In function ‘main’:
cast.c:6:11: warning: variable ‘q’ set but not used [-Wunused-but-set-variable]

$ gcc -std=c99 -pedantic -Wall -Wextra -o cast cast.c
cast.c: In function ‘main’:
cast.c:6:11: warning: variable ‘q’ set but not used [-Wunused-but-set-variable]

$ g++ -x c++ -ansi -pedantic -Wall -Wextra -o cast cast.c
cast.c: In function ‘int main()’:
cast.c:6:11: warning: variable ‘q’ set but not used [-Wunused-but-set-variable]

/* cast.c - Can a const void** be cast implicitly to void* ? */

int main(void)
{
    const void **p = 0;
    void *q;
    q = p;

    return 0;
}

>cl /Wall voidcast.c
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.40219.01 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

voidcast.c
Microsoft (R) Incremental Linker Version 10.00.40219.01
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:voidcast.exe
voidcast.obj

最佳答案

显然，这只是VC++中的错误。

如果声明const char **x;，则结果是指向chars的“只读”指针的指针，而它本身不是“只读”的指针(我使用术语“只读”，因为const -ness术语推了错误的概念指向的字符是常量，而通常为假。带有引用和指针的const是引用或指针的属性，不告诉指向或引用数据的常量性。

任何读/写指针都可以转换为void *，并且VC++没有真正的理由在编译该代码时发出警告，无论是在C中还是在C++模式中。

请注意，这在形式上不是问题，因为该标准并未规定应发出或不应该发出哪些警告，因此编译器可以自由发出警告，以使仍然有效的完美代码有效。 VC++实际上会为有效的C++代码发出过多的警告...

关于c++ - 为什么Visual C++在C中而不是从C++中警告从const void **到void *的隐式强制转换？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/10403713/