c++ 以模板类作为参数的模板

我想写一个以模板类做为参数的模板，，可惜。。。没成功。

 

1.从模板参数到模板：这个简单：

//类A是一个模板

template<class T>

class A{

 

} ;

//类B，想使用类A的模板

template <class T>

 

class B{

   A<T> a;

};

 

2.从模板到模板参数：

 

类B想使用类A里面的模板参数：

template <class T>

class A{

 typedef T T1;

};

template <class A>

 

class B{

     A::T1 a_t1;

};

 

实例：

 

// templatestudy.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <functional>
//谓词 
using namespace std;

template <typename _M1_T>
 
struct LESS:public binary_function<_M1_T,_M1_T,bool>
{
	//接受2个参数
    bool operator()(const _M1_T& x,const _M1_T&y) const
    {
         return x<y;
    }            
};
template <class T>

struct LESS_THAN:public unary_function<T,bool>
{
	T arg2;
	//构造函数
	explicit LESS_THAN(const T& x):arg2(x){}
	//接受一个参数的()操作
	bool operator()(const T& x) const {
		return x<arg2;
	} 
} ;
//把函数对象模板类中的第二个参数进行约束:
//有两个问题要解决：
//第一：要获取函数对象模板的类型参数。
//第二：对此类型的值进行约束
template<class BinOp>

class _binder2nd:public unary_function<typename BinOp::first_argument_type,typename BinOp::result_type>
{
	protected:
      BinOp op;
	  typename BinOp::second_argument_type arg2;
	public:
	  _binder2nd(const BinOp & x,const typename BinOp::second_argument_type&v):op(x),arg2(v){
	  }
	  result_type operator()(const argument_type&x) const{
	   return op(x,arg2);
	  }
};

//约束第二个参数
int main(int argc, char *argv[])
{
	int a=5;
	LESS_THAN<int> less_10(10);
	less_10(a);
    system("PAUSE");
    return EXIT_SUCCESS;
}

使用方法：

bind2nd(less<int>(),7);

意思是把less<int>()函数对象，的第二个函数参数绑定为7.