Fixed traits 萃取

/*萃取技术及fixed traits固定萃取*/
//traits技术用于对模板中的各种模板参数进行管理
//学习目的: a.了解标准库许多trait技术的实现方法
//          b.灵活运用并组合这些方法
/*
* fixed traits固定萃取:主要用于给进来一种类型，萃取出另外一种类型
*/
#include<iostream>
namespace sp0
{
	template<typename U, typename T>
	U funcsum(const T* begin, const T* end)
	{
		U sum{};//零初始化
		for (;;)
		{
			sum += (*begin);
			if (begin == end)
			{
				break;
			}
			++begin;
		}
		return sum;
	}
};

//利用trait优化上述模板
namespace sp1
{
	//各个fixed traits特化版本
	template <typename T>
	struct SumFixedTraits;//不需要实现代码，因为不需要该版本实例化

	//(1)给进来char类型，返回int类型
	template<>
	struct SumFixedTraits<char>//char表示给进来的是char类型
	{
		using sumT = int;

	};
	//(2)给进来int类型时，返回long long类型
	template<>
	struct SumFixedTraits<int>//char表示给进来的是char类型
	{
		using sumT = long long;
	};

	template<typename T>
	auto funcsum(const T* begin, const T* end)
	{
		using sumT = typename SumFixedTraits<T>::sumT;//给出来一个类型T，返回来一个类型
		sumT sum{};
		for (;;)
		{
			sum += (*begin);
			if (begin == end)
			{
				break;
			}
			++begin;
		}
		return sum;
	}
}

int main()
{
	int arr1[] = { 1,5,14,5 };
	char arr2[] = "abc";
	sp1::funcsum(&arr1[0], &arr1[2]);
	sp1::funcsum(arr2, arr2 + sizeof(arr2));
	return 0;
}

//总结：固定萃取类模板的作用：通过 类型，得到另外一个类型；

1.萃取

萃取 并不是一种具体的技术，更像一种编程思想。主要用于模板中的模板参数。这种模板一般称traits模板.

2.萃取分类

• 固定萃取-fixed traits       给定一个类型，萃取另一种类型，这两个类型之间的对应关系是固定的，称为固定萃取。
• 值萃取-value traits          给定一个类型，得到一个值
• 类型萃取                          从boots库中发展而来，实现了类型信息的提取和变换

2.1.固定萃取