AF
Типа у компилятора эта система и так есть и она наследование
Size: a a a
2020 October 24
CD
Если один ты просто продублировал дерево наследования в компильтайм метакод
не, мне надо название одного лифта иметь
AF
Более того в си++ обычно трейты не привязаны к типу
CD
переход от операции T + T к её трейтам
AF
А являются их представлением свойств для определённого алгоритма
CD
собственно я бы написал decltrait_of_last_computed_function(a + b)
CD
но это поддержка компилятора
AF
переход от операции T + T к её трейтам
Звучит как decltype
AF
На ленивую штуку
CD
Звучит как decltype
да, поэтому очень похоже называется
CD
только это чтение атрибутов операции
CD
а не типа её возврата
AF
Ты короче хочешь дескрипторы типов а не трейты
AF
То что есть в джаве и подобном
CD
я хочу операции присоединить вот так, не более
CD
коммутативность сложения - свойство реализации сложения, а не класса
CD
можно конечно trait<T, addition>::perform(a, b) писать вместо a + b
AF
Я не хочу операции над дескрипторами в виде таких же но не над дескрипторами
CD
но вот это как раз очень вербозно
AF
Потомучто оно не складывает дескрипторы