уже озвучивал, но раз снова речь про пропозалы зашла. Реален ли scoped enable_if? Т.е. есть n методов, у которых одинаковое условие в enable_if, можно ли добавить в язык scope для этих целей? В 17 стандарте constexpr if добавили, на базе которого можно было бы теоретически написать пропозал, но конструкция типа:
template <typename T>
class A {
if constexpr (std::is_integral_v(T)) {
void f1();
void f2();
}
};
ломает язык. Собственно, есть ли шанс, что подобное кого-то заинтересует, если найдется не ломающее язык решение, и адекватна ли вообще идея?
static_assert(std::is_integral_v(T)) внутри f1() и f2() решит вашу проблему?
Вообще, если такая конструкция возникает, то можно в сторону шаблонных Mixin-ов посмотреть
Обсуждают сегодня