C++模板函数指针类型推导

Question

我有以下代码

using my_map_t = std::map<int, Object<double>>;
using my_map_iterator_t = my_map_t::iterator;


template <typename FWD, typename Func>
void inner(my_map_t& map, int key, FWD&& obj, Func emplacer) {
        emplacer(map, key, std::forward<FWD>(obj));
}
  

my_map_t map;

template <typename FWD>
void outer(my_map_t& map, int key, FWD&& obj)
{
        auto lambda = [](my_map_t& m, int k, FWD&& o) {
                m.emplace(k, std::forward<FWD>(o));
        };

        inner(map, key, std::forward<FWD>(obj), lambda);
}

编译无痛。所以这意味着他自动推导出inner函数的模板参数。 但是，如果我引入一个函数指针我需要指定函数指针模板参数，否则编译器会抱怨

using my_map_t = std::map<int, Object<double>>;
using my_map_iterator_t = my_map_t::iterator;


template <typename FWD, typename Func>
void inner(my_map_t& map, int key, FWD&& obj, Func emplacer) {
        emplacer(map, key, std::forward<FWD>(obj));
}

template <typename FWD, typename Func>
void(*fp)(my_map_t&, int, FWD&&, Func) = &inner;


my_map_t map;

template <typename FWD>
void outer(my_map_t& map, int key, FWD&& obj)
{
        auto lambda = [](my_map_t& m, int k, FWD&& o) {
                m.emplace(k, std::forward<FWD>(o));
        };

        (*fp<FWD, decltype(lambda)>)(map, key, std::forward<FWD>(obj), lambda);
}

为什么在函数指针的情况下，参数推导不再起作用？ 我犯了什么错误吗？有没有办法获得更好的语法？

添加注释

我需要使用函数指针，因为我有一些与inner 签名相同的函数。让我们称他们为inner1、inner2 和inner3。它们被一些外部函数调用

void outer(...) {
     if(...) {

         inner1(...)
     } else if (...) {
     
         inner2(...)
     } else {

         inner3(...)
     }
     some_long_task(...)
}

现在在我的例子中，outer 函数被循环调用。 ifs 中的检查可能很耗时，并且它们独立于 outer 函数的参数。在执行some_long_task 时，我在想，利用一些cpu 并行性设置一个指向right 函数inner1、inner2 或inner3 的函数指针，这样，新的循环开始了，我不必浪费时间进行 if 检查。

Answer 1

template <typename FWD, typename Func>
void(*fp)(my_map_t&, int, FWD&&, Func) = &inner;

不是普通的函数指针。这就是所谓的variable template。当你有一个变量模板时，为了引用一个特定的实例，你必须指定模板参数。为了证明这一点，请考虑

template <typename T>
constexpr T pi = T(3.1415926535897932385L);  

您不能只使用cout << pi，因为我们不知道使用哪个pi。同样的情况发生在

(*fp<FWD, decltype(lambda)>)(map, key, std::forward<FWD>(obj), lambda);

这里fp 需要<FWD, decltype(lambda)>，因此编译器可以知道要引用哪个特定的fp 实例。它甚至在评估函数调用之前就必须这样做，因为它需要根据函数检查参数。

我们不需要指定参数的是像 CTAD 这样的未来，但适用于函数指针变量 temapltes。