[Boost-users] metaprogramming -- does a specialization exist?

Subject: [Boost-users] metaprogramming -- does a specialization exist?
From: Peter Foelsche (foelsche_at_[hidden])
Date: 2010-02-12 19:02:09

Is there some way to check at compile time whether a particular 
specialization exists?
E.g. I have a template class with two template arguments which are 
commutative -- means they can be exchanged and the result is the same. Can I 
check whether

type<A, B> exists and if not select type<B, A>?

Peter