Boost logo

Boost :

From: David Abrahams (dave_at_[hidden])
Date: 2006-06-22 08:41:31


Nicolas Fleury <nidoizo_at_[hidden]> writes:

> Is there something like a is_specialization in Boost.Traits? Something
> like:
>
> template <typename TypeT, template<typename> class TemplateTypeT>
> struct is_specialization
> {
> private:
> template <typename T>
> static char foo( TemplateTypeT<T>* );
> static int foo( ... );
> public:
> enum { value = (sizeof(is_specialization::foo((TypeT*)0)) ==
> sizeof(char)) } ;
> };
>
> It's very limited since it only supports a specific number of template
> arguments. The number of template arguments could be passed, but it
> would still cause problems with non-type template arguments. Any ideas?
>
> Maybe something like:
> BOOST_IS_SPECIALIZATION(type, templateType, signature)
> called like:
> BOOST_IS_SPECIALIZATION(myType, std::list, (typename, typename))

See boost/detail/is_xxx.hpp

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk