Switch passed type from template

by

Yes, it is…but it probably won’t work the way you expect.

template < typename T >
void foo()
{
    if (is_same<T, SomeClass>::value) ...;
    else if (is_same<T, SomeClass2>::value) ...;
}

You can get is_same from std:: or boost:: depending on your desire/compiler. The former is only in C++0x.

The problem comes with what is in .... If you expect to be able to make some function call specific to those types within foo, you are sadly mistaken. A compiler error will result even though that section of code is never run when you pass in something that doesn’t obey that expected interface.

To solve THAT problem you need to do something a bit different. I’d recommend tag dispatching:

struct v1_tag {};
struct v2_tag {};

template < typename T > struct someclass_version_tag;
template < > struct someclass_version_tag<SomeClass> { typedef v1_tag type; };
template < > struct someclass_version_tag<SomeClass2> { typedef v2_tag type; };

void foo(v1_tag) { ... }
void foo(v2_tag) { ... }
template < typename T > void foo()
{
    typedef typename someclass_version_tag<T>::type tag;
    foo(tag());
}

Note that you will not be suffering any runtime-polymorphism overhead here and with optimizations turned on it should result in the same or even smaller code size AND speed (though you shouldn’t be worrying about that anyway until you’ve run a profiler).

More Related Contents:

  1. using std::is_same, why my function still can’t work for 2 types
  2. C++ class with template member variable
  3. Template type deduction in C++ for Class vs Function?
  4. c++ Making a code that displays equations and keep getting the “expression must have integral or unscoped enum type” error
  5. Difference of keywords ‘typename’ and ‘class’ in templates?
  6. C++ templates that accept only certain types
  7. Function passed as template argument
  8. How to easily map c++ enums to strings
  9. When to use bit-fields in C?
  10. “X does not name a type” error in C++
  11. How to initialize std::array elegantly if T is not default constructible?
  12. Template tuple – calling a function on each element
  13. Workaround for template argument deduction in non-deduced context
  14. Are C++ Templates just Macros in disguise?
  15. Restrict C++ Template Parameter to Subclass
  16. Variadic templates
  17. Array decay to pointers in templates
  18. Why is allocator::rebind necessary when we have template template parameters?
  19. static member initialization for specialized template class
  20. c++ template parameter type inference
  21. C++11 is_same type trait for templates
  22. C++ type of enclosing class in static member function
  23. gcc can compile a variadic template while clang cannot
  24. using SFINAE for template class specialisation
  25. How to prevent non-specialized template instantiation?
  26. calculating factorial using template meta-programming
  27. Templates: template function not playing well with class’s template member function [duplicate]
  28. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  29. Check if a type is passed in variadic template parameter pack
  30. Concatenate compile-time strings in a template at compile time?

Leave a Comment