c++ - 表达式 "void()"及其在三元条件下的有效性

Question

我试图找出以下代码是否有效(即使在外观上可疑)？

void hello(int, int) {}

int main() {
    int a = 1;
    int b = 2;
    
    a == b
        ? hello(a, b) 
        : void();

    return 0;
}

我没有发现任何暗示这是无效的，它在 clang 和 gcc 上编译得很好。我可以在 SO 上找到的问题是关于 decltype here 上下文中的 void()和 sizeof here .在不同的语境下，它似乎意味着不同的东西。如果有效，我想知道:

• void() 究竟计算什么，如果它在 全部，到?是否可以将其视为无效果的 void 函数 称呼？只是 void，在这个用例中，给了我一个编译器 错误。
• 为什么不能简单地省略三元条件的一侧？

Answer 1

What exactly does void() evaluate, if it does that at all, to?

此处，void() 处于语法需要表达式而不是类型的上下文中。因此，它与链接问题 What does the void() in decltype(void()) mean exactly? 中的含义相同。即它是 void 类型的纯右值表达式。

Why is it not possible to simply omit one side of the ternary conditional?

语言的语法不允许这样。