Новая семантика ... , частичные CTAD, неименованные локалы и т.д.

[kelbon]

Увидел пропозал в С++26 на auto _ которое бы заменялось на [[maybe_unused]] auto x и сгорело немного

Кажется существуют способы гораздо лучше с точки зрения языка, которые решают сразу несколько проблем, моё предложение решает проблемы:

• множества make* функций
• неименованных локалов(которые хочется не именовать)
• structured binding и рефлексия на его основе
• более удобное метапрограммирование и новые возможности в нём(понятные и логичные)
• решение проблемы "как написать универсальное is_specialization_of"
• и т.д.

Итак, первая часть пропозала:

auto [...args] = x;          // структурная привязка в вариадик
auto [a, b, ...args] = x;  // два первых аргумента обычные, остальные вариадик
auto [a, ...] = x;            // первый аргумент обычный, остальные НЕИМЕНОВАННЫЙ вариадик
auto [..., a] = x;            // выделение последнего и неименованный вариадик в начале
auto [a, ..., b] = x;        // и даже так, если tuple_size_v < 2, то программа ill formed
// это можно также использовать для создания неименованных переменных
// std::get для lock_guard возвращает *this чтобы это было возможно
auto [...] = std::lock_guard(mtx);
// std::scoped_lock это буквально логический тупл локов
auto [...] = std::scoped_lock(mtxs...);

Вторая часть пропозала:

В контексте декларации шаблонных аргументов ... X будет означать пак любых аргуменов, например здесь Args это пак ЛЮБЫХ аргументов, не только типов

template<... Args>

Это позволяет сделать следующее

template<typename>
struct is_specialization : std::false_type {};

template<...Args, template<...> typename Template>
struct is_specialization<Template<Args...>> : std::true_type {};

Контекст декларации аргументов функции

// это шаблон функции с неименованным паком аргументов аналогично тому как работает void foo(auto);
void foo(vector<int, ...>); 
// эквивалентно этому переписанному коду(если бы были аргументы не типы у шаблона, то добавило бы их тоже)
template<typename... Args>
void foo(vector<int, Args...>)

// Аналогично для
void foo(vector<...>);         // неименованный пак
void foo(vector<... Args>); // именованный пак
template<typename Alloc>
void foo(vector<int, Alloc, ...>); // тоже работает, сейчас на гцц такое поведение поддержано

void foo(vector<..., int, ...>); // ошибка компиляции
void foo(vector<...> v, unique_ptr<...>); // работает

Контекст передачи шаблонных шаблонных аргументов Template<Type, ...> - алиас на Template с requires что первый тип same_as Пример:

view | to<vector<int, ...>> // переписывается в то что ниже

template<same_as<int> T, ... Args> // all args, not just types
using __alias_vector = vector<T, Args...>;
view | to<vector<int, ...>>

Контекст вывода типов переменных (CTAD)

// применяет частичный CTAD с переданным пользователем типом int
vector<int, ...> x = vector<float, myaloc>();
// выполняет полный CTAD
vector<...> x = vector<int>();

Механизм работы частичного CTAD: У компилятора имеются дедакт гайды, в некоторых из них типы СПРАВА undeductible, в этом случае это называется частичный дедакт гайд(сейчас это запрещено) При передаче пользователем части аргументов компилятор подставляет их и некоторые из частичных дедакт гайдов становятся полными, после этого компилятор делает обычный CTAD как сейчас(это похоже на C++20 фичу с дедакт гайдом из алиасов, просто фактически как и выше Template<Args, ...> создаёт алиас по которому компилятор выводит полный тип)

Пример:

// это частичный дедакт гайд
// компилятор видит что тип U в типе справа невыводим, но когда пользователь сам передаёт тип U
// компилятор имеет всю информацию чтобы вывести тип
template<typename T, typename U, typename Alloc>
vector(vector<T, Alloc>) -> vector<U, Alloc>;

// использование. Компилятор видит слева int, подставляет в дедакт гайд,
// остаётся вывести аллокатор, дедакт гайд подсказывает, что он my_alloc
vector<int, ...> v = vector<float, my_alloc>{};

Этот частичный дедакт гайд также можно переписать с помощью пропозала короче

template<typename Alloc>
vector(vector<..., Alloc>) -> vector<..., Alloc>;  // использованы два неименованных пака, разных

[apolukhin]

Первую часть скоро примут в стандарт в https://wg21.link/P1061

Вторая часть весьма противоречива и требует прототипа. Если напишите - будет круто, а без него - идея обречена на провал

[kelbon]

Первую часть скоро примут в стандарт в https://wg21.link/P1061

Вторая часть весьма противоречива и требует прототипа. Если напишите - будет круто, а без него - идея обречена на провал

отлично, хорошо что ещё добавили для index_sequence раскрытие, (тут я об этом не писал, но в других местах при обсуждении этой фичи упоминал не раз) А где посмотреть на статус, как определить, что "скоро примут"?)