静态断言是否可以添加操作

我想做一个静态断言，检查类型A是否可以添加到类型B.是否有任何方法来检查模板类型A是否可添加到模板类型B编译时间？ A和B真的可以做任何事情。静态断言是否可以添加操作

2017-07-03 Andreas Loanjoe

这取决于究竟你的意思_addable_。 –

随着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>;

来源

2017-07-03 21:36:19 Jarod42

有趣的是，没有'is_detected_v'。尽管如此，还是可以做 'template constexpr auto has_sum_v = std :: experimental :: is_detected :: value;'。。。 'static_assert（has_sum_v ）;' –

静态断言是否可以添加操作

回答

相关问题