7

Изучая Entity Framework натолкнулся на интересную вещь :

Для создания запроса мы можем использовать var :

var phones = db.Phones.Where(p=> p.Company.Name=="Samsung");

либо явно указывая тип запроса ,например :

Phone myphone = db.Phones.Where(p=> p.Company.Name=="Samsung");

что меня натолкнуло на интересный вопрос :

А можно ли при разработке использовать при создании переменных в большинстве случаев var вместо явного указания типа?Если нет, то почему нежелательно?

А теперь наведу несколько примеров ,в которых указаны различия между использованием var явным указанием типов,почему мне кажется что все-таки var в большинстве случаев будет юзабельней и читабельней для разработчиков :

1) Для объявления и дальнейшего использования таких структур как списки и словари(к примеру) которые имеют в себе уже вложенные типы:

Dictionary<Dictionary<String, String>, String> items = new Dictionary<Dictionary<String, String>, String>();

Соответственно через var :

var items = new Dictionary<Dictionary<String, String>, String>();

(Ссылка на вопрос : https://stackoverflow.com/questions/10572693/why-use-var-instead-of-the-class-name)

2) Использование var как итератор при перечислениях в коллекциях :

    class Item {
  public string Name; 
}
foreach ( Item x in col ) {
  Console.WriteLine(x.Name);
}

Код выше - скомпилируется без ошибок ,но при исполнении программы мы получим ошибку приведения типов . Потому что : сам цикл foreach может работать с обоими интерфейсами IEnumerable и IEnumrable<T> . Здесь же результат исполнения имеет тип object и C# компилятор кастит(приводит) это к типу Item . Следовательно , это небезопасно и может привести к ошибке работы программы ,потому что интерфейс IEnumerable может содержать объекты абсолютно любого типа.

Теперь вариант с var :

    foreach ( var x in col ) {
  Console.WriteLine(x.Name);
}

Здесь же тип x будет object если интерфейс IEnumerable и T если используется IEnumerable<T>

(Ссылка на вопрос : https://stackoverflow.com/questions/3425966/what-advantages-does-using-var-have-over-the-explicit-type-in-c)

3) И само собой - использование var при запросах + либо получение объекта с уже определенным типом :

 var l = new List<string>(); // думаю ,очевидно какой тип будет у var
 var s = new SomeClass(); //
 var results = from r in dataContext.SomeTable select r; // Получение выборки из БД(путем LINQ To Enities)

Или запрос через подход LINQ To Objects :

var results = from item in someList
          where item != 3
          select item;

UPD: ну и пример с использованием анонимных типов :

var test = new {Id = 5,Name="Joseph"}

var result = context.MyTable.Select(x=>new {x.Id,x.Name}).ToArray();

(Ссылка на вопрос : https://stackoverflow.com/questions/41479/use-of-var-keyword-in-c-sharp?rq=1)

Краткий вывод из примеров выше : var - достаточно неплохая вещь ,поскольку он строго типизирован + правильное название переменных позволяет ещё и повысить читабельность . Что в суме значительно повышает эффективность кода без ущерба для безопасности

Вопрос в том : есть ли преимущества использования явного указания типов при объявлении переменных перед var?

Я просто новатор в этом деле и хотелось бы услышать мнение опытных людей.Спасибо за конструктивный ответ!

18
  • 2
    Я просто новатор в этом деле :) новатор?
    – tym32167
    13 сен 2017 в 13:34
  • 1
    @EvgeniyZ ну, если говорить о литературе, то есть книга "Инфраструктура программных проектов" (на англ она бесплатная - Framework Design Guidelines) - там описано когда что использовать. Но это все не свод жестких правил, просто рекомендации
    – tym32167
    13 сен 2017 в 13:41
  • 1
    @test123 Как я говорил, есть много за и против, это нескончаемый холивар.
    – tym32167
    13 сен 2017 в 13:42
  • 1
    Возможный дубликат вопроса: var или Имя класса или псевдоним?
    – tym32167
    13 сен 2017 в 14:25
  • 2
    @tym32167 там дубликат о невкусовых предпочтениях. это вопрос - о вкусовых :)
    – user177221
    13 сен 2017 в 16:27

3 ответа 3

9

var - это ключевое слово для компилятора, а не для человека. Хорошее* использвование var - это когда вы хотите сказать компилятору:

Компилятор, тут тип для человека или очевиден из контекста, или вообще неважен. Выведи сам!

Плохое* использование var - тип важен для читающего ваш код, неочевиден из контекста, но вы все равно написали var. Тем самым вы говорите разработчику, читающему ваш код через год:

