如何使用带有 OR 条件的 BOOST_STATIC_ASSERT答案

【问题标题】：How to use BOOST_STATIC_ASSERT with an OR condition如何使用带有 OR 条件的 BOOST_STATIC_ASSERT
【发布时间】：2018-08-22 07:27:56
【问题描述】：

例如我有

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
);

【问题讨论】：

【解决方案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);

【讨论】：