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

Question

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

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的返回类型无关，标准(出于对编译器实现者的慷慨)让他们在那里做一些更接近“真正编译”的事情。