Вот ты пытаешься починить в моем коде хитрый баг, набрал себе в голову те 5-7 вещей которые можешь удержать. А теперь выбрось их и начни выяснять тип этой переменной!


Стандартное правило:

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

    • тип переменной явно написан в той же строчке: var a = new B()
    • тип переменной неявно написан в той же строчке:

      var some = BFacrory.Create();
      var tasks = dataContext.Tasks;
      
    • тип прямо следует из кода

      foreach (var task in dataContext.Tasks) ...
      
    • и еще куча случаев, которые можно описать как "тип очевиден".

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

  3. Можно писать var, если ваш код не будет читать никто и никогда. Например, если это временный набросок, который никогда-никогда не станет постоянным.

  4. Нельзя писать var во всех остальных случаях.


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

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

* По мнению автора ответа. Почувствуйте себя человеком, который вынужден перестать читать код ради выяснения, что ж это за var^Wзвездочка.

4
  • Ответ дейвствительно очень исчерпывающий ,спасибо !
    – clyde
    13 сен 2017 в 16:21
  • А я дочитал до конца игнорируя звёздочки и никаккого дискомфорта не испытал :)
    – Qwertiy
    13 сен 2017 в 18:50
  • @Qwertiy значит читал невнимательно!
    – user177221
    13 сен 2017 в 19:02
  • Внимательно. Даже обнаружил, что словарь засунули в ключ :)
    – Qwertiy
    13 сен 2017 в 19:09
6

Код должен хорошо читаться. Если var способствует этому - используй его. Если нет - не используй. Всё просто.

Если из-за обилия var ты не понимаешь в какой момент времени какой тип у тебя хранится в той или иной переменной - не используй var. В противном случае - почему бы и нет?

Пример с Dictionary плох тем, что наличие таких generic'ов в проекте - уже само по себе проблема.

17
  • 1
    Код должен не просто хорошо читаться, но быть расширяемым, тестируемым, поддерживаемым, работающим и тд и тп. С таким же успехом можно ответить "Юзай var чтобы сделать лучше, если лучше не получается, не юзай var"
    – tym32167
    13 сен 2017 в 14:01
  • @tym32167 Каким образом синтаксический сахар относится ко всему описанному тобой? Это же не dynamic. А твоя формулировка совершенно правильная. Если var мешает, значит ему здесь не место. Если не мешает - значит, в самый раз. 13 сен 2017 в 14:04
  • @LunarWhisper мне кажется просто при разработке , разраб должен отчетливо понимать какой тип будет получать даный var - ибо проблема определения его типа не должна вообще возникать ,если уж человек осознанно его использует
    – clyde
    13 сен 2017 в 14:09
  • Я просто хочу сказать, что твой ответ очень общий, а аргументы спорные. В каких случаях тебе надо знать все типы всех переменных в коде, что ты читаешь? Если тебе надо понять, что делает функция - то это должно быть ясно из её сигнатуры. Если надо понять как она это делает - это должно быть немного строчек кода, так как функции должны быть короткие. Если надо понять требования к функции - смотри юнит тесты. То есть, по сути, реальных ситуаций, когда надо знать тип переменной во время чтения кода, должно быть мало. А во время написания ты и так должен знать все типы, что используешь
    – tym32167
    13 сен 2017 в 14:09
  • Я потому и говорю, что вопрос холиварный, конкретного ответа на него нет, есть только общий - делай хорошо, не делай плохо.
    – tym32167
    13 сен 2017 в 14:11
2

Правило на самом деле очень простое: код должен легко читаться, пониматься и отлаживаться, как вами, так и вашими последователями. Всё, что служит этому — хорошо и правильно, всё, что препятствует этому — плохо и неправильно.

Когда у вас стоит выбор между явным именем типа или var (при условии, что нет разницы для программы), подумайте, интересен ли читателю в этой точке точный тип, или нет. Если без указания точного типа текст программы не проиграет в ясности, смело пишите var. Не стоит утомлять читателя ненужными подробностями: знание того, что объект имеет тип List<Task<byte[]>>.Enumerator, обычно не нужно. Но если с var читателю придётся угадывать нужный тип, и этот самый конкретный тип важен, укажите его.

В моей практике, чаще всего точный тип неважен: читателю в большинстве случаев всё равно, имеет ли id тип string, int или Id. Но в тех немногих местах, где с id производятся вычисления, точный тип может оказаться важен. Вот в этом-то случае и нужно его указывать явно.

Различение случаев, когда точный тип важен и когда неважен, зависит от вашего опыта (и, возможно, от отзывов коллег).


Да, а ещё есть случаи, когда язык за вас решает, использовать var или указывать тип. Например, для анонимных типов можно использовать только var (вне контекста обращённых методов, конечно).

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

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