Ответ.

История вопроса: Термин "синтаксический сахар" предложил ПитерЛандин в 1960-х годах. В C++ с самого начала были заложены конструкции-обёртки, которые упрощают написание и восприятие кода, не добавляя новых возможностей по сравнению с тем, что можно выразить более подробным базовым синтаксисом.

Проблема: Главная задача синтаксического сахара — сделать код более кратким, выразительным и читаемым, уменьшить вероятность ошибок и ускорить разработку. С другой стороны, чрезмерное усложнение синтаксиса приводит к путанице и скрытым проблемам в производительности или понимании кода.

Решение: В C++ к синтаксическому сахару относят множество конструкций, которые, по сути, являются обёртками над более базовыми элементами языка. Примеры: операторные перегрузки, range-based for, инициализационные списки, auto, лямбда-выражения.

Пример кода:

std::vector<int> v = {1, 2, 3, 4};
for (auto x : v) {
    std::cout << x << std::endl;
} 
// Эквивалентно (без сахара):
for (std::vector<int>::iterator it = v.begin(); it != v.end(); ++it) {
    std::cout << *it << std::endl;
}

Ключевые особенности:

Range-based for, auto, инициализационные списки, инициализация {} — примеры синтаксического сахара.
Обычно не меняют производительность, но делают код компактнее и удобнее.
Не всегда очевидно, что делает компилятор "под капотом".

Вопросы с подвохом.

Заменяет ли auto типизацию на этапе компиляции, и есть ли оверхед при его использовании?

Нет, auto полностью выводится на этапе компиляции, без потерь скорости, если правильно использован. Ошибки возникают только если по невнимательности auto не тот тип, что ожидали.

Является ли for (auto x : v) всегда самым быстрым способом обхода контейнера?

Нет. Такой синтаксис может копировать элементы (если не указан &), что приведёт к потере производительности на больших объектах. Для избежания этого рекомендуется использовать ссылку:

for (auto& x : v) { ... }

Перегрузка операторов всегда делает код понятнее?

Нет! Перегрузку операторов можно использовать и во вред — если операторы перегружаются несемантично (например, перегрузить operator+ так, чтобы он удалял элементы), код становится запутаннее.

Типовые ошибки и анти-паттерны

Использование auto там, где тип неоднозначен
Неиспользование ссылок в range-based for
Перегрузка операторов вне очевидной семантики

Пример из жизни

Негативный кейс

Использование auto без учёта типа возвращаемого функцией-итератором:

std::vector<std::pair<int, int>> data;
for (auto x : data) { x.first = 0; } // Модификация не произойдёт, потому что копия

Плюсы:

Синтаксис краткий и современный

Минусы:

Работа не по ссылке, изменения не останутся

Позитивный кейс

for (auto& x : data) { x.first = 0; } // Теперь модификация эффективна