std::invoke_result 在具有自动返回类型的模板函数中不起作用

Question

我正在尝试使用std::invoke_result_t，但在auto返回类型的函数中调用嵌套 lambda 时失败。这是一个复制器：

template <typename T, typename... Args>
auto print_ret_type(T &&t, Args &&... args) {
  using ret_type = std::invoke_result_t<T, Args...>;
  std::cout << typeid(ret_type).name() << std::endl;
}

int main(int argc, const char **argv) {
  auto worker = [](int i) {
    auto worker_impl = [](int i, auto &worker) {
      print_ret_type(worker, i, worker);
    };
    worker_impl(i, worker_impl);
  };
  worker(10);

  return 0;
}

我收到以下错误：

include/c++/9.3.0/type_traits:2783:5: error: no type named 'type' in 'std::invoke_result<(lambda at test.cpp:13:24) &, int &, (lambda at test.cpp:13:24) &>'
    using invoke_result_t = typename invoke_result<_Fn, _Args...>::type;

如果我使用void返回类型print_ret_type而不是auto测试成功编译。我的原始代码中有一个返回的模板结构，它依赖于ret_type. 谁能解释为什么在使用auto返回类型时出现错误？

Answer 1

返回类型推导如何工作的规则有点古怪。

为了确定返回类型，它实际上实例化了函数体。此实例化中的任何错误都是硬错误。

Lambda 的返回类型->auto基本上是隐式的；所以这些规则适用于他们。如果您想知道 的返回类型worker，则必须实例化每一行 worker，对于worker_impl.

auto worker = [](int i) {
  auto worker_impl = [](int i, auto &worker) {
    print_ret_type(worker, i, worker);
  };
  worker_impl(i, worker_impl); // << worker_impl has no return type yet
};
worker(10);

要求返回类型：

template <typename T, typename... Args>
auto print_ret_type(T &&t, Args &&... args) {
  using ret_type = std::invoke_result_t<T, Args...>;

这个函数在里面被实例化，worker_impl以确定它的返回类型，从而确定 的返回类型worker_impl。

将其更改为添加->void到worker_impl：

auto worker_impl = [](int i, auto &worker)->void {

它编译，或print_ret_type返回void.

任何一个都在我们不知道 的返回类型的地方阻止调用结果的实例化worker_impl。

天真地，简单的规则“没有return语句，auto返回体返回void”将是您认为使用的规则。但是 C++ 没有这个规则。

返回类型推导并不能解决所有可能的情况。有时您必须明确返回类型。

推导返回类型时发生的事情的规则并不像他们想象的那么狭窄。虽然 的返回类型与 的返回类型print_ret_type无关worker_impl，但标准（出于对编译器实现者的慷慨）让他们在那里做一些更接近“真正编译”的事情。