C#中&&拼接的比较运算加括号前后返回结果不同原因

未加括号的比较表达式运算得到result1 == true，加括号的比较表达式运算得到result2 == false，两者结果不一致。预期两者都应返回false，因为代码中_enum初始值为TestEnum.Member1，满足_enum != TestEnum.Member2。

复现代码：

class Program
{
    private static TestEnum _enum = TestEnum.Member1;
    private static int? _int = null;
    private static string _string = null;

    public static void Main(params string[] args)
    {
        var result1 = _enum == TestEnum.Member2 &&
                      _int != null ? _int == 5 : true &&
                      _string != null ? _string == "abc" : true;
        var result2 = (_enum == TestEnum.Member2) &&
                      (_int != null ? _int == 5 : true) &&
                      (_string != null ? _string == "abc" : true);

        Console.WriteLine("result1: " + result1);
        Console.WriteLine("result2: " + result2);
    }
}

public enum TestEnum
{
    Member1,
    Member2
}

结果不一致的核心原因是C#运算符优先级、结合性规则和你写代码时默认脑补的运算顺序不匹配。写result1时你默认给每个三元判断单元加了括号，按三个条件连续逻辑与计算，但编译器会严格按照官方优先级规则解析表达式：

• 优先级层面，逻辑与运算符&&的优先级远高于三元条件运算符?:，&&会比三元的条件判断、分支选择更早绑定运算
• 三元运算符本身是右结合的，连续书写的三元表达式会从右往左分组

result1的实际执行逻辑 #

无括号的result1表达式，编译器实际解析等价于如下写法：

var result1 = 
    // 高优先级的&&先结合，作为第一个三元的判断条件
    (_enum == TestEnum.Member2 && _int != null) 
        ? _int == 5 
        : ( // 条件为假时进入该分支，分支内容是一个独立的三元表达式
            true && _string != null 
                ? _string == "abc" 
                : true
        );

实际运算步骤：

1. 计算第一个三元的判断条件：_enum值为TestEnum.Member1，因此_enum == TestEnum.Member2直接返回false，&&触发短路，整个条件结果为false，直接进入冒号后的分支
2. 计算冒号后的分支：_string为null，因此_string != null返回false，true && false结果为false，进入内层三元的冒号分支，返回true
3. 最终result1返回true

result2的实际执行逻辑 #

手动加括号的result2明确指定了运算顺序，等价于三个独立判断的结果连续做逻辑与：

var result2 = 
    (_enum == TestEnum.Member2) 
    && (_int != null ? _int == 5 : true) 
    && (_string != null ? _string == "abc" : true);

实际运算步骤：
第一个判断_enum == TestEnum.Member2直接返回false，&&触发短路，整个表达式直接返回false，和最初的预期一致。

混用逻辑运算符、三元运算符书写复合条件时，不要靠记忆默认优先级判断运算顺序，手动加括号明确指定运算优先级，避免出现这类隐蔽的逻辑bug。

内容的提问来源于stack exchange，提问作者Leppin