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;

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

Answer 1

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

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

Lambda 的返回类型是隐式的->auto基本上是->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的返回类型与print_ret_type的返回类型worker_impl ，但标准（出于对编译器实现者的慷慨）让他们在那里做一些更接近“真正编译”的事情。