这是三元条件吗？：正确的（目标）C 语法？

Question

我认为这是不可能的，但显然在 Objective C 中这是允许的：

int a = b ?: c;

所以你看到他们在这里做什么，他们省略了三元表达式的第二部分，这样如果 b 不为零，则使用 b作为第二部分。

这很聪明，但据我所知，这违反了 K&RC，可能还违反了 ANSI C。

如果不是，我多年来一直错过一个非常聪明的语法技巧......唉！

更新： 这是海湾合作委员会。

Answer 1

来自http://en.wikipedia.org/wiki/%3F%3A

C 的 GNU 扩展允许省略第二个操作数，并隐式使用第一个操作数作为第二个操作数：

<前><代码>a = x ? ：是；

表达式相当于

<前><代码>a = x ? x : y;

但如果 x 是一个表达式，则仅计算一次。如果计算表达式有副作用，则差异很显着。

Answer 2

此行为是为 gcc 和 clang 定义的。如果您正在构建 macOS 或 iOS 代码，则没有理由不使用它。

不过，如果没有仔细考虑，我不会在可移植代码中使用它。

Answer 3

$ cat > foo.c
#include <stdio.h>

int main(int argc, char **argv)
{
  int b = 2;
  int c = 4;
  int a = b ?: c;
  printf("a: %d\n", a);
  return 0;
}
$ gcc -pedantic -Wall foo.c
foo.c: In function ‘main’:
foo.c:7: warning: ISO C forbids omitting the middle term of a ?: expression

所以不，这是不允许的。在这种情况下，gcc 发出的内容是这样的：

$ ./a.out 
a: 2

因此，未定义的行为就是执行您在问题中所说的操作，即使您不想依赖它。

Answer 4

这是一个 GNU C 扩展。检查编译器设置（寻找 C 风格）。不确定它是否是 Clang 的一部分，我能得到的唯一信息是在 此页面 ：

简介

本文档描述了 Clang 提供的语言扩展。除了此处列出的语言扩展之外，Clang 还旨在支持广泛的 GCC 扩展。有关这些扩展的更多信息，请参阅 GCC 手册。