не может быть параметром шаблона. Я вообще могу сделать преобразования деревьев с типом double в момент компиляции? Потому что что бы я ни попробовал, у меня double не удалось в общем виде в выражение засунуть. Хочу:
constexpr auto v1 = Variable<1>();
constexpr auto v2 = Variable<2>();
constexpr auto formula = C<...>(10.0) * v1 * v2;
constexpr auto transformed_formula = **что-то дергаем у formula**;чтобы зафиксировать v1=3.0, и в compile time получить выражение
constexpr auto transformed_formula = 10.0 * 3.0 * v2;
Уже вроде может...
в принципе, уже можешь в C++20
Может тебе всё же хватит либо целых вместо double, либо целых дробей, выраженных в двух параметрах шаблона вместо одного?
Обсуждают сегодня