Using `std::function` to call non-void function

by

Your code has undefined behavior. It may or may not work as you expect. The reason it has undefined behavior is because of 20.8.11.2.1 [func.wrap.func.con]/p7:

Requires: F shall be CopyConstructible. f shall be Callable (20.8.11.2) for argument types ArgTypes and return type R.

For f to be Callable for return type R, f must return something implicitly convertible to the return type of the std::function (void in your case). And int is not implicitly convertible to void.

I would expect your code to work on most implementations. However on at least one implementation (libc++), it fails to compile:

test.cpp:7:30: error: no viable conversion from 'int (int)' to 'std::function<void (int)>'
    std::function<void(int)> ff = f;
                             ^    ~

Ironically the rationale for this behavior stems from another SO question.

The other question presented a problem with std::function usage. The solution to that problem involved having the implementation enforce the Requires: clause at compile time. In contrast, the solution to this question’s problem is forbidding the implementation from enforcing the Requires: clause.

More Related Contents:

  1. std::function vs template
  2. Isn’t the template argument (the signature) of std::function part of its type?
  3. Vector of std::function with different signatures
  4. How to directly bind a member function to an std::function in Visual Studio 11?
  5. Comparing std::functions for equality?
  6. std::function fails to distinguish overloaded functions
  7. how to avoid static member function when using gsl with c++
  8. std::function and std::bind: what are they, and when should they be used?
  9. What is the purpose of std::function and how to use it?
  10. Using ‘void’ template arguments in C++
  11. How does #include work in C++? [duplicate]
  12. Why is the destructor of a future returned from `std::async` blocking?
  13. How to return a std::string.c_str()
  14. When is a private constructor not a private constructor?
  15. Reading from ifstream won’t read whitespace
  16. Is there a non-atomic equivalent of std::shared_ptr? And why isn’t there one in ?
  17. When is overloading pass by reference (l-value and r-value) preferred to pass-by-value?
  18. Lambda capture and parameter with same name – who shadows the other? (clang vs gcc)
  19. Configuring the GCC compiler switches in Qt, QtCreator, and QMake
  20. How to do serialization of Class having members of custom data types in C++? [closed]
  21. Does std::mt19937 require warmup?
  22. What’s the difference between parentheses and braces in c++ when constructing objects
  23. cc1plus: error: unrecognized command line option “-std=c++11” with g++
  24. How do I pass multiple ints into a vector at once?
  25. Is it wise to ignore gcc/clang’s “-Wmissing-braces” warning?
  26. Why does pointer to int convert to void* but pointer to function convert to bool?
  27. Can std::vector emplace_back copy construct from an element of the vector itself?
  28. Difference between steady_clock vs system_clock?
  29. error for hash function of pair of ints
  30. Initialization difference with or without curly braces in C++

Leave a Comment