函数 g++ 6.2 的自动类型推导

Question

我正在尝试使用现代 C++ 'auto' 并发现一个产生错误的简单示例，但我不明白为什么：

ma​​in.cpp

// error: use of ‘auto test(int)’ before deduction of ‘auto’ int i = test(5);
int i = test(5);

test.h

auto test(int i);

test.cpp

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

但是，如果我使用“->”指定类型，则代码构建并运行良好。例如：

auto test(int i) -> int;

g++ 6.2 是现代版本的编译器，我想知道为什么我必须使用'-> int'。感谢您的建议。

Answer 1

返回类型推导根本不适用于声明。编译器使用定义（实现）通过检查函数实际返回的内容来推断类型。在声明中不可能这样做，因此当您调用该函数时编译将失败，因为还没有推导出的返回类型。

当您使用尾随返回类型时，您明确指定返回类型。在您的情况下，这与使用旧的“正常”声明返回类型的方式没有什么不同。