std ::函数与可呼叫作为模板参数

Question

在下面的示例中，为什么第20行会导致第27行到30行描述的错误？

在第33行中调用exec1正常工作。

#include <cstdint>
#include <functional>
#include <iostream>
#include <tuple>
#include <type_traits>

template <typename... t_fields>
void exec0(std::function<std::tuple<t_fields...>()> generate,
           std::function<void(t_fields &&...)> handle) {
  std::tuple<t_fields...> _tuple{generate()};
  std::apply(handle, std::move(_tuple));
}

template <typename t_generate, typename t_function>
void exec1(t_generate generate, t_function handle) {
  auto _tuple{generate()};
  std::apply(handle, std::move(_tuple));
}

int main() {
  auto _h = [](uint32_t u) -> void { std::cout << "u = " << u << '\n'; };

  auto _g = []() -> std::tuple<uint32_t> { return std::tuple<uint32_t>{456}; };

  //  exec0<uint32_t>(_g, _h);
  /*
main.cpp:25:3: error: no matching function for call to 'exec0'
main.cpp:8:6: note: candidate template ignored: could not match
'function<tuple<unsigned int, type-parameter-0-0...> ()>' against '(lambda at
/var/tmp/untitled002/main.cpp:23:13)'
  */

  exec1(_g, _h);

  return 0;
}

g ++ - version回复：

g++ (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0
Copyright (C) 2019 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Answer 1

即使您指定＆lt; uint32_t＆gt;作为模板参数，编译器似乎试图推断出参数包的更多元素，但未能这样做（因为lambda的类型不是> > std :: function＆lt; ...＆gt;），变得不高兴。

您需要以某种方式抑制模板参数扣除。

将其称为exec0＆lt; uint32_t＆gt;（{_ g}，{_h}）;，或在std :: type_identity_t＆lt; ...＆gt;（OR）中包装参数类型，pre-c ++ 20，std :: enable_if_t＆lt; true，...＆gt;）。

然后，编译器将接受您的uint32_t作为包装中的唯一类型，并且不会尝试添加更多类型。