Компилятор C # считает, что эти переменные должны быть инициализированы

Question

Компилятор C # считает, что эти переменные должны быть инициализированы

1

Вот пример приложения, которое я пишу:

        bool x3k = false, y3k = false;

        // all of these functions return nullable ints (int?)
        var comparison = 
            DoSomething(x, y)
            ?? DoSomething2(x, y)
            ?? DoSomething3(x, y, out x3k, out y3k)
            ?? DoSomething4(x, y)
            ?? DoSomething5(x, y);

        if (comparison.HasValue)
            return comparison.Value;

        if (x3k) // compiler error here if I don't init x3k
        {

        }

Я не понимаю, в цепочке нулевых коалесценций, как x3k может быть неинициализирован, если comparison равно null и я не вернусь раньше. Что здесь происходит?

FMM 24 июнь 2014, в 23:19

Источник

4

Если DoSomething возвращает ненулевое значение, как вообще будет вызываться DoSomething3 ? Если DoSomething3 не вызывается, как инициализируются эти переменные? Нулевое слияние - это короткое замыкание.
Dark Falcon 24 июнь 2014, в 20:30
0

Кроме того, есть явная инициализация в верхней части.
500 - Internal Server Error 24 июнь 2014, в 20:31
5

@ 500-InternalServerError: «если я не инициализирую x3k»
Dark Falcon 24 июнь 2014, в 20:31
0

Ах, пропустил этот бит.
500 - Internal Server Error 24 июнь 2014, в 20:32

Показать ещё 2 комментария

Теги:

c#

2 ответа

Ещё вопросы

Если DoSomething возвращает ненулевое значение, как вообще будет вызываться DoSomething3 ? Если DoSomething3 не вызывается, как инициализируются эти переменные? Нулевое слияние - это короткое замыкание.
Кроме того, есть явная инициализация в верхней части.
@ 500-InternalServerError: «если я не инициализирую x3k»

Cory Nelson · Answer 1 · 2014-06-24T19-06-00.000Z

Вы столкнулись с поведением короткого замыкания: если DoSomething или DoSomething2 возвращают что-то ненулевое, DoSomething3 никогда не будет выполняться, оставив x3k и y3k неинициализированными.

В случае, если DoSomething или DoSomething2 возвращают ненулевые значения, x3k и y3k никогда не будут доступны, так как я возвращаюсь раньше, если есть ненулевое значение.
Компилятор не может предположить, что раньше
Компилятор может проверять конечное число элементов blogs.msdn.com/b/ericlippert/archive/2011/02/24/…
В приведенном выше коде x3k и y3k инициализируются как false.
@ feO2x Обратите внимание на комментарий «ошибка компилятора, если я не инициализирую x3k ».

Ben N · Answer 2 · 2014-06-24T17-56-00.000Z

Ваша программа расширена компилятором следующим образом:

bool x3k;
bool y3k;
var comparison = DoSomething(x, y);
if (!comparison) {
 comparison = DoSomething2(x, y);
 if (!comparison) {
  comparison = DoSomething3(x, y, out x3k, out y3k);
  if (!comparison) {
   comparison = DomeSomething4(x, y);
   if (!comparison) {
    comparison = DoSomething5(x, y);
   }
  }
 }
}
if (comparison.HasValue) return comparison.value;
if (x3k) {/* ... */}

if гнездо будет разбито, как только одна из функций вернет что-то ненулевое. Если DoSomething3 не запускается, x3k не инициализируется. comparison.HasValue будет true как только одна из функций вернется непустой, но компилятор рассматривает это свойство как нечто не определяемое во время компиляции. Поэтому он считает, что comparison может быть нулевым, а x3k не инициализироваться.

Если comparison null , x3k никогда не будет доступен.
Извините, я забыл об этом. Сообщение отредактировано.
Этот ответ объяснил это довольно хорошо для меня.