C#7：Out 变量中的下划线 (_) 和星号 (*)

Question

我正在阅读 C#7 here 中的新变量特性。我有两个问题：

1. 它说

   我们也允许“丢弃”作为输出参数，以_ 的形式，让您忽略您不关心的参数：

   p.GetCoordinates(out var x, out _); // I only care about x
   

   问：我想这只是一个信息，而不是 C#7 的新功能，因为我们也可以在 C#7.0 之前这样做：

   var _;
   if (Int.TryParse(str, out _))
   ...
   

   还是我在这里遗漏了什么？

2. 当我按照同一篇博客中的说明进行操作时，我的代码会出错：

   ~Person() => names.TryRemove(id, out *);
   

   * 不是有效标识符。我猜是 Mads Torgersen 的疏忽？

Answer 1

问：......我们也可以在 C#7.0 之前这样做：

var _;
if (Int.TryParse(str, out _))

还是我在这里遗漏了什么？

这不是一回事。
您的代码正在分配。

在 C# 7.0 _ 不是变量，它告诉编译器丢弃该值
（除非您已将 _ 声明为变量...如果您这样做，则使用该变量而不是丢弃符​​号）

示例：您可以在同一行代码中将 _ 用作 sting 和 int：

string a; 
int b;
Test(out a, out b);
Test(out _, out _);

//...

void Test(out string a, out int b)
{
   //...
}

Answer 2

在 C# 7.0（2017 年 3 月左右的 Visual Studio 2017）中，以下上下文中的分配支持丢弃：

• 元组和对象解构。
• Pattern matching with is and switch。
• 调用不带参数的方法。
• 当范围内没有 _ 时的独立 _。

---

其他有用的说明

• 丢弃可以减少内存分配。因为他们做出了意图 您的代码清晰，它们增强了它的可读性和可维护性
• 请注意，_ 也是一个有效的标识符。在外面使用时 支持的上下文

---

简单的例子：这里我们不想使用第一个和第二个参数，只需要第三个参数

(_, _, area) = city.GetCityInformation(cityName);

开关案例中的高级示例也使用了现代开关案例模式匹配 (source)

switch (exception)                {
case ExceptionCustom exceptionCustom:       
        //do something unique
        //...
    break;
case OperationCanceledException _:
    //do something else here and we can also cast it 
    //...
    break;
default:
    logger?.Error(exception.Message, exception);
    //..
    break;

}

Answer 3

Discards，在 C#7 中，可以在任何声明变量的地方使用，以 - 顾名思义 - 丢弃结果。所以可以在没有变量的情况下使用丢弃：

p.GetCoordinates(out var x, out _);

它可以用来丢弃一个表达式结果：

_ = 42;

在示例中，

p.GetCoordinates(out var x, out _);
_ = 42;

没有引入变量_。只有两种使用丢弃的情况。

但是，如果作用域中存在标识符_，则不能使用丢弃：

var _ = 42;
_ = "hello"; // error - a string cannot explicitly convert from string to int

这种情况的例外是_ 变量用作输出变量。在这种情况下，编译器会忽略类型或var，并将其视为丢弃：

if (p.GetCoordinates(out double x, out double _))
{
    _ = "hello"; // works fine.
    Console.WriteLine(_); // error: _ doesn't exist in this context.
}

请注意，只有在这种情况下使用out var _ 或out double _ 时才会发生这种情况。只需使用out _，然后将其视为对现有变量_ 的引用，如果它在范围内，例如：

string _;
int.TryParse("1", out _); // complains _ is of the wrong type

最后，* 符号是在围绕丢弃的讨论的早期提出的，but was abandoned in favour of _ due to the latter being a more commonly used notation in other languages。

Answer 4

C# 7 中丢弃运算符_ 的另一个示例是在最近添加到C# 7 中的switch 语句中pattern match 类型为object 的变量：

代码：

static void Main(string[] args)
{
    object x = 6.4; 
    switch (x)
    {
        case string _:
            Console.WriteLine("it is string");
            break;
        case double _:
            Console.WriteLine("it is double");
            break;
        case int _:
            Console.WriteLine("it is int");
            break;
        default:
            Console.WriteLine("it is Unknown type");
            break;
    }

    // end of main method
}

此代码将匹配类型并丢弃传递给case ... _的变量。

Answer 5

更多好奇

考虑以下sn-p

static void Main(string[] args)
{
    //....
    int a;
    int b;

    Test(out a, out b);
    Test(out _, out _);    
    //....
}

private static void Test(out int a, out int b)
{
    //...
}

这是正在发生的事情：

...

13:             int  a;
14:             int  b;
15: 
16:             Test(out a, out b);
02340473  lea         ecx,[ebp-40h]  
02340476  lea         edx,[ebp-44h]  
02340479  call        02340040  
0234047E  nop  
    17:             Test(out _, out _);
0234047F  lea         ecx,[ebp-48h]  
02340482  lea         edx,[ebp-4Ch]  
02340485  call        02340040  
0234048A  nop 

...

正如您在幕后看到的那样，这两个电话正在做同样的事情。

正如@Servé Laurijssen 所指出的，很酷的事情是您不必预先声明 变量，如果您对某些值不感兴趣，这很方便。

Answer 6

关于第一个问题

我猜这只是一个信息，而不是 C#7 的新特性，因为我们可以 在 C#7.0 之前的版本中也可以这样做。

var _;
if (Int.TryParse(str, out _))
    // ...

新颖之处在于您不必再在表达式内部或外部声明_，您只需键入

int.TryParse(s, out _);

尝试在 C#7 之前执行此操作：

private void btnDialogOk_Click_1(object sender, RoutedEventArgs e)
{
     DialogResult = int.TryParse(Answer, out _);
}