非类型模板参数通过调用参数推导的方法

#include<iostream>
#include<string>
#include<vector>
#include<tuple>
using namespace std;
template<typename T>
class AddSpace
{
private:
	T const& ref; // refer to argument passed in constructor
public:
	AddSpace(T const& r) : ref(r) {
	}
	friend std::ostream& operator<< (std::ostream& os, AddSpace<T>
		s) {
		return os << s.ref << ' '; // output passed argument and a space
	}
};
template<typename... Args>
void print(Args... args) {
	(std::cout << ... << AddSpace<Args>(args)) << endl;
	(std::cout << ... << AddSpace(args)) << endl;
}

template<typename T, std::size_t Idx>//实例化麻烦
void printByIdx(T t)
{
	print(std::get<Idx>(t)...);
}

template<std::size_t Idx,typename T>
void forwardprintByIdx(T t)
{
	print(std::get<Idx>(t)...);
}
//非类型模板参数 正常情况以做调用参数时的推导:
//因为非类型模板参数的类型是一个固定类型，无法放在函数参数上推导；就算使用auto指定，也是需要在实例化的模板实参列表中推导
//非类型模板参数本身是一个值，更不可能声明为函数参数类型
//所以在函数模板中使用非类型模板参数一般放在前面，否则很难利用模板参数推导

//解决手法：
//只需要加一个类模板的中间层，将非类型模板参数作为一个类模板的模板参数，函数参数声明就是这个类模板用非类型模板参数去实例化的类型
//这样就可以通过函数调用参数推导形式推导出非类型模板参数
template<std::size_t...>
struct Indices {
};

template<typename T, std::size_t... Idx>
void printByIdx(T t, Indices<Idx...>)
{
	print(std::get<Idx>(t)...);
}

int main()
{
	auto t = std::make_tuple(12, "monkeys", 2.0);
	printByIdx(t, Indices<0, 1, 2>());
	return 0;
}