取消

C# 重载条件逻辑运算符(&& 和 ||)

在微软的官方文档中,规定 &&|| 运算符不可被重载,但允许通过重载 &|truefalse 实现间接重载。

本文将介绍重载方法和原理。感谢 Opportunity 的指导。


条件逻辑运算符是可以重载的

在微软的官方文档 true Operator (C# Reference) - Microsoft Docs 中,解释了 &&|| 这两个条件逻辑运算符的重载方法:

A type cannot directly overload the Caseal logical operators (&& and ||), but an equivalent effect can be achieved by overloading the regular logical operators and operators true and false.

类型不能直接重载条件逻辑运算符(&&||),但通过重载常规逻辑运算符 &| 及运算符 truefalse 可以达到同样的效果。

也就是说,在官方的概念中,&&|| 是允许被重载的,只是不能直接重载。

原因在于,&&|| 是短路运算符(Circuit Operator),具有短路求值特性。具体来说,A && B 运算中,如果 Afalse,那么 B 的值便不会计算;同样的,A || B 中,如果 Atrue,那么 B 的值也不会计算。

于是,如果允许自定义 &&|| 运算符,那么必然会导致这个运算符重载的方法有两个参数传入,于是这两个参数一定会被计算值;这样就无法实现短路求值了。于是对于 &&|| 的重载采用的方案是重载 &| 运算符,然后重载 truefalse 运算符来指定短路求值。

试错实验

我们写一个类型进行实验:

1
2
3
4
5
6
7
8
9
10
11
12
using System;

namespace Walterlv.Demo
{
    public class Case
    {
        public static bool operator &(Case a, Case b)
        {
            throw new NotImplementedException();
        }
    }
}

直接使用 & 是没有问题的,但如果使用 && 就会提示错误。

1
2
3
4
5
var a = new Case();
var b = new Case();
if (a && b)
{
}

Error CS0217: In order to be applicable as a short circuit operator a user-defined logical operator (‘Case.operator &(Case, Case)’) must have the same return type and parameter types

Error CS0217: 为了可以像短路运算符一样应用,用户定义的逻辑运算符(“Case.operator &(Case, Case)”)的返回类型和参数类型必须相同

也就是说,本身重载 & 运算符的时候允许返回不同的类型;但如果希望 && 运算符在此重载下也生效,就必须确保 & 的返回类型与参数中的类型相同。

1
2
3
4
public static Case operator &(Case a, Case b)
{
    throw new NotImplementedException();
}
1
2
3
var a = new Case();
var b = new Case();
var c = a && b;

改为相同的类型后,还会继续提示需要定义 truefalse 运算符。

Error CS0218: In order for ‘Case.operator &(Case, Case)’ to be applicable as a short circuit operator, its declaring type ‘Case’ must define operator true and operator false

重载 && 和 ||

以下代码中,true 表示字符串中包含大写字母,false 表示字符串中不包含大写字母(null 和没有大小写的区域也属于不包含大写字母)。& 运算符仅留下两者共有的字符;| 则取所有字符。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
public class Case
{
    private string _value;

    public Case(string value)
    {
        _value = value;
    }

    public static Case operator &(Case a, Case b)
    {
        if (a is null || b is null) return null;
        if (a._value is null || b._value is null) return new Case(null);
        return new Case(new string(b._value.Except(a._value.Except(b._value)).ToArray()));
    }

    public static Case operator |(Case a, Case b) => new Case(a._value + b._value);

    public static bool operator true(Case a)
        => a?._value != null && !a._value.ToLower(CultureInfo.CurrentCulture).Equals(a._value);

    public static bool operator false(Case a)
        => a?._value == null || a._value.ToLower(CultureInfo.CurrentCulture).Equals(a._value);
        
    public override string ToString() => _value;
}

测试重载了条件逻辑运算符的类型

我们测试以上代码所用的代码如下:

1
2
3
4
5
6
7
8
9
10
var a = new Case("A");
var b = new Case("b");
Console.WriteLine(a);
Console.WriteLine(b);
Console.WriteLine(a ? "a 是 truthy" : "a 是 falsy");
Console.WriteLine(b ? "b 是 truthy" : "b 是 falsy");
Console.WriteLine(a & b);
Console.WriteLine(a | b);
Console.WriteLine(a && b);
Console.WriteLine(a || b);

以上各个 Console.WriteLine 的输出为:

1
2
3
4
5
6
7
8
[1] A
[2] b
[3] a 是 truthy
[4] b 是 falsy
[5] 
[6] Ab
[7] 
[8] A

注意,空行其实指的是输出 null

truthy 和 falsy

刚刚的测试代码中,我们使用了 truthy 和 falsy 概念,而这是逻辑判断概念:

  • 如果在逻辑判断中,对象与 true 等价,但其数值上并非 true(不等于 true),那么称此对象为 truthy;
  • 如果在逻辑判断中,对象与 false 等价,但其数值上并非 false(不等于 false),那么称此对象为 falsy。

对以上测试输出的解释

第 5 行由于 ab 没有共有字符,所以得到 null

第 7 行的执行过程是这样的:

  1. a 求值,即 a 本身;
  2. a 进行 truthy / falsy 逻辑判断,得到 truthy;
  3. 由于 a 为 truthy,对于 && 运算符而言,可以对 b 求值,于是对 b 求值得到 b 本身;
  4. ab 进行 & 运算,得到 ` ,也就是 null`。

第 8 行的执行过程是这样的:

  1. a 求值,即 a 本身;
  2. a 进行 truthy / falsy 逻辑判断,得到 truthy;
  3. 由于 a 为 truthy,对于 || 运算符而言,已无需对 b 求值,最终得到的结果为 a,也就是 A

参考资料

本文会经常更新,请阅读原文: https://blog.walterlv.com/post/overload-conditional-and-and-or-operators-in-csharp.html ,以避免陈旧错误知识的误导,同时有更好的阅读体验。

知识共享许可协议

本作品采用 知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议 进行许可。欢迎转载、使用、重新发布,但务必保留文章署名 吕毅 (包含链接: https://blog.walterlv.com ),不得用于商业目的,基于本文修改后的作品务必以相同的许可发布。如有任何疑问,请 与我联系 ([email protected])

登录 GitHub 账号进行评论