C++14 中的返回类型推导

Question

我刚刚阅读了有关 C++14 中可用的名为“返回类型推导”的新功能，我对该类型的函数中的递归有疑问。我了解到该函数中的第一个返回必须允许推断返回类型。

Wiki 提供的示例完全符合该规则。

auto Correct(int i) {
  if (i == 1)
    return i;               // return type deduced as int
  else
    return Correct(i-1)+i;  // ok to call it now
}

auto Wrong(int i) {
  if (i != 1)
    return Wrong(i-1)+i;  // Too soon to call this. No prior return statement.
  else
    return i;             // return type deduced as int
}

我的问题是： 为什么当我将Wrong(int i) 更改为Wrong(auto i) 时，Wrong 函数开始编译？这个小小的变化背后隐藏着什么？

Answer 1

我相信这是 GCC 对 C++14 的auto 的扩展实现中的一个错误。这是一个似乎可以工作的程序：

auto f(auto i) {
  return "";
}

int main() {
  const char *s = f(1);
  return 0;
}

它不起作用，它失败并显示“错误：从 'int' 到 'const char*' 的无效转换”，因为 GCC 出于某种原因确定返回类型必须与参数类型相同。

同样的错误可以使本应被拒绝的代码（例如您的问题中的内容）编译时没有问题。

当然，这个错误不会影响一致性，因为没有有效的 C++14 程序可以在 lambda 之外使用 auto 参数。

由于another question on SO about it，它恰好在大约一周前以bug #64969 的形式向GCC 开发人员报告。