CD
Я не хочу операции над дескрипторами в виде таких же но не над дескрипторами
это не делается без компилер саппорта
Size: a a a
2020 October 24
CD
операция не может вернуть больше, чем её результат
CD
Потомучто оно не складывает дескрипторы
оно именно что складывает дескрипторы
CD
может всё дерево тебе построить
AF
оно именно что складывает дескрипторы
Нет она вытаскивает дескриптор операции сложения
AF
Это не сложение дескрипторов
AF
Короче нужна какая-то интроспекция уровня операторов а decltrait ненужен потомучто дублирует decltype/наследование и узок
AF
И вообще не про трейты си++
AF
decldescriptor мб
CD
Нет она вытаскивает дескриптор операции сложения
ну можешь там написать
//template <size_t N> struct T_trait_arg{};
constexpr auto ta = decltrait(a).bind_arg<0>();
constexpr auto tb = decltrait(b).bind_arg<1>();
constexpr auto tc = decltrait(c).bind_arg<2>();
static_assert((ta + tb) + tc == ta + (tb + tc));AF
ну можешь там написать
//template <size_t N> struct T_trait_arg{};
constexpr auto ta = decltrait(a).bind_arg<0>();
constexpr auto tb = decltrait(b).bind_arg<1>();
constexpr auto tc = decltrait(c).bind_arg<2>();
static_assert((ta + tb) + tc == ta + (tb + tc));Ну код не должен так выглядеть
CD
Ну код не должен так выглядеть
нужен компилер саппорт
AF
Он не про сложение собственно потлмучто и у + другая семантика
CD
CD
проблема только в том, что функция не может описывать свои свойства
CD
для того, чтобы описать свойства функции, нужна еще одна
CD
которая подозрительно точно так же выглядит
AF
Так стоп ты зачем сейчас констекспр код впендюрил в систему метатипов?
AF
Какой юзкейс?
CD
ну я тебе коммутативность описываю