模板化函数指针作为模板参数

Question

我在处理模板时偶然发现了一个困扰我的小问题。这是一个例子：

template<class _returnType, _returnType (*_function)()>
_returnType aliasGetter() { return _function(); }
int getCoolNumber() { return 42; }
int main()
{ 
    std::cout << aliasGetter<int, &getCoolNumber>(); //42
}

此代码有效（http://cpp.sh/，如果您想尝试它），但是由于我将函数指针作为模板参数，我不应该需要 _returnType，它就在函数签名中，问题是，无论如何我努力尝试，我找不到摆脱这个额外模板参数的方法。

我怎样才能让aliasGetter 只接受一个模板参数（一个指向别名的getter 的指针）？ 如果这不可能，为什么不呢？

Answer 1

在 C++17 中，这将成为可能，感谢template auto：

template <auto F> std::invoke_result_t<F> aliasGetter() { return F(); }

在 C++17 之前，这是不可能的。您需要指定非类型模板参数的类型 - 没有办法解决这个问题。您也不能为此创建工厂，因为您不能通过函数模板传递函数指针并使其最终成为非类型模板参数。

---

C++14 中最短的解决方法是，唉，使用宏：

template <class T, T F> std::result_of_t<T()> aliasGetter() { return F(); }
#define TEMP_ALIAS(x) decltype(x), x

std::cout << aliasGetter<TEMP_ALIAS(&getCoolNumber)>();

无需手动输入两次即可获得函数指针的类型。