`1 的类型是什么？ 0: (int(*)[f()])0`？

Question

条件运算符中使用的 VM 类型的 C 标准可能存在矛盾。 认为：

int f(void) { return 42; }

现在，以下表达式的类型是什么？

1 ? 0 : (int(*)[f()]) 0

它的值必须等于 NULL 但我不确定是什么类型。 int(*)[f()]是指向大小为f()的 VLA 的指针。 但是，要完成此 VM 类型，必须评估大小表达式f() 。 问题在于它属于未评估的三元运算符的分支。 从6.5.15p4 开始：

仅当第一个比较不等于 0 时才评估第二个操作数； 只有当第一个比较等于 0 时，第三个操作数才会被评估

条件运算符的规则要求0指针的组合是另一个分支6.5.15p6的类型：

...如果一个操作数是 null 指针常量，则结果具有另一个操作数的类型； ...

如何解决这个矛盾？ 可能的解决方案是：

• int(*)[f()] - f()无论如何都会被评估
• int(*)[] - 数组类型保持不完整
• 未定义的行为
• 还有什么？

复合类型的规则表明这可能是 UB，但我不确定这些规则是否适用于这种情况。 我正在寻找引用 C17 规范的答案，但即将推出的 C2X 的措辞也很好。

Answer 1

我认为这归结为 6.5.15 p4未被评估意味着什么。 段落有脚注 112：

¹¹²⁾条件表达式不产生左值。

我们真的不需要 null 指针(int(*)[f()]) 0的左值； 类型就足够了。

上面给出，如果我们不把非左值生成部分求值算作求值，那么就不矛盾了， f()可以求值，类型可以是int(*)[42] 。