AF
Тут ещё вопрос нарушаешь ли ты принцип Лисков если твой базовый класс не имеет никакой рантайм семантики и имеет пустое тело и вообще неполиморфен
Size: a a a
2020 October 24
AF
Но конечно нужно писать трейты
CD
Ты хочешь ещё один квалификатор для комутативности?
ну там в духе
и написать что (decltrait(a) + decltrait(b)).is_commutative
namespace user {
struct T{};
struct T_trait { using type = T; }
T_trait decltrait(T const&); //тело не нужно
struct T_addition_trait : T_trait { constexpr static bool is_commutative = true; };
T operator + (T const& lhs, T const& rhs) {}
T_addition_trait operator + (T_trait, T_trait); //тело не нужно
}и написать что (decltrait(a) + decltrait(b)).is_commutative
AF
ну там в духе
и написать что (decltrait(a) + decltrait(b)).is_commutative
namespace user {
struct T{};
struct T_trait { using type = T; }
T_trait decltrait(T const&); //тело не нужно
struct T_addition_trait : T_trait { constexpr static bool is_commutative = true; };
T operator + (T const& lhs, T const& rhs) {}
T_addition_trait operator + (T_trait, T_trait); //тело не нужно
}и написать что (decltrait(a) + decltrait(b)).is_commutative
Слишком вербозно
CD
Слишком вербозно
Попробуй без этого
AF
Попробуй без этого
operator_traits<T, addition> попробовал
CD
operator_traits<T, addition> попробовал
для этого нужно имя addition
AF
У тебя в коде будет дублирование кода точь в точь рантайм и трейтов
CD
не, у тебя будет в коде дублирование под каждую библиотеку, которая в своём неймспейсе объявила понятие addition
AF
У меня тоже но хотяб явно
CD
я снимаю трейт с операции выражением этой операции, а не передаю имя операции параметром
AF
не, у тебя будет в коде дублирование под каждую библиотеку, которая в своём неймспейсе объявила понятие addition
Чем addition хуже decltrait?
CD
Чем addition хуже decltrait?
decltrait можно стандартизировать
AF
Но не нужно потомучто это мусор
AF
Потомучто у типа больше одного трейта
CD
это универсальное имя перехода от типа данных к его метатипу
CD
один
CD
это просто обертка над типом
AF
Нет
AF
Если один ты просто продублировал дерево наследования в компильтайм метакод