主页 / 问题 / 668127
Accepted
Michael
Asked:2020-05-19 19:27:37 +0000 UTC2020-05-19 19:27:37 +0000 UTC

函数声明和定义（放置顺序）

  • 772

在每个翻译单元中，函数声明必须先于其调用。如果满足此条件，则定义的放置顺序不再重要。

哪个选项更可取，为什么？（首先声明函数然后定义，反之亦然）

void someFunction(); // declaration
void someFunction() { cout << "hello" << endl; }

int main()
{
    someFunction(); // function call                
    return 0;
}

或者

void someFunction() { cout << "hello" << endl; }
void someFunction(); // declaration

int main()
{
    someFunction(); // function call                
    return 0;
}
c++

2 个回答

  1. 反过来做是没有意义的。因为函数定义已经包含了声明。

    使用前声明的原因很简单。当编译器遇到函数调用时，它需要正确传递参数，并正确地将它们“压入”到堆栈/寄存器中。并且还决定谁将在调用后“清理”堆栈。

    旧 C 允许在定义/声明之前使用函数，但它假定所有类型为 int 的函数参数和返回值都是相同的。

    更新程序

    简要地。这是标准明确禁止的。

    3.2 一条定义规则[basic.def.odr]

    1 任何翻译单元都不应包含一个以上的任何变量、函数、类类型、枚举类型或模板的定义。

    扩展但混乱

    理论上，可以放置所有函数，使被调用函数位于被调用函数之上（之前）。当然，这需要额外的手势（阅读：编译将花费更长的时间，或者一切都需要手动安排），但这是可能的。要么给每个单元加一个定义，但是这样也会大大加长编译。另外，在不同的编译单元中存在同一函数的不同版本的风险（由于定义，这已经很有趣了）或者只是存在代码重复，链接器也需要将其删除。因此，标准禁止（

    简单地突出显示声明允许您并行编译（甚至在不同的机器上）。重复函数的存在被最小化（内联函数可以被复制）。

    • 2
  2. Best Answer

    哪个选项更可取，为什么？（先声明函数再定义，反之亦然）

    我想知道这个放置顺序的原因。这是什么？程序易于感知，语言标准的单独规定，这种情况下的代码编译速度更快还是有其他原因？

    原因与将声明函数而不定义函数的能力添加到一般语言中的原因相同。

    想象一下，没有办法声明（不定义！）一个函数。您需要编写两个相互调用的函数：

    void SomeFirstFunction(int n)
{
    cout << n << endl;
    SomeSecondFunction(n);
}

void SomeSecondFunction(int n)
{
    if (n > 0)
    {
        SomeFirstFunction(n - 1);
    }
}

int main()
{
    SomeFirstFunction(5);
}

    编译器从上到下解析文件。他来到线

    SomeSecondFunction(n);

    此刻，他不知道它是SomeSecondFunction什么以及它需要什么参数——它还没有被定义。它因错误而崩溃：

    In function 'void SomeFirstFunction(int)':
error: 'SomeSecondFunction' was not declared in this scope

    交换显然无济于事SomeSecondFunction。SomeFirstFunction

    因此，语言中添加了一个 hack——你可以告诉编译器” SomeSecondFunction——这是一个带有此类参数的函数，它会在下面某处定义。或者甚至不在下面，但通常在另一个文件中——总的来说，感觉自由地考虑这是一个函数，为它调用生成代码，然后链接器将找出这个函数的实际位置”。

    // предупредили компилятор
void SomeSecondFunction(int n);

void SomeFirstFunction(int n)
{
    cout << n << endl;
    // компилятор спокойно сгенерировал вызов еще не определенной (но объявленной!) функции
    SomeSecondFunction(n);
}

void SomeSecondFunction(int n)
{
    if (n > 0)
    {
        SomeFirstFunction(n - 1);
    }
}

    同时，SomeFirstFunction在它的定义之后声明它是没有意义的——编译器已经知道它是什么类型的函数，再声明一个已知的事实并不会感觉更好。

    但是在你的问题的例子中，声明是完全多余的。那些。这些选项都不是可取的——它们都没有意义，因为。相当于根本没有声明：

    void someFunction() { cout << "hello" << endl; }

int main()
{
    someFunction(); // function call                
    return 0;
}
    • 2

相关问题