C # 7: подчеркивание (_) и звезда (*) в переменной Out

Я читал о новых функциях переменных в C # 7 здесь . У меня два вопроса:

1. Это говорит

   Мы также разрешаем "отбрасывать" как параметры out в форме a _, чтобы вы могли игнорировать параметры, которые вам не нужны:

   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 *);
   

   *не является допустимым идентификатором. Я полагаю, это недосмотр Мадса Торгерсена?

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

Наконец, эта *нотация была предложена на ранних этапах обсуждения отбрасывания, но от_ нее отказались в пользу того, что последняя является более широко используемой нотацией в других языках .

Другой пример оператора Discard _в C # 7 - сопоставление с шаблоном переменной типа objectв switchоператоре, который недавно был добавлен в C # 7:

Код:

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 ... _.

Для более любопытных

Рассмотрим следующий фрагмент

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, круто то, что вам не нужно предварительно объявлять переменные, что удобно, если вас не интересуют некоторые значения.

По поводу первого вопроса

Я предполагаю, что это всего лишь информация, а не новая функция 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 _);
}

В C # 7.0 (Visual Studio 2017 примерно в марте 2017 г.) сбросы поддерживаются в назначениях в следующих контекстах:

• Деконструкция кортежей и объектов.
• Сопоставление с образцом с помощью is и switch .
• Вызов методов без параметров.
• Автономный _, когда в области нет _.

Другие полезные заметки

• сброс может уменьшить выделение памяти. Поскольку они проясняют цель вашего кода, они улучшают его читабельность и ремонтопригодность.
• Обратите внимание, что _ также является допустимым идентификатором. При использовании вне поддерживаемого контекста

Простой пример: здесь мы не хотим использовать 1-й и 2-й параметры, а нам нужен только 3-й параметр.

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

Расширенный пример в корпусе переключателя, который также использовал современное сопоставление шаблонов корпуса переключателя ( источник )

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;

}

В: ... мы можем сделать это и в версии до 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)
{
   //...
}