15

考虑这个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()”<br> std::cout << foo();
                   ^

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

我还尝试编译我试图在文件中声明foo()的代码，就像上面在.h文件中定义的那样，在我的文件中包含和对 的调用，并构建它们。foo().cpp.hmain.cppint main()foo()

发生了同样的错误。

4

1 回答 1

19

根据在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
}

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

于 2013-06-24T06:17:04.270 回答