Эффект авто во время компиляции

Question

Новое ключевое слово auto, которое мы получили на C++ 11, выглядит для меня довольно темплатным, так что мой вопрос: будет ли он выполняться с тем же временем разрастания компиляции, что и шаблоны?

Тот же вопрос относительно полиморфных лямбды:

[](auto val) {...} 

это по существу шаблон лямбда - это повлияет на время компиляции или нет?

Answer 1

auto ключевое слово C++ 11 намного менее тяжело, чем шаблоны - его накладные расходы на компиляцию сопоставимы с sizeof, что означает, что он близок к нулю.

В отличие от шаблонов, где компилятору необходимо выполнить значительную сумму вычислений при расширении (язык шаблонов на C++ завершен Turing), ключевое слово auto требует, чтобы компилятор определял тип выражения, что является чем-то вроде компилятор знает все равно. Фактически, нужно было бы определить тип выражения даже без ключевого слова auto, чтобы решить, нужно ли применять преобразования типов.

Answer 2

Что большинство людей означает «шаблон раздувания» - это миф. Шаблон, созданный дважды, создает no больше кода, чем две отдельные функции, которые обрабатывают те же самые типы. Если вы создадите экземпляр шаблона тысячи раз, вы получите много кода, но если вы напишете тысячи функций, вы получите одинаковый код (см. Diet Templates для некоторых подлинных способов небрежно определяющие шаблоны могут привести к некоторым «bloat».) Шаблоны могут влиять на время компиляции, но это не «раздувание».

auto Ключевое слово не шаблон, он использует те же правила типа дедукции в качестве шаблонов, но если вы пишете auto i = 1; есть только один «конкретизации» т.е. auto имеет только вывести один тип, и он производит точно такой же код как int i = 1; поэтому не может быть раздуваться. Это просто альтернативный синтаксис для объявления переменной. Нулевое раздувание.

Теперь полиморфные лямбды различны, они определяют тип с шаблоном функции члена operator(), поэтому каждый раз, когда вы звоните закупоривающий operator() с различными типами аргументов вы создать еще одну специализацию шаблона функции, но это не имеет ничего к делать с auto, использование auto - это просто синтаксис для объявления шаблона. Если вы назовете это тысячами раз, вы получите много кода, но не больше, чем если бы вы использовали тысячи различных лямбда-выражений для конкретных типов, которые вы используете (вы почти наверняка получаете меньше кода с общей лямбдой, потому что есть только одно закрытие тип так меньше RTTI и имена типов для компилятора для создания и сохранения в памяти.)