Е
ну мы и так можем
Size: a a a
2020 March 18
Е
std::tuple_cat
O
std::tuple_cat
Я именно о нём, да
Е
ты хочешь какую-то туплю-итератор завести и туда пихать типы, а sizeof(Args...) уникальный айди получать?
O
ты хочешь какую-то туплю-итератор завести и туда пихать типы, а sizeof(Args...) уникальный айди получать?
Я написал псевдокодом пример и понял, что не могу совместить дефолтный шаблонный параметр и вариадик...
Е
Я написал псевдокодом пример и понял, что не могу совместить дефолтный шаблонный параметр и вариадик...
я не понял как ты собираешься эту туплю хранить, мы алиасы менять можем?
O
я не понял как ты собираешься эту туплю хранить, мы алиасы менять можем?
В самом простом примере, она одна и генерируется однажды, например, так:
А при инстанцировании нам нужно ожидать столько же булевых дефолтных параметров, при вычислении которых мы либо падаем по sfinae из-за отсутствия регистрации типа из tuple под этим индексом, либо успешно идём дальше, пока не упадём под следующим
std::tuple<val<1>, val<2>...>А при инстанцировании нам нужно ожидать столько же булевых дефолтных параметров, при вычислении которых мы либо падаем по sfinae из-за отсутствия регистрации типа из tuple под этим индексом, либо успешно идём дальше, пока не упадём под следующим
O
В самом простом примере, она одна и генерируется однажды, например, так:
А при инстанцировании нам нужно ожидать столько же булевых дефолтных параметров, при вычислении которых мы либо падаем по sfinae из-за отсутствия регистрации типа из tuple под этим индексом, либо успешно идём дальше, пока не упадём под следующим
std::tuple<val<1>, val<2>...>А при инстанцировании нам нужно ожидать столько же булевых дефолтных параметров, при вычислении которых мы либо падаем по sfinae из-за отсутствия регистрации типа из tuple под этим индексом, либо успешно идём дальше, пока не упадём под следующим
Естественно, тип нужно зарегистрировать после падения
Е
В самом простом примере, она одна и генерируется однажды, например, так:
А при инстанцировании нам нужно ожидать столько же булевых дефолтных параметров, при вычислении которых мы либо падаем по sfinae из-за отсутствия регистрации типа из tuple под этим индексом, либо успешно идём дальше, пока не упадём под следующим
std::tuple<val<1>, val<2>...>А при инстанцировании нам нужно ожидать столько же булевых дефолтных параметров, при вычислении которых мы либо падаем по sfinae из-за отсутствия регистрации типа из tuple под этим индексом, либо успешно идём дальше, пока не упадём под следующим
А булевые параметры как генерить?
Е
аааа лупхолы
O
А булевые параметры как генерить?
А вот это уже сложный вопрос...
Е
А вот это уже сложный вопрос...
ну с помощью лупхолов искать последний не инстанцированный параметр
O
аааа лупхолы
Да, да, мы делаем лупхолы на лупхолах!
O
ну с помощью лупхолов искать последний не инстанцированный параметр
Не, это лёгкая часть...
Е
главнео чтоб идея рабочая была
O
Не, это лёгкая часть...
Сложная – синтаксис. Нам нужна последовательность дефолтных параметров, это сложнее чисто синтаксически...
O
Я же спать хотел! Опять?
O
Сложная – синтаксис. Нам нужна последовательность дефолтных параметров, это сложнее чисто синтаксически...
Хм, функцию, может и через
trailing type часть работы сделать?Е
надо хотя-бы псевдокодом алгоритм написать
Е
с синтаксисом в про помогут