Почему C# не видит переменную внутри switch?

Question

[Сергей]

Есть A и B.
Если A=1, то switch делает B=100 и выводит её на экран.
После этого, я хочу ещё разок вызвать переменную B.

Так не работает :-(
    int a=1;
    int b;
    switch(a){
      case 1:
        b=100;
        Console.WriteLine ("изнутри "+b);
        break;
    }
    Console.WriteLine ("снаружи "+b);

А так - работает! :-)

int a=1;
    int b=5;
    switch(a){
      case 1:
        b=100;
        Console.WriteLine ("изнутри "+b);
        break;
    }
    Console.WriteLine ("снаружи "+b);

Как так?

Comments

[Денис Загаевский]

Пока не начнёшь читать ошибки компиляции, хорошим айтишником точно не станешь.

[Владимир Коротенко]

Кстати что за станная ide? Почему она вам не подсказала? Это же даже компилятор показывает

[Сергей]

Денис Загаевский, ошибку я и сам вижу. C# ругается, мол, у переменной b нету значения.
Но как же так? Ведь на 5й строке я сделал ей значение 100.

[Сергей]

Владимир Коротенко, я в repl код пишу. Всё работает, просто хочу разобраться, как так - значение у b есть (присвоил в 5й строке b=100), а C# этого не видит.

[Владимир Коротенко]

Сергей, что за репл и почему вы думаете что какое то косячное поделие лучше компилятора? Вы не думали что просто загрязняется окружение и ваша переменная таки инициализируются?

[Сергей]

Владимир Коротенко,

что за репл

https://repl.it

почему вы думаете что какое то косячное поделие лучше компилятора?

Я не знаю, что такое "косячное поделие". Вы о чём?

Вы не думали что просто загрязняется окружение...?

Я не знаю, чем я могу загрязнить окружение. Не понял просто вашей фразы.

... и ваша переменная таки инициализируются?

Так в том-то и проблема, что она не инициализируется, хотя должна!

[Владимир Коротенко]

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

[Сергей]

Владимир Коротенко, только что использовал компилятор в visual studio.
Пишет "Ошибка CS0165 Использование локальной переменной "b", которой не присвоено значение."

Да вот же значение! Вот же оно! На 5-й строке! Почему он его не видит-то?

int a=1;
    int b;
    switch(a){
      case 1:
      b=100;
        Console.WriteLine ("изнутри "+b);
        break;
    }
    Console.WriteLine ("снаружи "+b);

[Владимир Коротенко]

Сергей, а когда а не равно 1?

[Сергей]

Владимир Коротенко, тогда, конечно, будет ошибка. Это же вызов переменной без значения.
Но сейчас-то у нас a=1. Вроде, всё хорошо.
Погодите, вы хотите сказать, что C# ругается "авансом", видя даже не ошибку, а саму её возможность?

[Денис Загаевский]

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

[Сергей]

Денис Загаевский, проблема в том, что я не понимаю, откуда эта ошибка. Ведь a=1, значит switch запустился и дал b=100. А компилятор ведёт себя так, как будто у b нету значения.
Действительно, сперва значения не было. Но, к моменту вызова переменной, значение уже появилось!
Почему же компилятор ругается?

[Владимир Коротенко]

Сергей, Еще раз!!!!
Вот этот код работает! Компилятор видит то что a не изменится

const int a = 1;
            int b;
            switch (a)
            {
                case 1:
                    b = 100;
                    Console.WriteLine("изнутри " + b);
                    break;
            }
            Console.WriteLine("снаружи " + b);

А это не работает, не компилируется, и если компилируется то это кривая тулза не следующая стандарту

int a = 1;
            int b;
            switch (a)
            {
                case 1:
                    b = 100;
                    Console.WriteLine("изнутри " + b);
                    break;
            }
            Console.WriteLine("снаружи " + b);

[Сергей]

Владимир Коротенко, То есть, то, как написал я, может и работает, но небезопасно и не соответствует стандарту. Отсюда ругательства компилятора. Я верно понял?

[Владимир Коротенко]

Сергей, Еще раз. Ошибка это полный абзац, это вы воду в бак залили. Все вы никуда не едете.
Варнинг это вы залили в свою бэху 60 бензин, типа доедете.

В моих примерах либо инициализация либо прибивание жестко гвоздями значения, поймите это наконец

[Сергей]

