имеет ли `const auto` какое-либо значение?

Думаю, вопрос достаточно ясен. Будет ли autoключевое слово автоматически определять константу или всегда возвращать неконстантный тип, даже если есть, например. две версии функции (одна возвращает, constа другая - нет).

Для протокола: я использую const auto end = some_container.end()перед циклами for, но не знаю, необходимо ли это или даже отличается от обычного auto.

Может быть , вы путаете const_iteratorи const iterator. Первый выполняет итерацию по элементам const, второй не может выполнять итерацию вообще, потому что вы не можете использовать operators++ и - на нем.

Обратите внимание, что вы очень редко выполняете итерацию из container.end(). Обычно вы будете использовать:

const auto end = container.end();
for (auto i = container.begin(); i != end; ++i) { ... }

const auto x = expr;

отличается от

auto x = expr;

в виде

const X x = expr;

отличается от

X x = expr;

Так что используйте const autoи const auto&много, как если бы у вас не было auto.

На разрешение перегрузки не влияет тип возвращаемого значения: constили отсутствие constв lvalue xне влияет на то, какие функции вызываются expr.

Предположим, у вас есть два шаблона:

template<class U> void f1( U& u );       // 1
template<class U> void f2( const U& u ); // 2

autoвыведет тип и переменная будет иметь тот же тип, что и параметр u(как в // 1случае), const autoсделает переменную того же типа, что и параметр uв // 2случае. Так const autoчто просто форсируйте constквалификатор.

Компилятор определяет тип автоматического квалификатора. Если выведенная тип some_type, const autoбудет преобразован const some_type. Однако хороший компилятор изучит всю область autoпеременной и найдет, изменилось ли ее значение где-нибудь. Если нет, то компилятор сам выведет такой тип: auto-> const some_type. Я пробовал это в Visual Studio Express 2012, и производимый машинный код одинаков в обоих случаях, я не уверен, что каждый компилятор будет делать это. Но это хорошая практика по const autoтрем причинам:

• Предотвращение ошибок кодирования. Вы намеревались, чтобы эта переменная не изменялась, но каким-то образом где-то в области ее действия она изменилась.
• Читаемость кода улучшена.
• Вы помогаете компилятору, если он по какой-то причине не выводит constдля auto.