Передача лямбда в качестве параметра шаблона в шаблоны с помощью функции-указателя

Похоже, я не могу передать lambda no-capture в качестве параметра шаблона в шаблонную функцию-указатель. Я делаю это неправильно, или это невозможно?

#include <iostream>

// Function templated by function pointer
template< void(*F)(int) >
void fun( int i )
{
    F(i);
}

void f1( int i )
{
    std::cout << i << std::endl;
}

int main()
{
    void(*f2)( int ) = []( int i ) { std::cout << i << std::endl; };

    fun<f1>( 42 ); // THIS WORKS
    f2( 42 );      // THIS WORKS
    fun<f2>( 42 ); // THIS DOES NOT WORK (COMPILE-TIME ERROR) !!!

    return 0;
}

Ответы

Ответ 1

В основном это проблема определения языка, что делает его более очевидным:

using F2 = void(*)( int );

// this works:
constexpr F2 f2 = f1;

// this does not:
constexpr F2 f2 = []( int i ) { std::cout << i << std::endl; };

Живой пример

Это в основном означает, что ваша надежда/ожидание вполне разумна, но язык в настоящее время не определен таким образом - лямбда не дает указателя функции, который подходит как constexpr.

Однако есть предложение исправить эту проблему: N4487.

Ответ 2

Это небезопасно, потому что f2 не constexpr (т.е. является переменной времени выполнения). Поэтому он не может использоваться в качестве параметра шаблона. Вы можете изменить свой код и сделать его более общим следующим образом:

#include <iostream>

template<typename F, typename ...Args>
void fun(F f, Args... args) {
  f(args...);
}

void f1( int i ) {
    std::cout << i << std::endl;
}

int main() {
    auto f2 = []( int i ) { std::cout << i << std::endl; };
    fun(f1, 42);
    f2( 42 );
    fun(f2, 42 );
    return 0;
}