🍪 Короткий синтаксис concepts: что компилятор делает с auto?

void foo(Sortable auto x) — это синтаксический сахар. Компилятор разворачивает его в полноценный шаблон с constraint.


⚡️ Трансформация

// Пишешь:
void foo(Sortable auto x);

// Компилятор видит:
template<typename T>
    requires Sortable<T>
void foo(T x);

Каждый auto становится отдельным шаблонным параметром. Если несколько auto — несколько параметров:

void bar(Integral auto a, Floating auto b);

// Превращается в:
template<typename T1, typename T2>
    requires Integral<T1> && Floating<T2>
void bar(T1 a, T2 b);

🔍 Return type

То же самое работает с возвращаемым типом:

Sortable auto get() { return std::vector{1, 2, 3}; }

// Эквивалент:
template<Sortable T>
T get() { return std::vector{1, 2, 3}; }

Компилятор выводит тип возврата и проверяет concept.


💡 Decltype(auto) с concepts

Можно даже:

Sortable decltype(auto) get_ref(auto& container) {
    return container[0];
}

Здесь decltype(auto) сохраняет ссылочность, а Sortable проверяется для полученного типа.


⚠️ Ограничение

Нельзя смешивать в одном объявлении:

// ОШИБКА:
template<typename T>
void foo(Sortable auto x, T y);
// auto создаёт НОВЫЙ шаблонный параметр, конфликт с T

📌 Манглинг

Для компоновщика разницы нет — и короткий, и длинный синтаксис создают одинаковый mangled name. Это чисто синтаксическое удобство.

🔹Курс «Алгоритмы и структуры данных»
🔹 Получить консультацию менеджера
🔹 Сайт Академии 🔹Сайт Proglib

Библиотека C/C++ разработчика

#под_капотом