C++11尝鲜：实现编译期的“或”运算

最新推荐文章于 2024-05-07 20:57:38 发布

zwvista

最新推荐文章于 2024-05-07 20:57:38 发布

阅读量2k

点赞数 1

分类专栏： C++

本文链接：https://blog.csdn.net/zwvista/article/details/8438237

版权

C++ 专栏收录该内容

53 篇文章 14 订阅

订阅专栏

#include <type_traits>
using namespace std;

template<bool C, typename... Rest>
struct or_impl : true_type
{};

template<typename Second, typename... Rest>
struct or_impl<false, Second, Rest...> : or_impl<Second::value, Rest...>
{};

template<>
struct or_impl<false> : false_type
{};

template<typename First, typename Second, typename... Rest>
struct or_ : or_impl<First::value, Second, Rest...>
{};

int main()
{
	struct unknown;

	static_assert(or_<true_type, true_type>::value, "error");
	static_assert(or_<false_type, true_type>::value, "error");
	static_assert(or_<true_type, false_type>::value, "error");
	static_assert(!or_<false_type, false_type>::value, "error");
	static_assert(or_<true_type, unknown>::value, "error");
	static_assert(or_<true_type, unknown, unknown>::value, "error");
}