如何从函数模板的实例化推断模板参数？

Question

我知道如何从类模板的实例中推断模板参数：

template <typename T>
struct foo {};

template <typename T>
struct foo_param;

template <typename T>
struct foo_param< foo<T> > {
    using type = T;
};

但是我在为函数模板做同样的事情时迷失了方向。天真的

template <typename T>
void bar() {}

template <auto F>
struct bar_param;

template <typename T>
struct bar_param< &bar<T> > {
    using type = T;
};

失败

<source>:21:19: error: template argument '& bar<T>' involves template parameter(s)
   21 | struct bar_param< &bar<T> > {
      |                   ^~~~~~~

我想我确实理解了这个错误（实际上我没有理解，但这是另一个问题的情况），但我不知道如何避免它。给定&bar<int>，我如何推断例如int？

Answer 1

我不认为你想要什么。

至少不传递函数的类型，因为 bar<T> 的类型对于每种类型都是完全相同的：返回的 void 函数没有参数。

您可以通过简单的static_assert() 验证这一点

static_assert( std::is_same_v<decltype(bar<int>), decltype(bar<long>)> );