?：意外行为 - 尽管条件为真，但 ?部分未执行

Question

考虑这段代码：

// Example program
#include <stdio.h>

typedef enum{
  enum_1,
  enum_2
}my_enum;
/* 
 * this is not how the function works but when I debug 
 * it will always returns enum_1 (verified when using the debugger)
 * so I hope this is enough
 */    
int fun_1(int arg_1){return enum_1;} 
const int const_1 = 10;
const int const_2 = 20;
int main()
{
    int arg_1 = 0;

    int var_1 = fun_1(arg_1);

    int var_2 = (var_1 == (enum_1 
                    || enum_2))
                    ? const_1*10     // I expect this result
                    : const_2*10;    // instead I get this. why?
    printf("%d\n" , var_2);

    if(var_1==enum_1)
        var_2 = const_1*10;          // here it works fine        
    printf("%d\n" , var_2);

    return 0;
}

我正在调试这段代码，预计 var_1 会得到 enum_1 的值。确实如此，但不知何故，“？：”运算符没有给我预期的结果——它没有将const_1*10分配给var_2，而是const_2*10。当我在调试中继续前进并转到 if 语句时，我得到了预期的结果。这是为什么呢？

我在 Windows 8.1 上使用 windriver 工作台

编辑

我将示例更改为可运行版本，正如 tkausl 所述，问题在于使用 (var_1 == (enum_1 || enum_2)) 而不是 (var_1 == enum_1 || var_1 == enum_2))

Answer 1

您不是在比较var_1 和enum_1，也不是比较enum_2，而是比较(enum_1 || enum_2)，您可能想要(var_1 == enum_1 || var_1 == enum_2)

Answer 2

enum1 为 0，enum2 为 1（如果您未明确指定枚举值，则为默认值）。

So (var_1 == (enum_1 || enum_2)) 计算结果为

(0 == (0 || 1)) 相当于

(0 == 1) 是 0。

因此，正如您所观察到的那样，表达式的计算结果为三元组的第二部分。

你想要var_1 == enum_1 || var_1 == enum_2吗？

Answer 3

var_1 == (enum_1 
                || enum_2)

enum_1 可能实现为 0，enum_2 实现为 1。因此

(enum_1 || enum_2)

基本上是（#include <stdbool.h> 便于阅读）

(false || true)

因此true，它 - 作为整数 - 表示为1。所以

var_1 == 1

var_1 的值为 enum_1（可能为 0）是 false。

你想要

(var_1 == enum_1) || (var_1 == enum_2)

作为条件。