Каковы преимущества и недостатки вывода типов в C#?

Вывод типа был изобретен именно по той причине, которую вы указали для С++, вы можете создавать анонимные типы, которые НЕ ИМЕЮТ имени типа (см., в частности, Lambdas и Linq).

Так что в таком случае это необходимо.

В другом случае (когда имя типа известно) дело сводится к стилю. Я использую var, когда тип действительно очевиден:

// I like this - less duplication and easier to read
var item = new List<ComplexObjectItem>();

вместо:

List<ComplexObjectItem> item = new List<ComplexObjectItem>();

Потому что это уменьшает дублирование.

Однако я предпочитаю не использовать его, если тип не сразу очевиден для читателя:

// I don't like this - I need to look up what the type is
var item = ResultOfSomeFunctionWhereICantSeeWhatItIs();

Но ваш пробег может отличаться.

Думаю, здравый смысл диктует следующие неформальные правила:

Если есть какое-то длинное имя, например:

Lazy<List<MyNamespace.ISomeVeryLongInterfaceType>> myVar = new Lazy<List<MyNamespace.ISomeVeryLongInterfaceType>>();

затем заменив его на

var myVar = new Lazy<List<MyNamespace.ISomeVeryLongInterfaceType>>();

имеет смысл, потому что вы все еще можете сказать, что это за объект.

Что-то двусмысленное, с другой стороны, может потребовать не использовать var:

Lazy<List<MyNamespace.ISomeVeryLongInterfaceType>> myVar = doProcess();

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

Следует помнить одну вещь: var предназначен только для пользователя, компилятор преобразует его в конкретное представление при компиляции.

Единственным недостатком является использование интерфейсов из класса.

предполагая, что GetCurrentList() возвращает IList<string>:

IEnumerable<string> list = GetCurrentList();

и

var list = GetCurrentList();

не такие, как во втором примере, список будет IList<string>.

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

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

var myClass = new MyClass();

НО

MyClass myClass = RandomFuncThatGetsObject();

Я думаю, что использование var в первом примере не влияет на удобочитаемость, на самом деле это делает его более читаемым, однако использование var во втором примере ДОЛЖНО повлиять на читаемость.

Вывод типа необходим при работе с анонимными типами:

var x = new { Greeting = "Hello", Name = "World" };

Когда вы используете запросы LINQ, вы обычно постоянно используете анонимные типы.

var myVar = obj.GetLazy();

Такой вывод типов, при наличии intellisense, является примерно хорошей идеей или хорошо. Однако, если бы не было intellisense, то я бы не считал это хорошей идеей. Вместо этого это был бы кошмар. Я полагаю, что без intellisense большинству разработчиков это не понравится из-за неудобств, вызванных отсутствием intellisense (и точного типа, и того, и другого).

Однако даже без intellisense было бы хорошо следующее:

var obj = new Lazy<List<MyNamespace.ISomeVeryLongInterfaceType>();

В таких ситуациях выведение типов является облегчением, так как позволяет избежать большого количества ввода и дублирования ввода!

С intellisense или без него я предпочитаю писать:

Lazy<List<MyNamespace.ISomeVeryLongInterfaceType> obj= obj.GetLazy();