我有一个在程序开始时初始化为 NULL 的 char 指针，在程序中，char* 用于函数调用中，它可能指向一个 char 字符串，它可能指向 null char，它可能保持不变。 下面的陈述是否正确，如果表达式是从左到右计算的，应该是正确的。如果不是，则 strlen (charpointer) 是未定义的行为，如果 charpointer == NULL
if ( charpointer == NULL || strlen ( charpointer ) == 0 )
那么，它们是从左到右进行评估的吗？这是进行这种检查的正确方法吗？
【问题讨论】：
|| 的操作数需要从左到右进行计算，使您的表达式安全（只要 charpointer 是空指针或指向字符串的有效指针）。对于大多数其他运算符，评估顺序是未指定的。
if 语句中的条件无关；这完全是关于 || 运算符。
|| 的求值顺序是从左到右，正如 Eric 提到的，这是 || 和 && 的特殊属性，大多数运算符不强制从左到右求值。如果左边的成功，它将不会评估右边的表达式，来自 C99 草案标准部分6.5.14 第 4 段：
不同于按位 |运算符，||运算符保证从左到右的评估；在第一个操作数的评估之后有一个序列点。 如果第一个操作数比较不等于 0，则不计算第二个操作数。
C++ 草案标准在5.15 部分有类似的语言第 1 段。
【讨论】：
从左到右的评估顺序。
在您的情况下，if 循环将从左到右检查第一个条件。如果第一个条件失败，它将从左到右检查第二个条件。
【讨论】：
if 或一般规则无关（如您的编辑所示）。
评估顺序是，正如其他人从左到右表示的那样，但重要的是要认识到评估停止在可以确定逻辑表达式的真值（或缺乏真值）的点上。
这两种情况都是||和&&。
这一点特别重要，因为您不能假设将评估整个表达式，因此如果逻辑表达式的任何组件具有副作用（例如函数调用、增量、赋值等），它们不会全部必须执行。
【讨论】：
测试charpointer是否为空。
if (charpointer == NULL) { // etc.
如果要测试 charponter 是否指向 NULL 字符，则：
if ((charpointer != NULL) && (strlen(charpointer) == 0) { // etc.
您可以将这些语句组合为：
if (charpointer == NULL) {
} else {
if (strlen(charpointer) == 0) { // etc.
或作为：
if ((charpointer != NULL) && (strlen(charpointer) == 0)) {// etc.
或者你可以依靠你的代码正在做的短路。但是，charpointer == NULL 必须 的测试首先出现，因为表达式是从左到右计算的。
最后，在你写了相当多的 c 代码之后，你会了解到：
if (! charpointer) { // etc.
与测试它是否等于 NULL 相同。所以，只是为了花哨而写出不可读的代码，那么：
if (!charpointer || !(strlen(charpointer)) { // etc.
【讨论】：
评估过程的特点与if声明完全无关。评估由表达式本身的属性决定。在if 中使用它的事实没有任何区别。
在你的情况下，有问题的表达是
charpointer == NULL || strlen ( charpointer ) == 0
它的行为主要由|| 运算符的属性定义，它保证从左到右进行计算，第一个操作数的计算在第二个操作数的计算之前排序，并且具有“提前完成”（“short-电路”），以防第一个操作数的计算结果为 true。
这意味着您原始帖子中的控制表达式是完全安全的。
【讨论】：