基于三元运算符 (?:) 的赋值避免了 C 中的类型检查

Question

我无法理解为什么编译器在通过 (?:) 分配不兼容的指针时不发出警告，但在直接分配时却发出警告。

编译器在这种情况下发出警告：

test.c：在函数“main”中：test.c:8:4：警告：分配给 'uint32_t *' {aka 'unsigned int *'} 来自不兼容的指针类型 'uint32_t **' {aka 'unsigned int **'} [-Wincompatible-pointer-types] 8 |一个=数组； | ^

#include <stdint.h>
#include <stdlib.h>

int main(void)
{
    uint32_t *array[10], *a;
    a = array;
}

以下情况无警告：

#include <stdint.h>
#include <stdlib.h>

int main(void)
{
    int b = 8;
    uint32_t *array[10], *a;

    a = (b >= 8) ? array : malloc(8);
}

环境：

Gcc version 9.3.0
Ubuntu 20.04
compilation cmd: gcc test.c -o test.out

Answer 1

表达式(b >= 8) ? array : malloc(8) 的类型是void*（因为malloc(8) 的类型是void*）。你可以通过做一些无意义的事情并让编译器告诉你来看到这一点：

((b >= 8) ? array : malloc(8)) * 5;

<source>:10:36: error: invalid operands to binary * (have 'void *' and 'int')
   10 |     ((b >= 8) ? array : malloc(8)) * 5;
      |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^
      |                       |
      |                       void *

void* 可以隐式转换为任何类型的指针，这就是当您将该值分配给a 时编译器不会报错的原因。

Answer 2

来自 C 标准（6.5.15 条件运算符）

6. ... 否则，一个操作数是指向 void 的指针或 void 的限定版本，在这种情况下，结果类型是指向 void 的适当限定版本。

函数malloc 返回void * 类型的指针。所以带有条件运算符的表达式的类型是void *。 void * 类型的指针可以分配给任何其他对象类型的指针。

来自 C 标准（6.3.2.3 指针）

1 指向 void 的指针可以转换为指向任何 对象类型。指向任何对象类型的指针都可以转换为 指向 void 并再次返回的指针；结果应比较等于 原始指针。

其实你有

a = ( void * )(b >= 8 ? array : malloc(8) );