我编译了这个看似不正确的代码，但我不明白为什么

Question

我正在一台 linux 机器上学习 C++。我刚试过“int i();”声明一个函数，但我忘了定义它。但令我惊讶的是，这段代码可以编译并输出1。我感到很困惑。我尝试了“int I{};”，它仍然编译没有错误。请帮忙解释一下。提前致谢。

 //test1.cpp
#include <iostream>
int main(void)
{
    int i{};
    std::cout << i << std::endl;
    return 0;
}

g++ test1.cpp
./a.out
Output is: 0

//test2.cpp
#include <iostream>
int main(void)
{
    int i();
    std::cout << i << std::endl;
    return 0;
}

g++ test2.cpp
./a.out
Output is : 1

Answer 1

在您的第一个示例中，您定义了一个名为 i 的变量，并对其进行值初始化，对于 int 而言，这意味着零初始化。

int i{}; // defines i, initialised to zero

在第二个示例中，您声明了一个名为 i 的函数，它不接受任何参数，并返回 int：

int i(); // declares a function

当你打印这个时：

std::cout << i << std::endl;

i 首先转换为bool（i 衰减为函数非空指针，然后变为true），然后打印为整数，这就是您得到1 的原因。编译器可以在没有i 定义的情况下进行这种转换（因为结果总是true），这就是你没有出现链接器错误的原因。

如果您的意图是调用此函数并打印结果，则需要使用i()：

std::cout << i() << std::endl;

这当然需要i的定义。

Answer 2

在您的代码中：

//test1.cpp
#include <iostream>
int main(void)
{
    int i{};
    std::cout << i << std::endl;
    return 0;
}

你实际上并没有声明一个函数而不定义它。 main() function 中的代码行 int i{}; 是 variable 的 type int 名为 i 并且您正在使用 brace initializer list 来初始化变量 i 没有任何值，在大多数情况下可能是 0，但可能因 compiler 而异。

//test2.cpp
#include <iostream>
int main(void)
{
    int i();
    std::cout << i << std::endl;
    return 0;
}

在这种情况下，基本上是一样的。你在main() 内，并且根据"you can not declare-define a function within a function" 语言的规则，所以这会导致declaration - definition 和variable。这里唯一的区别是你没有使用brace initializer list，你在这里使用的是ctorconstructor，称为值初始化。同样，您没有向它传递任何值，在您的情况下，它分配了任意值 1。

现在，如果您的代码如下所示：

#include <iostream>

int i();

int main() {
     std::cout << i() << '\n';
     return 0;
}

这将无法编译，因为 function i 是 declared 而不是 defined。但是，如果您这样做：

#include <iostream>

// The text in quotes is not meant to be a string literal. It
// is the message of the text that represents any integer X.
int i() { return /*"some int value"*/ 1; }

int main() {
    std::cout << i() << '\n';
    return 0;
}

这将完美地编译和运行，因为 function i 既是 declared 又是 defined。