c++ - 静态断言添加操作是否可用

Question

我正在尝试创建一个静态断言来检查类型 A 是否可以添加到类型 B。有没有办法在编译时检查模板类型 A 是否可以添加到模板类型 B？ A 和 B 真的可以是任何东西。

Answer 1

与 is_detected ，你可以这样做:

template <typename LHS, typename RHS>
using sum_t = decltype(std::declval<LHS>() + std::declval<RHS>());

template <typename LHS, typename RHS> 
using has_sum = is_detected<sum_t, LHS, RHS>;