Блог

#c#

#c#

Вопрос:

 if (true) return;
{
    ... // Unreachable code detected
}
  

 if (true) 
    return;
else
{
    ...; // Unreachable code detected.
}
  

 if (condition) 
{
    ...
}
{
    ...
}
  

Комментарии:

1. Ваш последний пример НЕ является ошибкой компиляции. Ваши первые два примера также не эквивалентны.

2. Если вы не можете даже потрудиться протестировать код, который, как вы утверждаете, приведет к ошибкам компилятора, не задавайте вопрос.

3. отредактировал вопрос, чтобы он был (более) конструктивным, и проголосовал за повторное открытие.

4. Я думаю, что OP необходимо отредактировать вопрос, потому что я не уверен, что вы правильно угадали, о чем он спрашивал, в целом; Я думаю, что он также спрашивал, почему «недоступный код» будет компилироваться.

Ответ №1:

 if(condition)
{
    code A

    return;
}

code B
  

 if(condition)
{
    code A

    return;
}
else
{
    code B
}
  

 code A

{
    code B
}
  

 code A

{
    int foo = 10;

    code B
}

int bar = foo; // compiler error, as foo is not a variable within this scope
  

 {
    int foo = 10;

    code A
}
{
    string foo = "bar";

    code B
}
  

Комментарии:

1. А? В вашем первом примере код B достижим, независимо от того, что condition решает. Во втором примере код B недоступен, если condition имеет значение staticly false. Итак, в моем примере компилятор предполагает else , иначе для начала не было бы предупреждения о недоступности кода.

2. @InBetween: Нет, это не так. Если condition имеет значение true, то code A будет выполнено, и функция вернется.

3. @AdamRobinson — Я прокомментирую отрицательный отзыв, они глупы, за то, что дали вам отрицательный отзыв о правильном заключении.

4. Я не сторонник снижения. Но оператору (совершенно очевидно) интересно, что { block of code; } означает одинокий (т. Е. С помощью if или else). Этот ответ не распознает это, не говоря уже о том, чтобы обратиться к нему

5. @sehe: Судя по его комментариям, он задавал оба вопроса. Я отредактировал свой ответ, чтобы решить и это (я обратился к нему в комментариях к другому ответу). Спасибо!

Ответ №2:

 {
    Console.WriteLine(a);
    {
        a = 6;
    }
}
{
    Console.WriteLine(a);
}
  

Комментарии:

1. Это был бы хороший комментарий. Вероятно, это вся путаница, возникшая в OP

2. Я просто пишу это по частям. Это больше, чем это. 😉

3. @sehe: Это отвечает на вопрос OP; почему это было бы лучше в качестве комментария?

4. @AdamRobinson: главным образом потому, что вопрос был уже закрыт до того, как ответ вырос в пример 🙂 Так что да, я думаю, что любые ответы здесь, скорее всего, были бы хорошими комментариями. Вопрос как таковой был просто некорректным и неконструктивным.

5. @sehe: Кроме того, я только что назначил его для повторного открытия. Я не вижу ничего плохого в этом вопросе.

Ответ №3:

 if (true) return;
{
    ... // Unreachable code detected. WTF?
}
  

 if (true) 
    return;   
 ... // Unreachable code 
  

Ответ №4:

 if (true) return;
// whatever is after the previous statement will never be executed
// because the previous statement will always return
{
    // this is not automatically added to the "else" part of the previous if
    // this is just a code block with additional braces, which are not 
    // required but valid.
}
  

Ответ №5:

Комментарии:

1. ну, ваш ответ верен, но что он отвечает?

2. @sehe Я, вероятно, не понимаю вопроса, но я понял это так, что InBetween оспаривал тот факт, что блок кода после return был недоступен. Как я должен был интерпретировать вопрос?

3. внимательное чтение фрагментов # 1 и # 2 покажет, что OP думал, что ‘голый блок ( {} )’ является незаконным синтаксисом. Следовательно, он спросил о ‘ почему компилятор принимает else ‘

4. @sehe Спасибо, но я все еще не понимаю. Похоже, это один из тех вопросов, который требует небольшого чтения мыслей. Или, возможно, я просто туп сегодня. Неважно!!

Ответ №6:

Комментарии:

1. Э, какие правила нарушает третий пример? Это законный код C #.

2. Но почему первый пример не нарушает правила. Заключенный в квадратные скобки блок фактически является else предложением if инструкции, но без else инструкции.

3. @InBetween: это фактически else блок. Это не фактически else блок.

4. @InBetween: Вы действительно пытались его скомпилировать? Вы можете создавать произвольно глубокие блоки кода с фигурными скобками. Нет необходимости, чтобы они были связаны с ключевым словом потока управления, таким как if , else , for и т.д.

Ответ №7: