CD
value-based тут похоже лучший подход
Size: a a a
2020 October 24
AF
А арги зачем
AF
Чтобы они были различны лишь?
AF
Но с твоим кодом выше что угодно даст true
CD
вот это другое свойство
//template <size_t N> struct T_trait_arg{};
constexpr auto ta = decltrait(a).bind_arg<0>();
static_assert((ta + ta) + ta == ta + (ta + ta));CD
я не могу любезно попросить компилятор выполнить операцию над аргументами под forall
AF
Можешь протаскивать все типы через операторы
CD
я это и делаю, только я не могу сказать, что это про тип T
CD
я могу не дублировать код через какое-то протаскивание с perform в теле operator + да
CD
((ta + ta) + ta).perform(1);
CD
что-то такое
AF
Ну на самом деле тебе просто нужна система символьных вычислений куда ты в конце подставляешь значения
AF
А не в начале дублируя код
CD
дыа, мне нужна система символьных вычислений, зависимых типов и вся вот эта бяка для автоматического доказывания теорем, ты меня раскусил
AF
Которая генерирует символьные выражения
AF
Не понимаю почему это должно быть в си++ в системе типов
CD
потому что это ровно то, что не позволяет нормально использовать концепты
CD
вместо того, чтобы писать трейты
AF
Ты не хочешь все вычисления превращать в символьные
AF
Слишком упорото и для математических дедов