Блог

Используя эту конструкцию:

 var dict = new Dictionary<int, string>();
var result = (dict?.TryGetValue(1, out var value) ?? false) ? value : "Default";
  

Я получаю сообщение об ошибке, CS0165 use of unassigned local variable 'value' которое не соответствует моим ожиданиям. Как value может быть неопределенным? Если словарь равен null, то будет возвращен внутренний оператор, false который заставит внешний оператор принять значение false, возвращая Default .

Чего я здесь не понимаю? Это просто компилятор не может полностью оценить инструкцию? Или я что-то перепутал?

Ваш анализ верен. Это не анализ, выполняемый компилятором, потому что компилятор выполняет анализ, который требуется спецификацией C #. Этот анализ заключается в следующем:

• Если условие condition?consequence:alternative выражения является константой времени компиляции true , то альтернативная ветвь недоступна; если false , то последующая ветвь недоступна; в противном случае доступны обе ветви.

• Условие в этом случае не является константой, поэтому и следствие, и альтернатива достижимы.

• локальная переменная value определенно назначается только в том случае, dict если она не равна null, и, следовательно, value не назначается определенно при достижении результата.

• Но следствие требует, чтобы value было определенно назначено

• Так что это ошибка.

Компилятор не такой умный, как вы, но это точная реализация спецификации C #. (Обратите внимание, что я не описал здесь дополнительные специальные правила для этой ситуации, которые включают предикаты типа «определенно назначается после истинного выражения» и так далее. Подробности см. в спецификации C #.)

Кстати, компилятор C # 2.0 был слишком умен. Например, если бы у вас было условие типа 0 * x == 0 для некоторого int local x , это вывело бы «это условие всегда истинно, независимо от того, каково значение x » и пометило бы альтернативную ветвь как недоступную. Этот анализ был правильным в том смысле, что он соответствовал реальному миру, но он был неправильным в том смысле, что в спецификации C # ясно сказано, что вычет должен производиться только для констант времени компиляции, и столь же ясно сказано, что выражения, включающие переменные, не являются постоянными.

Помните, цель этой вещи — найти ошибки, и что более вероятно? Кто-то написал, 0 * x == 0 ? foo : bar намереваясь, что это имеет значение «всегда foo «, или что они случайно написали ошибку? Я исправил ошибку в компиляторе, и с тех пор он строго соответствует спецификации.

В вашем случае ошибки нет, но код слишком сложен для анализа компилятором, поэтому, вероятно, также слишком сложно ожидать, что люди будут анализировать. Посмотрим, сможете ли вы это упростить. Что я мог бы сделать, так это:

 public static V GetValueOrDefault<K, V>(
  this Dictionary<K, V> d,
  K key,
  V defaultValue)
{
    if (d != null amp;amp; d.TryGetValue(key, out var value))
      return value;
    return defaultValue;
}
…
var result = dict.GetValueOrDefault(1, "Default");
  

Целью должно быть сделать сайт вызова читаемым; Я думаю, что мой сайт вызова значительно более читабелен, чем ваш.

Это просто компилятор не может полностью оценить инструкцию?

Да, более или менее.

Компилятор не отслеживает неназначенные, он отслеживает противоположные «определенно назначенные». Он должен где-то остановиться, в этом случае ему нужно было бы включить знания о библиотечном методе TryGetValue() . Это не так.