如何声明一个推导其返回类型的函数？

Question

考虑以下C ++ 1y代码（ 实时示例 ）：

#include <iostream>

auto foo();

int main() {
    std::cout << foo();   // ERROR!
}

auto foo() {
    return 1234;
}

编译器（GCC 4.8.1）慷慨地排除了此错误：

main.cpp：在函数'int main（）'中：
main.cpp：8：18：错误：在扣除'auto'之前使用'auto foo（）'
std :: cout << foo（）;
^

我如何在这里转发声明foo() ？ 或更恰当地说， 是否可以向前声明foo() ？

---

我也试着编译代码，我想申报foo()在.h文件中定义foo()就像上面的一个.cpp文件，包括.h在我main.cpp文件包含int main()和对foo()的调用，并构建了它们。

发生相同的错误。

Answer 1

根据N3638中提出的论文 ，这样做显然是有效的。

相关摘要：

auto x = 5;                // OK: x has type int
const auto *v = &x, u = 6; // OK: v has type const int*, u has type const int
static auto y = 0.0;       // OK: y has type double
auto int r;                // error: auto is not a storage-class-specifier
auto f() -> int;           // OK: f returns int
auto g() { return 0.0; }   // OK: g returns double
auto h();                  // OK, h's return type will be deduced when it is defined

但是它继续说：

如果需要使用具有未推导的占位符类型的实体的类型来确定表达式的类型，则程序格式错误。 但是，一旦在函数中看到return语句，从该语句推断出的返回类型就可以在该函数的其余部分中使用，包括在其他return语句中。

auto n = n;            // error, n's type is unknown
auto f();
void g() { &f; }       // error, f's return type is unknown
auto sum(int i) {
  if (i == 1)
    return i;          // sum's return type is int
  else
    return sum(i-1)+i; // OK, sum's return type has been deduced
}

因此，您在定义它之前就使用它的事实会导致它出错。