­auto в (не)опытных руках

По мотивам сообщений от DrOffset и Убежденный хотелось бы послушать контра-версии использования ключевого слова auto из C++11. В каких же случаях это действительно плохо?

0

0

Вот читаю презенташки с CPPCon14, Герб Саттер тоже всемерно агитирует за auto во все поля. Если интересно, а презенташку читать лень, могу вкратце пересказать его аргументацию.

0

Nick Alte, если там есть что-то, кроме очевидного аргумента - оптимизация с помощью избавления от ненужного автоматического приведения, то было бы интересно услышать.

0

Пересказываю своими словами с сильными сокращениями.

Итак, о чём нам говорит товарищ Саттер в отношении auto: пользуйтесь им всегда (почти, об исключениях из этого правила в конце). Если надо явно зафиксировать тип (а это почти всегда означает необходимость преобразования), приводите к нему инициализирующее выражение (то же, про что говорил Майерс).

Сначала соображение без нумерации. Нам не так уж и нужны типы: при наличии осмысленных имён переменных и методов и так понятно, о чём речь. Нас не особо смущает то, что типы сущностей, с которыми мы оперируем, нам неизвестны, когда мы работаем с шаблонами, временными значениями, виртуальными функциями, function<> и так далее.
Пример: что делает эта функция?Теперь нумерованные соображения.

1) Корректность типов. Мы гарантированно имеем нужный тип без нужны разбираться, например, нужен ли нам vector::iterator или vector::const_iterator.
2) Корректность + поддерживаемость: изменение типа распространяется по коду самостоятельно, в то время как явное указание типа может привести, например, к производимым втихаря преобразованиям.
3) Производительность: гарантируется отсутствие неявных преобразований.
4) Удобство при использовании с непроизносимыми или трудновыговариваемыми типами: лямбды, bind, параметры шаблонов и сложные шаблонные выражения. Заодно это спасает нас от использования decltype и дорогостоящего function.
5) Лёгкость: с auto надо печатать меньше букафф.
6) Стиль: выдерживается общий стиль "слева-направо", аналогичный с using-декларациями (которые вместо typedef):
category name = type and/or initializer

Исключениями, когда нельзя использовать такой стиль, является конструирование типов, которые нельзя перемещать (или если перемещение дорогое, а компилятор не умеет делать copy elision), например lock_guard или atomic.
Исключениями не являются:
- "голые" initializer_list (список значений в фигурных скобках отлично зальётся в auto);
- прокси-типы - либо их безопасно можно сохранять в auto, либо можно использовать явное приведение;
- многословные имена, вроде long long или class X: можно обойтись одним словом, int64_t или просто X.

Напоследок тем, кто переехал на C++14, всячески рекомендуется использовать auto и в качестве возвращаемого типа мелких функций, расположенных в заголовках: однострочников, обёрток, вот это всё.

3

0

0

0