кол-ва типов, для которых, например, std::is_floating_point_v возвращает true, проверит есть ли хотя бы один, с которым std::is_convertible_v возвращает true? Если проще, то как упразднить:
template <typename T>
constexpr bool is_floating_point_convertible_v =
std::disjunction_v<std::is_convertible_v<T, float>,
std::is_convertible_v<T, double>,
std::is_convertible_v<T, long double>>;
C++20
Кванторы всеобщности не поддерживаются, если имеется в виду желание проверить "is_convertible к любому типу, который удовлетворяет некоторому концепту/трейту"?
Обсуждают сегодня