c++模板的奇淫技巧代码

最新推荐文章于 2024-02-03 00:55:14 发布

小娜君

最新推荐文章于 2024-02-03 00:55:14 发布

阅读量1.1k

点赞数 1

分类专栏： c++学习模板元编程

本文链接：https://blog.csdn.net/yuzepan1/article/details/80646668

版权

c++学习同时被 2 个专栏收录

3 篇文章 0 订阅

订阅专栏

模板元编程

1 篇文章 0 订阅

订阅专栏

c++模板复杂的一个原因就是类型推导参数包装过深，人脑无法记忆那么多位置，在看make_shared的时候遇到这么个代码，外国人少是有原因的。。

template<size_t... _Vals>
	struct _Maximum;

template<>
	struct _Maximum<>
	{	// maximum of nothing is 0
	static constexpr size_t value = 0;
	};

template<size_t _Val>
	struct _Maximum<_Val>
	{	// maximum of _Val is _Val
	static constexpr size_t value = _Val;
	};

template<size_t _First,
	size_t _Second,
	size_t... _Rest>
	struct _Maximum<_First, _Second, _Rest...>
		: _Maximum<(_First < _Second ? _Second : _First), _Rest...>
	{	// find maximum value in _First, _Second, _Rest...
	};

这个代码传递任意的可变参，也能得到value，隐含了一个递归的继承，我也看了很久才发现的，

eg： _Maximum<first,seconed,third,four>:_Maximum<second,third,four>; //外部调用时使用最有一个特列化

_Maximum<second,third,four>: _Maximum<third,four>; //内部自动隐式推导

_Maximum<third,four>: _Maximum<four>; //内部自动隐式推导

居然还有这种在运行期隐式生成的对象，，