[譯]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 預設文本表達式