boost_1_45_0/libs/config/test/boost_no_template_template.ipp

//  (C) Copyright John Maddock 2002. 
//  Use, modification and distribution are subject to the 
//  Boost Software License, Version 1.0. (See accompanying file 
//  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

//  See http://www.boost.org/libs/config for most recent version.

//  MACRO:         BOOST_NO_TEMPLATE_TEMPLATES
//  TITLE:         template template paramters.
//  DESCRIPTION:   Verify that template template parameters both work
//                 and can be deduced through a function call.


namespace boost_no_template_templates{


template<class T>
class foo
{
public:
   foo(){};
   foo(const T&){};
   const foo& bar()const{ return *this; }
   foo& operator=(const foo&){ return *this; }
};

template<typename T, template<typename> class U>
U<T> sinhc_pi(const U<T> x)
{
   return x.bar();
}


int test()
{
   foo<double> f1;
   foo<int> f2;
   f1 = sinhc_pi(f1);
   f2 = sinhc_pi(f2);
   return 0;
}


}