Прочитал в книге Гриффитса по C# 8.0, что компилятор не всегда может выдать ошибку Unassigned variable на этапе компиляции. Это справедливо только для C# или со всеми языковыми компиляторами так?
Это общий принцип. Есть проблема остановки – невозможно выяснить завершится конкретная программа или будет работать бесконечно. Такого алгоритма не существует.
Если нет способа решить проблему остановки, то нет способа сказать уверенно "этот оператор обязательно будет выполнен". Иногда компилятор может ответить, но не во всех случаях.
Берём код:
int a;
// сложный код - циклы, условия, вычисления
a = 1; // нет алгоритма, который во всех ситуациях определит
// будет ли выполнен этот оператор или нет
// сложный код - циклы, условия, вычисления
var b = a;
Компилятор не может уверенно утверждать будет a до момента использования инициализирована или нет.
Насколько я понимаю C#, ситуация прямо противоположна тому, что вы описываете. Если какая-либо переменная не инициализирована, но используется, компилятор C# обязательно выдаст ошибку компиляции. А вот обратные ситуации возможны: компилятор не всегда может понять, что переменная гарантировано будет инициализирована, и может выдать ложную ошибку, заставляя вас проводить ненужную инициализацию.
int n;
if (k * 0 == 0)
n = 0;
Console.WriteLine(n);
В других языках это не так. Например, C++ считает инициализацию переменных ответственностью программиста, использование неинициализированных переменных не контролирует, и считает неопределённым поведением (UB). При этом, в качестве прикола, если он таки может доказать, что переменная неинициализирована, он может вовсе уничтожить соптимизировать код в ничто.
int definietly_UB()
{
int n;
return n;
}
Тут компилятор не предупреждает об использовании неинициализированной переменной, а просто молча производит бессмысленный компилят.
Особенно интересен второй пример:
int conditional_UB(int k)
{
int n;
if (k == 10)
n = 7;
return n;
}
Тут компилятор пользуется привилегией считать, что неинциализированных переменных не бывает, и без тени сомнения выдаёт компилят:
mov eax, 7
ret
Таким образом, разные языки подходят к неинициализированным переменным по-разному.