Компилятор C# должен дать предупреждение, но не делает?

В этом случае компилятор обнаруживает, что s записано, но не прочитано, и намеренно подавляет предупреждение.

Причина в том, что C # - это язык со сборкой мусора, хотите верьте, хотите нет.

Как вы это себе представляете?

Что ж, рассмотрим следующее.

У вас есть программа, которая вызывает метод DoIt (), возвращающий строку. У вас нет исходного кода для DoIt (), но вы хотите проверить в отладчике, каково его возвращаемое значение.

Теперь в вашем конкретном случае вы используете DoIt () для его побочных эффектов, а не для его возвращаемого значения.Итак, вы говорите

DoIt(); // discard the return value

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

И на самом деле управляемый отладчик не имеет возможности «посмотреть на то, что было возвращено предыдущим вызовом метода». Неуправляемый отладчик C ++ имеет эту функцию, потому что он может просматривать регистр EAX, в котором все еще находится отброшенное возвращаемое значение, но у вас нет гарантии в управляемом коде, что возвращенное значение все еще живо, если оно было отброшено.

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

Что делать плохому разработчику C #? Создайте локальную переменную, сохраните результат в локальной переменной, а затем проверьте локальную переменную в отладчике. Отладчик гарантирует, что локальные переменные не будут агрессивно собирать мусор.

Итак, вы делаете это, а затем компилятор выдает предупреждение о том, что у вас есть локальный объект, который только записывается и никогда не читается , потому что то, что выполняет чтение, не является частью программы, это сидит разработчик там смотрит отладчик .Это очень раздражает пользователей! Поэтому мы обнаруживаем ситуацию, когда непостоянное значение присваивается локальной переменной или полю , которое никогда не читается , и подавляем это предупреждение. Если вы измените свой код так, чтобы вместо него было написано string s = "hello"; , вы начнете получать предупреждение, потому что компилятор считает, что это не может быть кто-то, работающий над ограничениями отладчика, потому что значение прямо там , где разработчик может прочитать его уже без отладчика.

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