C#中的弃元

news/2024/5/1 10:00:27/文章来源:https://www.cnblogs.com/shanfeng1000/p/15005538.html

　　从C#7.0开始，推出了一种新的特性：弃元，这种思想可能来源于Golang。

　　弃元，就是不想要了的元素变量，用单下划线（_）表示，弃元在编译时起作用，就是搞编译器：这个变量我不要，你可以优化处理。

　　我们经常在下面几个过程中使用弃元：

　　1、元组解构赋值

　　在使用元组解构赋值时，我们往往需要接收元组的所有项，而当我们是需要元组中的某些指定项时，就可以使用弃元了：　　

    static (int, char, bool, string, object) GetTuple(){return (1, 'a', true, "hello", new object());}static void Main(string[] args){var (i, c, b, s, obj) = GetTuple();//接收所有项//接收部分项var (i, _, _, _, _) = GetTuple();(_, _, _, _, object obj) = GetTuple();(_, char c, _, string s, _) = GetTuple();}

　　2、在switch表达式中使用弃元

　　在switch表达式中，经常看到弃元的存在，因为switch表达式是输出表达式，当表达式中的每一项均不匹配时，它会抛出异常，而弃元可以消除这种异常，switch表达式中的弃元的作用就类似于switch语句中的default语句的作用：

    public class Point2D{public int X { get; set; }public int Y { get; set; }public void Deconstruct(out int x, out int y) => (x, y) = (X, Y);}
static void Print(object point){(var x, var y) = point switch{Point2D(> 0, > 0) p => p,_ => new Point2D()//如果没有弃元，当上面模式不匹配时将抛出异常
        };}

　　3、out关键字的参数

　　在一些方法中可以看到有out关键字修饰的参数，但有时我们并不关心out参数输出的结果，这时就可以使用弃元来简化：　　

    string value = "2021-07-14 18:00:00";bool isInt = int.TryParse(value, out _);//判断结果是否可以转换成int类型，而不关系转换成int类型后的值bool isBool = bool.TryParse(value, out _);//判断结果是否可以转换成bool类型，而不关系转换成bool类型后的值//判断结果是否可以转换成DateTime类型，而不关系转换成DateTime类型后的值bool isDateTime = DateTime.TryParseExact(value, "yyyy-MM-dd HH:mm:ss", System.Globalization.CultureInfo.CurrentCulture, System.Globalization.DateTimeStyles.None, out _);

　　4、接收无用的表达式输出

　　弃元可以将一些表达式的结果标记为舍弃，从而让表达式合法化，否则编译器可能会抛出警告：　　

    //直接写1+1不合法，编译器无法通过，但是下面的写法是合法的_ = 1 + 1;

　　还可以与 null合并运算符?? 结合，进行空指针验证：　　

    public void Method(object arg){//原来的写法if (arg == null){throw new ArgumentNullException();}//等价写法_ = arg ?? throw new ArgumentNullException();//代替if验证空指针引用}

　　我们通常使用async-await进行异步编程，当我们在一个async方法中启用一个异步操作而为使用await时，编译器会发出警告：

　　而弃元的存在可以让我们消除这种警告：　　

    static async Task Print(){_ = Task.Run(() =>{//something
        });await Task.CompletedTask;}

　　注意点

　　弃元表示不在使用的元素变量，因此一旦你使用弃元去接收值，那么就不应该通过弃元去获取值。但是，弃元符号（_）是一个合法变量符，我们可以声明单下划线的变量，一旦声明了弃元符号的变量，那么在后续的同一作用域要注意使用的是弃元还是变量！

　　举个例子，可以好好体会：　　

    static async Task Print(){//这里是弃元var (_, i) = (1, 2);(var _, var j) = (1, 2);string _ = "discards";//声明弃元符号字符串变量//这里是弃元，自动识别是弃元var (_, m) = (1, 2);(var _, var n) = (1, 2);var s = i switch{_ => _  //前面是弃元，后面是变量
        };Console.WriteLine(_);//识别为变量，输出discards//报错，此时识别为字符串bool isInt = int.TryParse(s, out _);//报错，此时识别为字符串_ = Task.Run(() =>{//something
        });await Task.CompletedTask;}