При попытке реализовать if constexpr с requires clause на основе if constexpr и требует-выражения для специальной проверки понятий столкнулся со следующей проблемой:
template<class P>
concept TuplePair = requires(P p) {
requires std::tuple_size<P>::value == 2;
std::get<0>(p);
std::get<1>(p);
};
void print(const auto& p) {
if constexpr( TuplePair<decltype(p)> ) {
std::cout << std::get<0>(p) << ", " << std::get<1>(p) << std::endl;
}
else {
std::cout << "else" << std::endl;
}
}
int main() {
// justifiably prints 'else':
print(std::make_tuple(3, 4, 5));
// prints 'else' even though this is a valid TuplePair:
print(std::make_tuple(1, 2));
}
Что не так с if constexpr requires clause?
Twople. - person Casey schedule 24.02.2020conceptsвокруг моих глупых вопросов.Twopleдолжен четко сообщать компилятору о значении вещи и устранять остальную часть кода :-) - person Amir Kirsh schedule 25.02.2020