3

Если везде использовать auto, это плохо или хорошо?
Конечно чем меньше низкоуровневых конструкций, тем меньше шанс ошибиться, стоит ли оно того?

11
  • 2
    что хорошего, думаю, понятно. А вот минусы вы какие видите? Разве что только увеличение времени компиляции. Хотя, не уверен, что на существенную величину
    – DreamChild
    2 дек 2013 в 10:35
  • 1
    Теоретически, может несколько затруднить чтение текста и рефакторинг.
    – skegg
    2 дек 2013 в 10:36
  • 1
    >Теоретически, может несколько затруднить чтение текста и рефакторинг думаю, современные IDE должны решать эту проблему
    – DreamChild
    2 дек 2013 в 10:37
  • @mikillskegg или наоборот. При сложных структурах данных без auto изменения надо будет вносить в большее количество мест. Даже с учётом того, что сложные структуры в c++ популярностью не пользуются (по крайней мере по сравнению с ML'ями, хаскелом и пр.), оно всё равно может стать доп. источником проблем
    – alexlz
    2 дек 2013 в 10:50
  • 3
    Я в основном пишу на C#, в котором есть слово var (аналог auto), но, думаю, ситуация будет схожа. С какого-то момента я вообще перестал писать так: Foo someFoo = new Foo(); а вместо этого пишу var someFoo = new Foo() поскольку программисту очевидно, что var здесь раскрывается в Foo. Другое дело, если речь идет о таком коде: var someFoo = Another.GetSomething(); поскольку здесь уже не столь все очевидно. Так или иначе, все это дело вкуса, однако наверное очевидно, что std::vector<std::map<int, std::string>>::const_iterator выглядит несколько многословно
    – DreamChild
    2 дек 2013 в 12:46

2 ответа 2

6

В качестве ответа переведу часть заметки Джона Скита о комментарии Эрика Липперта по поводу аналогичной конструкции var в C#:

Любой код есть абстракция. Разве код на самом деле манипулирует данными? Нет. Числами? Нет. Битами? Нет! Уровнями напряжения на различных пинах процессора? Нет! Электронами? Да! Но понимание кода на этом уровне — не самая лучшая мысль. Искусство кодирования — это искусство найти правильный уровень абстракции для задачи и для читателя.

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

...

Неявная типизация локальных переменных — всего лишь один из многих путей снять акцент с того, как вы делаете, и тем самым акцентировать что. Правильно это или нет — определять вам в каждом конкретном случае. Если вы хотите сказать читателям вашего кода, что точный тип переменной важен, и его выбор критичен для последующей работы кода, не пользуйтесь неявной типизацией. Явная типизация говорит читателю: «Смотрите, это работает не просто так, обратите внимание!». Неявная типизация говорит: «В принципе, всё равно, является эта штука на самом деле List<Customer> или Customer[],* важно лишь что это список Customer'ов».


*Это для C#. Аналогом для C++ было бы Customer[] или std::vector<Customer>.

5
  • 1
    Вот это отличный ответ. Хотел бы особо обратить внимание на эту часть цитаты: Если вы хотите сказать читателям вашего кода, что точный тип переменной важен, и его выбор критичен для последующей работы кода, не пользуйтесь неявной типизацией .... А часто программисты просто злоупотребляют auto, пишут код для компилятора, а не для других людей.
    – avp
    2 дек 2013 в 14:16
  • 5
    @avp: Хороший код, как литературное произведение, пишется для читателя и доносит до него какую-то мысль. (В частности, читателем часто бывает сам автор — в будущем.)
    – VladD
    2 дек 2013 в 14:31
  • Самая жесть будет если отключить контроль за типизацией вообще. А-ля void SomeMethod(dynamic parameter1, dynamic parameter2)
    – PaulD
    2 дек 2013 в 15:30
  • 2
    @SoloMio эммм..а как это соотносится с темой вопроса? Особенно учитывая, что речь про С++, где dynamic нет (правда, есть void* но это несколько иное)
    – DreamChild
    2 дек 2013 в 17:29
  • @SoloMio: auto в C++ не означает отказа от жёсткой типизации. Вы не сможете написать auto x = 0.5; x = "abc"; auto — аналог var, а не dynamic.
    – VladD
    2 дек 2013 в 17:30
3

Статья от самого евангелиста: http://herbsutter.com/2013/08/12/gotw-94-solution-aaa-style-almost-always-auto/

Ваш ответ

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

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