Template function as a template argument

by

In order to solve this problem with templates, you have to use a template template parameter.
Unfortunately, you cannot pass template template function as a type, because it has to be instantiated first. But there is a workaround with dummy structures. Here is an example:

template <typename T>
struct a {

    static void foo (T = T ())
    {
    }

};

template <typename T>
struct b {

    static void foo (T = T ())
    {
    }

};

struct SomeObj {};
struct SomeOtherObj {};

template <template <typename P> class T>
void function ()
{
    T<SomeObj>::foo ();
    T<SomeOtherObj>::foo ();
}

int main ()
{
    function<a>();
    function<b>();
}

More Related Contents:

  1. C++ pointer decleration
  2. Storing C++ template function definitions in a .CPP file
  3. Check if a class has a member function of a given signature
  4. std::enable_if to conditionally compile a member function
  5. What are template deduction guides and when should we use them?
  6. explicit specialization of template class member function
  7. Metaprograming: Failure of Function Definition Defines a Separate Function
  8. Template specialization of particular members?
  9. c++ template partial specialization member function [duplicate]
  10. What is the partial ordering procedure in template deduction
  11. Templates polymorphism
  12. A better way to avoid public member invisibility and source code bloat/repetition with inherited class templates?
  13. Default template arguments for function templates
  14. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  15. Check if a variable type is iterable?
  16. What does this variadic template code do?
  17. SFINAE works differently in cases of type and non-type template parameters
  18. Making a template parameter a friend?
  19. How do I export templated classes from a dll without explicit specification?
  20. How to write `is_complete` template?
  21. templated typedef?
  22. std::enable_if : parameter vs template parameter
  23. calculating factorial using template meta-programming
  24. Templates: template function not playing well with class’s template member function [duplicate]
  25. Is there a way to write make_unique() in VS2012?
  26. Dependent scope and nested templates
  27. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  28. Check if a type is passed in variadic template parameter pack
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment