Deduce template argument from std::function call signature

by

A function pointer of type bool (*)() can be converted to std::function<bool()> but is not the same type, so a conversion is needed. Before the compiler can check whether that conversion is possible it needs to deduce ReturnT as bool, but to do that it needs to already know that std::function<bool()> is a possible conversion, which isn’t possible until it deduces ReturnT … see the problem?

Also, consider that bool(*)() could also be converted to std::function<void()> or std::function<int()> … which should be deduced?

Consider this simplification:

template<typename T>
  struct function
  {
    template<typename U>
      function(U) { }
  };

template<typename T>
  void foo(function<T>)
  { }

int main()
{
    foo(1);
}

How can the compiler know whether you wanted to create function<int> or function<char> or function<void> when they can all be constructed from an int?

More Related Contents:

  1. What is a nondeduced context?
  2. std::function vs template
  3. What are template deduction guides and when should we use them?
  4. What is the partial ordering procedure in template deduction
  5. Template deduction for function based on its return type?
  6. Workaround for template argument deduction in non-deduced context
  7. Why do auto and template type deduction differ for braced initializers?
  8. Variadic deduction guide not taken by g++, taken by clang++ – who is correct?
  9. Using ‘void’ template arguments in C++
  10. C++11 make_pair with specified template parameters doesn’t compile
  11. When is the “typename” keyword necessary? [duplicate]
  12. Static member initialization in a class template
  13. Can the template parameters of a constructor be explicitly specified?
  14. Use ‘class’ or ‘typename’ for template parameters? [duplicate]
  15. GCC issue: using a member of a base class that depends on a template argument
  16. Check if class is a template specialization? [duplicate]
  17. C-Style Strings as template arguments? [duplicate]
  18. Is there a difference between universal references and forwarding references?
  19. declare template friend function of template class
  20. Nested templates with dependent scope
  21. C++11: Compile Time Calculation of Array
  22. How to reverse the order of arguments of a variadic template function?
  23. Template specialization and enable_if problems [duplicate]
  24. std::function and std::bind: what are they, and when should they be used?
  25. How to ensure that the template parameter is a subtype of a desired type?
  26. Use of typename keyword with typedef and new
  27. Why do two functions have the same address?
  28. Overloading operator
  29. std::is_base_of for template classes
  30. SFINAE tried with bool gives compiler error: “template argument ‘T::value’ involves template parameter” [duplicate]

Leave a Comment