3

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

Так же я могу не указывать тип переменной, а предоставить эту возможность компилятору, воспользовавшись ключевым словом var.

var a = 5; // int
var b = 5.0; // double

Но когда я определяю константу - компилятор заставляет меня прописать тип константы в явном виде.

const int c = 5;
const double d = 5.0;

С чем связана такая непоследовательность? Неужели тип константы определить сложнее, чем тип переменной?

2 ответа 2

4

Eric Lippert, ведущий разработчик компилятора C# отвечал на этот вопрос: https://stackoverflow.com/a/2128581/1159507

Если вкратце то var предназначена для упрощения конструкция типа Dictionary<string, List<decimal>> priceTable = new Dictionary<string, List<decimal>>();

var от слова variable - переменная, В то же время ключевое слово const подчеркивает что что значение меняться не может, поэтому ограничение компилятора тот исключительно логическое, чтоб не было нонсенса типа const var.

2
  • 2
    Спасибо, прочитал ссылку. По ней Эрик Липперт отмечает, что const pi = 3.14; вполне нормальное, как он считает, выражение, но в планах реализации таких конструкций нет. 7 апр 2015 в 21:33
  • Как мне кажется первопричиной указанной проблемы является плохой выбор имени для ключевого слова, обозначающего что тип данной переменной будет выведен компилятором автоматически. Подозреваю, что какое-то влияние оказал синтаксис JavaScript (что может быть более привычно для тех кто знает JS, но неверно по смыслу). Мне лично больше понравилось auto из C++ по моему более точно отражает смысл и не приводит к казусам вроде "const var"
    – Rusted
    30 дек 2016 в 15:42
3

Он может. Но, во первых, будет несколько сложнее указать, что нужна именно константа. Как это сделать?

var const b = 5.0

Выглядит коряво.

Можно, конечно, анализировать, имзеняется ли данная переменная и добавлять константность автоматом:

var b1 = 42;
// b1 нигде больше ни используется, поэтому b1 - это константа!

var b2 = 42;

// Где-то в блоке ниже! Ага, b2 - не константа! Это переменная!
b2 = 36;

Но насколько это хорошо, когда тип переменной и ее поведение зависит от места использования? Другими словами, сделать-то это дело можно, но вот будет ли в этом смысл уверенности нет!

К тому же, константы очень легко переносятся из локальных переменных метода в поля, и тут сразу же появляется другая проблема: а не добавить ли неявную типизацию в поля? А это открывает еще пару ящиков Пандорры с котами Шредингера (туц, если интересно).

UPDATE: Почему компилятор C# не может вывести тип лямбда-выраженя? (выношу ответ из комментария).

Компилятор C# не может вывести тип лямбды:

var foo = () => 42;

Не из-за ограничений параметрическим полиморфизмом:) Лямбды могут быть преобразованы к Func<T> или к Expression<Func<T>> и компилятор C# не знает, какой тип треубется пользователю.

Вот пример успешного вывода типов:

var foo = (Func<int>)(() => 42);

UPDATE 2: Почему плохо const b = 5.0? В комментариях был задан вопрос, а почему бы не использовать const b = 5.0? Ничего плохого в этом нет, но можно представить ответ команды разработчиков C# на предложение добавить эту возможность.

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

class Foo
{
  const boo = -42;
  public Foo()
  {
    const foo = 42;
  }
}

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

Нет никаких проблем добавить вывод типов и для полей (некоторые размышления от Липперта тут), но, получается что маленькая возможность "добавить вывод типов для констант" разрастается в достаточно большую фичу, которая затрагивает слишком много других областей.

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

9
  • 2
    Чем плоха конструкция? const b = 5.0 7 апр 2015 в 21:31
  • Ничем. Но теперь у нас появляется два способа объявления неявных переменных. Что тоже будет непоследовательным:) 7 апр 2015 в 21:59
  • Где в моём примере Вы увидели объявление переменных? 7 апр 2015 в 22:00
  • Ок. Речь идет о выводе типов. Перефразирую: Но теперь у нас появится два синтаксиса для вывода типов разных конструкций, что тоже будет непоследовтаельным. 7 апр 2015 в 22:01
  • Я, не понял фразу про несколько синтаксисов вывода типов. Можно пару примеров, разных синтаксисов? Пока я вижу, что компилятор C# легко разбирается с выводом типов переменных, но не справляется с выводом типов констант. Лично мне этот факт кажется непоследовательным. Ну я могу ещё понять, почему он тип лямбды не может определить - параметрический полимформизм это несколько сложно. Но почему частный случай переменной (константа присваивается в момент объявления и не изменяется) - для него сложно? (я знаю, что константа "инлайнится" при компиляции) 7 апр 2015 в 22:08

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.