Function passed as template argument

by

Yes, it is valid.

As for making it work with functors as well, the usual solution is something like this instead:

template <typename F>
void doOperation(F f)
{
  int temp=0;
  f(temp);
  std::cout << "Result is " << temp << std::endl;
}

which can now be called as either:

doOperation(add2);
doOperation(add3());

See it live

The problem with this is that if it makes it tricky for the compiler to inline the call to add2, since all the compiler knows is that a function pointer type void (*)(int &) is being passed to doOperation. (But add3, being a functor, can be inlined easily. Here, the compiler knows that an object of type add3 is passed to the function, which means that the function to call is add3::operator(), and not just some unknown function pointer.)

More Related Contents:

  1. C++11 does not deduce type when std::function or lambda functions are involved
  2. Why can’t the template argument be deduced when it is used as template parameter to another template?
  3. Why can’t I use float value as a template parameter?
  4. How does this “size of array” template function work? [duplicate]
  5. “invalid use of incomplete type” error with partial template specialization
  6. C++ template constructor
  7. trailing return type using decltype with a variadic template function
  8. CRTP to avoid dynamic polymorphism
  9. Selecting a member function using different enable_if conditions
  10. Passing a variable as a template argument
  11. C++17 class template partial deduction
  12. How does the standard library implement std::swap?
  13. check if member exists using enable_if
  14. Inheritance and templates in C++ – why are inherited members invisible?
  15. Template specialization of a single method from a templated class
  16. Template class with template container
  17. Expansion with variadic templates [duplicate]
  18. Get index of a tuple element’s type?
  19. Best introduction to C++ template metaprogramming? [closed]
  20. Reason for using non-type template parameter instead of regular parameter?
  21. Template default arguments
  22. Default template argument when using std::enable_if as templ. param.: why OK with two template functions that differ only in the enable_if parameter?
  23. compile time loops
  24. Class template for numeric types
  25. C++ class with template member variable
  26. C++ Template Metaprogramming – Is it possible to output the generated code?
  27. Is there a way to write make_unique() in VS2012?
  28. Dependent scope and nested templates
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment