Доступ к локальной переменной внутри цикла while #

Question

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

static void Main(string[] args) 
{ 
    int a; 
    int b; 

    bool isAValid = false; 
    bool isBValid = false; 

    while (isAValid == false) 
    { 
     Console.Write("Input number from 2 to 20: "); 
     isAValid = true; 

     a = Convert.ToInt16(Console.ReadLine()); 

     if (a < 2 || a > 20) 
     { 
      isAValid = false; 
     } 
    } 

    while (isBValid == false) 
    { 
     Console.Write("Input number from 2 to 20: "); 
     isBValid = true; 

     b = Convert.ToInt16(Console.ReadLine()); 

     if (b < 2 || b > 20) 
     { 
      isBValid = false; 
     } 
    } 
} 

То, что я пытаюсь сделать, это сохранение пользовательского ввода в в и б соответственно, так что локальная переменная величина определяется как значение пользовательского ввода. Тем не менее, когда я пытаюсь получить доступ к локальной переменной после того, как последний цикл был сломан, я получаю «Использование неназначенной локальной переменной a (или b)».

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

Answer 1

Чтобы исправить ошибку, объявляю:

int a = 0; 
int b = 0; 

Вместо:

int a; 
int b; 

Это будет инициализировать локальные переменные и зафиксирует ваше сообщение об ошибке.

Answer 2

Забавно, что компилятор не может видеть, что петли while всегда вводятся, и a и b всегда инициализируются.

Обновление: Эрик Липперт отметил, что для анализа управления потоком все выражения с переменными считаются возможными истинными или ложными; даже такие выражения, как x*0 == 0.

We видеть, что условие while всегда верно, отчасти потому, что мы знаем этот небольшой логический шаблон для ввода. Мы знаем, что такое цикл. Компилятор нет. Он видит произвольное условие и не может быть обеспокоен тем, что он всегда верен. Он просто считает все выражения с переменными непостоянными.

Один из способов исправить это, чтобы выразить логику программы лучше на языке. Такая картина не является чем-то необычным: «Повторять что-то до тех пор, пока условие не будет удовлетворено». В частности, делают это хотя бы один раз в любом случае. Существует языковая конструкция для всех языков семейства C: цикл do/while. Переписав петлю для a дает

do 
{ 
    Console.Write("Input number from 2 to 20: "); 
    isAValid = true; 

    a = Convert.ToInt16(Console.ReadLine()); 

    if (a < 2 || a > 20) 
    { 
     isAValid = false; 
    } 
} while (isAValid == false); 

Теперь я могу получить доступ к a после цикла; компилятор признает, что назначение будет гарантировано. То же самое должно работать для b.

Это также позволяет нам писать менее загроможденный код. Вспомогательная переменная isAValid необходима только из-за «искусственного» теста, когда первый цикл цикла введен первым. Тест является искусственным, потому что у нас пока нет ввода и, следовательно, он не может ничего проверить. Если мы действительно проверим только после ввода, чтобы тестовые данные были доступны, мы можем поставить тест прямо в состояние.Он сводится к

do 
{ 
    Console.Write("Input number from 2 to 20: "); 
    a = Convert.ToInt16(Console.ReadLine()); 

} while (a < 2 || a > 20);