c++ - 为什么我需要为传递给 Y 组合器的函数指定返回值

Question

我写了一个像这样的 Y 组合器:

template <class F>
struct Y{
  F f;
  Y(F _f) : f{_f} {}
  template<class...arg_t>
  auto operator()(arg_t&&...arg) {return f(*this,std::forward<arg_t>(arg)...);}
};

它有效，但是当我试图定义阶乘时

auto fact = Y{[](auto&& self, int n) {
                if (n<=1) return 1;
                return n*self(n-1);}};

它会编译，但是当我像 f(3) 那样调用它时，clang 在推导返回类型时卡住了。使用显式返回类型，一切正常。这是模板推导的限制吗？有解决方法吗？

Answer 1

我不认为有解决办法。您使用以下定义创建一个 lambda:

[](auto&& self, int n) {
            if (n<=1) return 1;
            return n*self(n-1);
 }

这转化为:

struct lambda
 {
  template <typename T1>
  constexpr auto operator()(T1&&self, int n) const
   {
            if (n<=1)
                  return 1;
            return n*self(n-1);
    }
};

鉴于该代码，您的编译器应该将返回类型推断为 2 个返回语句的通用类型。

对于您的模板安装，它首先需要知道您的实例化的返回类型，然后才能计算该实例化的答案。

对于这种特定情况，仍有可能正确推断。如果您在两者之间添加额外的间接寻址并追溯回您的类型，会发生什么情况？