Явный пользовательский оператор преобразования для лямбды

Статья посвящена лямбда-функциям и особенно касается их ClosureType::operator ret(*)(params)(), В этой статье оператор упоминается как "универсальный шаблон захвата лямбда-функции, определяемый пользователем без захвата".

Данный код (автоматическое преобразование в указатель на функцию соответствующего типа):

#include <iostream>
#include <cstdlib>

#if 0

template< typename L, typename R, typename ...A >
constexpr
auto 
to_function_pointer(L l, R (L::*)(A...) const)
{
    return static_cast< R (*)(A...) >(l);
}

template< typename L, typename R, typename ...A >
constexpr
auto 
to_function_pointer(L l, R (L::*)(A...))
{
    return static_cast< R (*)(A...) >(l);
}

template< typename L >
constexpr
auto 
to_function_pointer(L l)
{
    return to_function_pointer(l, &L::operator ());
}

#endif

template< typename R, typename ...A >
constexpr
auto
to_function_pointer(R (* fp)(A...))
{
    return fp;
}

namespace
{

void f() { std::cout << __PRETTY_FUNCTION__ << std::endl; }

}

int main()
{
    to_function_pointer(f)();
    to_function_pointer(&f)();
    to_function_pointer([] () { std::cout << __PRETTY_FUNCTION__ << std::endl; })();
    to_function_pointer([] () mutable { std::cout << __PRETTY_FUNCTION__ << std::endl; })();
    return EXIT_SUCCESS;
}

За #if 0 функция to_function_pointer Из кода нельзя конвертировать лямбду в соответствующий указатель функции. Означает ли это, что упомянутый оператор "неявно" помечен explicit ключевое слово? Есть ли соответствующая оговорка из стандарта?

0 ответов

Другие вопросы по тегам