函数指针参数的自动返回类型？

Question

我正在创建一个接受函数指针的模板化函数，尽管我试图进一步简化语法。

到目前为止，我有类似的东西：

template< typename obj, typename ret, typename... args >
auto py_wrapped_func( ret (obj::*f)( args... ) )
{
    // Do some stuff with the function pointer.
}

问题是，有时返回类型 ret 太长了。我想知道是否有办法将其简化为：

template< typename obj, typename... args >
auto py_wrapped_func( decltype(auto) (obj::*f)( args... ) )
{
    // Do some stuff with the function pointer.
}

显然这不会编译 - “函数原型中不允许使用 decltype(auto)”。有没有更好的方法来解决这个问题？

我知道我可以直接在函数类型上进行模板化，但我希望避免在使用模板或使用decltype(&obj::func) 时写出模板函数类型。无论如何，我需要将参数args 作为模板参数在模板中明确显示。

我猜编译器需要明确知道函数指针类型，而不仅仅是对象和一些参数。我要求太多了吗？也许我是？

Answer 1

这可能与this 问题重复。

函数的参数不能通过模板参数推导提供，但是函数可以。一个简单的解决方案是重新排列模板参数，如下所示：

template< typename... args, typename obj, typename ret >
auto py_wrapped_func( ret (obj::*f)( args... ) )
{
    // Do some stuff with the function pointer.
}

现在可以从参数中推断出对象和返回类型。

我不确定这是否适用于左侧的可变参数模板参数。但是它似乎编译得很好......