为什么要在一行中声明一个变量，然后在下一行中对其赋值？

我经常在C和C ++代码中看到以下约定：

some_type val;
val = something;

some_type *ptr = NULL;
ptr = &something_else;

代替

some_type val = something;
some_type *ptr = &something_else;

最初，我认为这是从必须在范围的顶部声明所有局部变量的日子起遗留下来的习惯。但是我学会了不要这么快就消除资深开发人员的习惯。因此，是否有充分的理由在一行中声明并在事后分配？

C

在C89中，所有声明都必须在范围（{ ... }）的开头，但是这一要求很快就被放弃了（首先是使用编译器扩展，然后是标准）。

C ++

这些例子不一样。some_type val = something;调用复制构造函数，同时val = something;调用默认构造函数，然后调用operator=函数。这种差异通常很关键。

习惯

有些人更喜欢先声明变量，然后再定义变量，以防他们稍后重新格式化其代码，使声明在一个位置，而定义在另一个位置。

关于指针，有些人只是习惯于初始化指向NULL或的每个指针nullptr，无论他们使用该指针做什么。

您同时标记了问题C和C ++，而答案在这些语言中却有很大不同。

首先，问题标题的措词不正确（或更确切地说，与问题本身无关）。在两个示例中，变量都在一行中同时声明和定义。您的例子之间的区别是，在第一个变量要么留下未初始化或初始化与虚拟值，然后将其分配后，一个有意义的值。在第二个示例中，变量立即被初始化。

其次，在C ++语言中，正如@nightcracker在回答中指出的那样，这两种构造在语义上是不同的。第一个依赖于初始化，而第二个则依赖于赋值。在C ++中，这些操作是可重载的，因此有可能导致不同的结果（尽管可以注意到，产生不相等的初始化和赋值重载不是一个好主意）。

在原始标准C语言（C89 / 90）中，在块的中间声明变量是非法的，这就是为什么您可能会在块的开头看到未声明（或用伪值初始化）的变量，然后对其进行有意义分配的原因这些有意义的值可用时，请稍后再输入。

在C99语言中，可以在块的中间声明变量（就像在C ++中一样），这意味着仅在某些特殊情况下，在声明时不知道初始化程序的情况下，才需要第一种方法。（这也适用于C ++）。

我认为这是一个古老的习惯，是“本地声明”时代遗留下来的。因此，作为对您问题的回答：不，我不认为有充分的理由。我从来没有自己做过。

我说了一些关于在我的答案，以通过Helium3问题。

基本上，我说这是视觉帮助，可以轻松地看到更改。

if (a == 0) {
    struct whatever *myobject = 0;
    /* did `myobject` (the pointer) get assigned?
    ** or was it `*myobject` (the struct)? */
}

和

if (a == 0) {
    struct whatever *myobject;
    myobject = 0;
    /* `myobject` (the pointer) got assigned */
}

其他答案都很好。在C中有一些与此相关的历史。在C ++中，构造函数和赋值运算符之间是有区别的。

令我惊讶的是，没有人提到这一点：有时将声明与变量的使用区分开来可能更具可读性。

从视觉上讲，在阅读代码时，更普通的工件（例如变量的类型和名称）并不是您的选择。这是您通常最感兴趣，最花时间盯着别人看的陈述，因此有一种趋势可以浏览其余部分。

如果我的某些类型，名称和赋值都在同一个狭窄的空间中进行，则可能会导致信息过载。此外，这意味着在我通常浏览的空间中发生了重要的事情。

听起来似乎有点违反直觉，但这是使您的源占用更多垂直空间可以使其更好的一种情况。我认为这类似于为什么您不应该编写拥挤的行，这些行在狭窄的垂直空间中进行疯狂的指针算术和赋值操作-仅因为该语言让您摆脱了这些事情，并不意味着您应该这样做一直如此。:-)

在C中，这是标准做法，因为必须在函数的开头声明变量，这与C ++不同，在C ++中，可以在函数主体中的任何地方声明变量以供以后使用。指针被设置为0或NULL，因为它只是确保指针指向无垃圾。否则，我没有想到的显着优势，那就是强迫任何人这样做。

本地化变量定义及其有意义的初始化的优点：

• 如果在变量首次出现在代码中时便习惯性地为其分配了有意义的值（另一种观点：您将它们的出现延迟到有意义的值可用之前），那么就不可能无意地将它们与无意义或未初始化的值一起使用（由于条件语句，短路评估，异常等意外地跳过了一些初始化，因此很容易发生）

• 可以更有效率

  • 避免了设置初始值的开销（默认构造或初始化为某些哨兵值，例如NULL）
  • operator= 有时效率较低，需要一个临时对象
  • 有时（尤其是对于内联函数），优化器可以消除某些/所有效率低下的问题
    
    

• 最小化的反过来变量的范围最小化平均的数目同时在范围内的变量：本

  • 使您更容易从心理上跟踪范围内的变量，可能影响这些变量的执行流和语句以及其值的导入
  • 至少对于某些复杂且不透明的对象，这减少了程序的资源使用（堆，线程，共享内存，描述符）

• 有时更加简洁，因为您没有在定义中重复变量名，而是在初始的有意义的赋值中

• 对于某些类型（例如引用）以及当您希望对象是 const

分组变量定义的参数：

• 有时，将一些变量的类型排除在外是方便和/或简洁的：

  the_same_type v1, v2, v3;

  （如果原因仅仅是类型名称太长或太复杂，typedef则有时可能会更好）

• 有时，最好将变量与变量的使用无关地进行分组，以强调某些操作中涉及的一组变量（和类型）：

  type v1;
type v2; type v3;

  这强调了类型的通用性，使其更容易更改，同时仍然坚持每行的变量，从而便于复制粘贴，//注释等。

在编程中通常会遇到这种情况，尽管在大多数情况下一个实践可以带来明显的经验利益，但在少数情况下，另一种实践确实可以压倒性地更好。