if constexpr 内部的 requires 子句有问题

Question

在尝试基于if constexpr and requires-expression for ad-hoc concepts checking 实现if constexpr 和requires clause 时遇到以下问题：

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 有什么问题？

Answer 1

p 是一个引用，因此decltype(p) 是一个引用类型。对于引用类型std::tuple_size 将无法正常工作。所以概念检查没有通过。您可以使用std::remove_cvref_t 来获取普通的引用类型

TuplePair<std::remove_cvref_t<decltype(p)>>

Live Demo