c++ - 如何在 OR 条件下使用 BOOST_STATIC_ASSERT

Question

比如我有

BOOST_STATIC_ASSERT(
     boost::has_range_iterator<T>::value,
);

但我还有其他类型，范围与我可以检测到的范围类似

is_foo_type::value

如何将两者结合起来作为析取。即在伪代码中

BOOST_STATIC_ASSERT(
     std::or<
       boost::has_range_iterator<T>::value,
       is_foo_type<T>::value
     >::value
);

Answer 1

从 C++17 开始，您可以使用类型特征 std::disjunction :

BOOST_STATIC_ASSERT(
     std::disjunction_v<
       boost::has_range_iterator<T>::value,
       is_foo_type<T>::value
     >
);

在 C++17 之前，您必须使用 ||，正如@StoryTeller 提到的:

BOOST_STATIC_ASSERT(boost::has_range_iterator<T>::value || is_foo_type<T>::value);