Мои действия потенциально опасны. Но компилятор-то выдает не варнинг, он почему-то выдает именно ошибку. Я опять не понимаю :-(
(Ошибка CS0165 Использование локальной переменной "b", которой не присвоено значение.)

Answer 1

[Владимир Коротенко]

Вам четко написали что используется не назначенная переменная. Ткнете по ошибке вас перекинет на нее

int a = 1;
            int b ;
            switch (a)
            {
                case 1:
                    b = 100;
                    Console.WriteLine("изнутри " + b);
                    break;
                default:
                    b = 0;
                    break;
            }
            Console.WriteLine("снаружи " + b);

Comments

[Сергей]

Владимир, а почему же она не назначенная? В строке 53 (на вашей картинке) она обретает значение. Как же так?

[Владимир Коротенко]

Сергей, это может произойти а может и нет. И компилятор вам даёт подсказку

[Сергей]

Владимир Коротенко, да, верно. Но в данном случае, switch сработал и b должна была быть =100. Почему же программа не запустилась?

[Владимир Коротенко]

Сергей, с чего бы это? Компилятор видит переменную, не константу. Так что он прав

[Денис Загаевский]

Сергей, потому ты должен инициализировать переменную на всех путях выполнения.

[Сергей]

Денис Загаевский, то есть, даже, если СЕЙЧАС всё работает, компилятор ругается на саму ВОЗМОЖНОСТЬ СБОЯ?

Верно ли я понял, что, хотя b успешно инициализируется, компилятор предугадывает возможность проблем (например, будет a!=1) и выдаёт ошибку?

[Владимир Коротенко]

Сергей, где работает? Компилятор строит дерево выполнения, и если видит ошибку он репорт из о ней.

[Сергей]

Сергей, где работает? Компилятор строит дерево выполнения, и если видит ошибку он репорт из о ней.

Работает в repl и в visual studio.
Владимир Коротенко, так нету ошибки-то!
Переменная b имеет значение 100!
А компилятор орёт об ошибке.

[Денис Загаевский]

Сергей, это зависит от того, насколько глубоко компилятор делает data flow analysis. В целом он имеет право сказать, что есть теоретическая возможность использования неинициализированной переменной.

[Сергей]

Денис Загаевский, Хм, значит, именно это и произошло в нашем случае?

Answer 2

[Василий Банников]

В первом варианте

int a=1;
    int b; //не инициализировано
    switch(a){
      case 1:
        b=100;
        Console.WriteLine ("изнутри "+b);
        break;
    }//если a != 1, то b всё ещё не инициализировано
    Console.WriteLine ("снаружи "+b); //<-тут ошибка

Как вариант, если не хочется инициализировать b сразу, то можно добавить ветку default в switch:

int a=1;
    int b;
    switch(a){
      case 1:
        b=100;
        Console.WriteLine ("изнутри "+b);
        break;
       default:
         b = -1;
         break;
    }
    Console.WriteLine ("снаружи "+b);

Ещё я бы посоветовал использовать switch-expression из C# 8 - он сразу исключает такой класс ошибок

var a = 1;
var b = a switch {
   1 => 100,
   _ => -1 // Если не добавить эту ветку, то будет ошибка, что switch-expression покрывает не все возможные варианты
};
//b гарантированно инициализировано

Comments

[Сергей]

Просто я хочу разобраться в ситуации, поэтому создал такой пример.
На пятой строчке переменная b обретает значение 100. Почему же Console.WriteLine её не видит?

[Василий Банников]

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

default: throw new InvalidOperationException("out of range");

то компилятор поймёт, что на всех возможных путях выполнения b инициализируется.
И да, компилятор не проверяет, каким значением инициализируется переменная, по тому он не может понять, что единственный путь - через case 1

[Сергей]

Василий Банников,

default: throw new InvalidOperationException("out of range");

- это эдакий "спасательный круг" на случай, если всё совсем плохо, верно?
То есть, этим мы даём компилятору "путь к отступлению", и он теперь спокойно проверяет опасные вещи, не боясь "помереть".
Верно?

[Василий Банников]

Сергей, нет. Он видит throw и исключает такой путь исполнения (тк тогда до Console.WriteLine(b); исполнение не дойдёт) - тогда остаётся единственный путь, по которому b инициализируется. Компилятор не выключает никакие свои проверки

[Сергей]

Василий Банников, ОК. Что же, закончим на этом.
Спасибо вам большое.
Напоследок - где можно прочитать о таких вещах поподробнее, чтобы не плутать в трёх соснах? Что порекомендуете? Сам я ринулся учить C#, дабы помочь школьнику с информатикой. Однако, как вы понимаете, ролик "выучи С# за час" оставляет за бортом некоторые детали :-)

[Василий Банников]

Сергей, хз где учить. Это делается, в основном, на опыте.