AMDG Peter Foelsche wrote:

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 exists and if not select type?

You can't specializations directly, but if you can change the primary template you can use: template struct type { typedef void this_is_the_primary_definition_of_type; }; and use SFINAE to check for the typedef. There are other ways to do this like adding a base class. The key is to add something whose presence can be detected to the primary template. In Christ, Steven Watanabe