Лямбда, присваивающая локальные переменные

Мой вопрос: в соответствии со стандартом С#, должен ли этот код компилироваться или это ошибка компилятора?

Это не ошибка.

Раздел 5.3.3.29 Спецификации языка C# (4.0) описывает определенные правила присваивания для анонимных функций. , включая лямбда-выражения. Я опубликую это здесь.

5.3.3.29 Анонимные функции

Для выражения лямбда-выражения или выражения анонимного метода с телом (либо блоком, либо выражением): body:

• Определенное состояние присваивания внешней переменной v перед телом совпадает с состоянием v перед expr. То есть определенное состояние присваивания внешних переменных наследуется из контекста анонимной функции.

• Состояние определенного присваивания внешней переменной v после expr такое же, как и состояние v до expr.

Пример

delegate bool Filter(int i);

void F() {
    int max;

    // Error, max is not definitely assigned    
    Filter f = (int n) => n < max;

    max = 5;    
    DoWork(f); 
}

генерирует ошибку времени компиляции, так как max не назначен определенно там, где объявлена ​​анонимная функция. Пример

delegate void D();

void F() {    
    int n;    
    D d = () => { n = 1; };

    d();

    // Error, n is not definitely assigned
    Console.WriteLine(n); 
}

также генерирует ошибку времени компиляции, поскольку присваивание n в анонимной функции не влияет на определенное состояние присваивания n вне анонимной функции.

Вы можете увидеть, как это относится к вашему конкретному примеру. Переменная test не назначается специально до объявления лямбда-выражения. Он не назначается специально перед выполнением лямбда-выражения. И специально не присваивается после завершения выполнения лямбда-выражения. По правилу компилятор не считает переменную однозначно назначенной в момент ее чтения в операторе if.

Что касается почему, я могу повторить только то, что читал по этому поводу, и только то, что я могу вспомнить, поскольку я не могу дать ссылку, но C# не пытается этого сделать, потому что, хотя это тривиальный случай, который можно увидеть глазом , гораздо чаще бывает так, что этот тип анализа будет нетривиальным и действительно может привести к решению проблемы остановки. Поэтому C# «сохраняет простоту» и требует, чтобы вы играли по гораздо более легко применимым и разрешимым правилам.

Вы используете неназначенную переменную. Несмотря на то, что переменная фактически назначена, компилятор не может сделать вывод об этом из кода, который вы опубликовали.

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

Когда компилятор выполняет анализ потока управления методов, чтобы определить, является ли переменная определенно назначенной, он будет смотреть только в рамках текущего метода. Эрик Липперт обсуждает это в этот пост в блоге. Теоретически компилятор может анализировать методы, вызываемые из «текущего метода», чтобы выяснить, когда переменная определенно назначена.

Как я упоминал ранее, мы могли бы проводить межпроцедурный анализ, но на практике это очень быстро приводит к путанице. Представьте себе сотню взаимно рекурсивных методов, которые все входят в бесконечный цикл, выбрасывают или вызывают другой метод в группе. Разработка компилятора, который может логически вывести достижимость из сложной топологии вызовов, выполнима, но требует много работы. Кроме того, межпроцедурный анализ работает, только если у вас есть исходный код процедур; что, если один из этих методов находится в сборке, а нам нужно работать только с метаданными?

Имейте в виду, что ваш пример кода не является единственным методом. Анонимный метод будет преобразован в другой класс, будет создан его экземпляр, и он будет вызывать метод, похожий на ваше определение. Кроме того, компилятору потребуется проанализировать определение класса delegate, а также определение класса Action, чтобы понять, действительно ли был выполнен указанный вами метод.

Таким образом, хотя теоретически компилятор может знать, что переменная достижима в этом контексте, авторы компилятора сознательно предпочитают не делать этого как из-за сложности написания компилятора для нее, так и из-за (потенциально значительного) увеличения время, необходимое для компиляции программ.

Фрагмент из раздела 8.3 «Переменные и параметры» стандарта ECMA:

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

class Test
{
    static void Main() {
    int a;
    int b = 1;
    int c = a + b; // error, a not yet assigned

    }
}

приводит к ошибке времени компиляции, поскольку она пытается использовать переменную a до того, как ей будет присвоено значение. Правила, управляющие определенным назначением, определены в §12.3.

Поэтому в нем говорится, что переменная должна быть назначена до ее использования, иначе это приведет к ошибке компилятора. Поскольку вы создаете делегат и вызываете его, метод, содержащийся в вызове делегата, технически неизвестен. Поэтому компилятор не будет в этом разбираться. Помните, что вызывается метод Delegate Invoke, а не фактический метод.

Стандарт ECMA для C#