三元运算符作为命令？

Question

在source-code for nanodns 中，有一个非典型的使用三元运算符来试图减小代码大小：

/* If the incoming packet has an AR record (such as in an EDNS request),
 * mark the reply as "NOT IMPLEMENTED"; using a?b:c form to save one byte*/
q[11]?q[3]|=4:1;

这条线的作用并不明显。乍一看，它看起来像是在为两个数组元素之一赋值，但事实并非如此。相反，它似乎要么是一个数组元素，要么什么都不做（运行“命令”1）。

看起来它应该是这行代码的替代品（确实长了一个字节）：

if(q[11])q[3]|=4;

字面意思是这样的：

if (q[11])
  q[3]|=4;
else
  1;

三元运算符通常用作表达式的一部分，因此将其用作独立命令似乎很奇怪。再加上看似格格不入的1，这行代码几乎可以称得上是混淆代码了。

我做了一个快速测试，能够编译和运行一个 C(++) 程序，其中数据常量作为“命令”，例如 void main() {0; 'a'; "foobar"; false;}。 seems to bea sort of nop command，但我找不到任何关于这种用法的信息——Google isn’tvery amenableto thistype ofsearchquery)。

谁能准确解释它是什么以及它是如何工作的？

Answer 1

请注意，您链接到的代码是糟糕，并且是由一个非常糟糕的程序员编写的。特别是声明

"在微型 C 程序中定义重用表达式是一种常见的做法 让代码更小”

是完整的b***s***。这句话是事情开始出现严重错误的地方。

源代码的大小与编译器可执行文件的大小无关，与可执行文件的内存消耗无关，也与程序性能无关。它唯一影响的是程序员计算机上源代码文件的大小，以字节表示。

除非您在 80 年代中期的某些 8086 计算机上进行编程，并且硬盘空间非常有限，否则您永远不需要“减少代码的大小”。相反，编写可读的代码。

话虽如此，由于q 是一个字符数组，因此您链接的代码相当于

if(q[11])
{
  (int)(q[3] |= 4);
}
else
{
  1;
}

1 是一个没有副作用的语句，它将被优化掉。之所以把它放在那里，是因为?: 运算符需要第三个运算符。

if 语句和?: 运算符之间的唯一区别是微妙的：?: 隐式平衡了第二个和第三个操作数之间的类型。

为了提高可读性并生成自文档化代码，代码应该重写为类似

if (q[AR_INDEX] != 0)
{
  q[REPLY_INDEX] |= NOT_IMPLEMENTED;
}

---

附带说明，这里有一个错误：q[2]|=128;。 q 是 char 类型，它具有实现定义的符号，所以这条线可能是灾难性的。核心问题是你永远不应该将char 类型用于按位运算或任何形式的算术，这是一个典型的初学者错误。必须替换为uint8_t 或unsigned char。

Answer 2

在 C 和 C++ 中，任何表达式都可以通过将 ; 放在末尾来组成语句。

另一个例子是表达式 x = 5 可以做成一个语句：x = 5;。希望您同意这是一个好主意。

如果试图“禁止”某些表达式子集让 ; 出现在它们之后，这将不必要地使语言复杂化。此代码不是很有用，但它是合法的。