类模板缺省模板实参

可以为类模板的形参指定缺省实参。
//main.cpp

#include "pch.h"
#include <iostream>
#include "stack1.h"
#include<string>
using namespace std;
int main()
{
	//
	_space2::stack<int> elem1;

	for (i = 10; i < 20; i++)
	{
		elem1.push(i);
	}
	if (!elem1.empty())
	{
		cout << elem1.top() << endl;
	}
	elem1.pop();
	if (!elem1.empty())
	{
		cout << elem1.top() << endl;
	}
	return 0;
}

//stack1.h

namespace _space2
{
	//指定缺省模板实参，并且，指定的模板实参还可以是之前的模板类型参数
	template<typename T,typename U = std::vector<T> >
	class stack
	{
	private:
		U elems;
	public:
		stack()
		{
			cout << "_space2::stack" << endl;
		}
	public:
		void pop(); //切记不能加const
		T top() const;
		bool empty() const;
		void push(T const&);//切记不能加const
	};

	template<typename T,typename U>
	bool stack<T,U>::empty() const
	{
		return elems.empty();
	}

	template<typename T, typename U>
	void stack<T, U>::push(T const& i) 
	{
		elems.push_back(i);
	}

	template<typename T, typename U>
	T stack<T, U>::top() const
	{
		if (stack<T, U>::empty())
		{
			cout << "------" << endl;
			return 0;
		}
		return elems.back();
	}

	//template<typename T, typename U = std::vector<T>>
	template<typename T,typename U>
	void stack<T, U>::pop() 
	{
		if (stack<T, U>::empty())
		{
			cout << "##########" << endl;
			return;
		}
		elems.pop_back();
	}

	/*
	1:类模板含有两个模板参数，因此，每个成员函数的定义都必须具有这两个参数。
	2:类模板参数缺省值还可以是之前的形参。
	
	*/
}