[译]C# 7系列，Part 4: Discards 弃元

原文：https://blogs.msdn.microsoft.com/mazhou/2017/06/27/c-7-series-part-4-discards/

有时我们想要忽略一个方法返回的值，特别是那些out参数，一个典型的例子是检查一个字符串是否可以解析成另一种类型：

bool parsedValue;
if (bool.TryParse("TRUE", out parsedValue)) { /* 其他代码 */ }

这里我们要忽略parsedValue。我们还希望使这个变量不可访问，以便开发人员不能引用它。

C# 7.0有一个叫做discards（译注：官方翻译：弃元）的新特性，可以在这个场景中用来实现我们的目标。

弃元

弃元是可以赋值但不能从中读取的局部变量。也就是说，它们是“只写”的局部变量。它们没有名称，而是用_(下划线)表示。_是上下文关键字，与var非常相似，并且_不能被读取(即不能出现在赋值的右侧)。

如果我们将弃元应用到上面的代码，它将看起来像这样：

if (bool.TryParse("TRUE", out bool _)) { /* 其他代码 */ }

因为_是不可读的，所以它不会出现在IDE的智能感知中，也不会编译代码。

弃元适用的场景

• 带有out修饰符的声明表达式，例如：bool.TryParse(“字符串”，out _)
• 模式匹配子句，例如case int _ 或 if (x is string _)
• 解构：
  • 在声明中：如var (a， _， c) = myObj
  • 在赋值:如var a, b;(a, b, _) = myObj
  • 值元组解构：例如 var (a， _， _) = (1,2,3)

关键字_

请始终记住_是一个上下文相关的关键字，就像var一样，这意味着如果您已经在当前上下文中声明了一个局部变量_，并且它位于作用域中，那么_将不是一个弃元，而是会在作用域中引用该局部变量。

更有趣的是，看看下面的代码：

bool _ = false, v = false;
if (bool.TryParse("TRUE", out var _))
{
     v = _;
}

v的值是多少？

答案是false。if的条件为真，因为字符串“true”可以解析为一个布尔值true，但是这里我们用了out var _，这覆盖了前面声明的变量_的作用域，它是一个弃元。然后，if语句中的赋值v = _只读取前面声明的局部变量_的值(为false)，并赋值给v，因此v的值为false。如果我们删除var来将代码更改为out _，那么v的值将为true，因为_不再是一个弃元了（译注：是一个普通变量），并且它保存了解析后的布尔值。

结论

C#中的弃元允许忽略一些局部变量。这是一个设计时特性，运行时可能仍然需要这个局部变量，编译器也可能为它生成一个名称。因为_关键字是上下文关键字，所以你需要设置一个编码策略来避免使用_作为名称声明局部变量以减少混淆。这个特性与早期的.NET版本兼容，因为它不需要更改CLR。

系列文章：

• [译]C# 7系列，Part 1: Value Tuples 值元组
• [译]C# 7系列，Part 2: Async Main 异步Main方法
• [译]C# 7系列，Part 3: Default Literals 默认文本表达式
• [译]C# 7系列，Part 4: Discards 弃元 （本文）
• [译]C# 7系列，Part 5: private protected 访问修饰符
• [译]C# 7系列，Part 6: Read-only structs 只读结构
• [译]C# 7系列，Part 7: ref Returns ref返回结果
• [译]C# 7系列，Part 8: in Parameters in参数
• [译]C# 7系列，Part 9: ref structs ref结构
• [译]C# 7系列，Part 10: Span<T> and universal memory management Span<T>和统一内存管理 （完）