在用C进行编码时，遇到了以下情况。
int function ()
{
if (!somecondition) return false;
internalStructure *str1;
internalStructure *str2;
char *dataPointer;
float xyz;
/* do something here with the above local variables */
}
考虑到if上面代码中的语句可以从函数中返回，我可以在两个地方声明变量。
if声明之前。if声明。作为一名程序员，我想在ifStatement之后保留变量声明。
申报处要收费吗？还是有其他原因更喜欢一种方法？
Answers:
在C99和更高版本（或带有C89的通用扩展名）中，您可以随意混合使用语句和声明。
就像在早期版本中一样（只有这样才能使编译器变得更加智能和更具侵略性），编译器会决定如何分配寄存器和堆栈，或执行符合规则的任何其他优化。
这意味着在性能方面，不会有任何差异。
无论如何，这不是允许这样做的原因：
这是为了限制范围，从而减少了人们在解释和验证代码时必须牢记的上下文。
char *foo = "something"，使用优化器和调试标志编译代码，然后gcc -O3 -g在调试器中逐步执行该函数。步进点将反弹并延迟初始化变量，直到需要它为止。
做任何有意义的事情，但是当前的编码风格建议将变量声明尽可能地接近其用法
实际上，在第一个编译器之后，几乎每个编译器都可以使用变量声明。这是因为实际上所有处理器都使用堆栈指针（可能还有帧指针）来管理其堆栈。例如，考虑两个功能：
int foo() {
int x;
return 5; // aren't we a silly little function now
}
int bar() {
int x;
int y;
return 5; // still wasting our time...
}
如果我要在现代的编译器上编译它们（并告诉它不是很聪明并优化我未使用的局部变量），我会看到这个（x64汇编示例。其他类似）：
foo:
push ebp
mov ebp, esp
sub esp, 8 ; 1. this is the first line which is different between the two
mov eax, 5 ; this is how we return the value
add esp, 8 ; 2. this is the second line which is different between the two
ret
bar:
push ebp
mov ebp, esp
sub esp, 16 ; 1. this is the first line which is different between the two
mov eax, 5 ; this is how we return the value
add esp, 16 ; 2. this is the second line which is different between the two
ret
注意：这两个函数具有相同数量的操作码！
这是因为实际上，所有编译器都会预先分配所需的所有空间（除非有别的东西需要alloca单独处理）。实际上，在x64上，必须以这种有效方式这样做。
（编辑：正如Forss所指出的，编译器可能会将一些局部变量优化到寄存器中。从技术上讲，我应该争论的是，第一个“溢出”到堆栈中的变量需要2个操作码，而其余的则是免费的）
出于相同的原因，编译器将收集所有局部变量声明，并为它们分配空间。 C89要求所有声明都是预先声明的，因为它被设计为1遍编译器。为了使C89编译器知道要分配多少空间，它需要在发出其余代码之前先了解所有变量。在现代语言（如C99和C ++）中，期望编译器比1972年的智能得多，因此，此限制放宽了对开发人员的便利。
现代编码实践建议使变量接近其用法
这与编译器无关（编译器显然不在乎一种或另一种方式）。已经发现，如果将变量放在使用它们的位置附近，大多数人类程序员会更好地阅读代码。这只是一个样式指南，请随时不同意它，但是开发人员之间有一个显着的共识，那就是这是“正确的方法”。
现在来看一些极端情况：
alloca在此之上的一层上处理。对于那些好奇的人，alloca实现往往会产生将堆栈指针向下移动任意数量的效果。alloca需要使用函数来以一种或另一种方式跟踪此空间，并确保堆栈指针在离开前向上重新调整。alloca。在C语言中，我相信所有变量声明都像在函数声明的顶部一样被应用。如果在一个块中声明它们，我认为这只是一个范围界定的事情（我认为在C ++中是不一样的）。编译器将对变量执行所有优化，有些甚至可能在较高的优化中有效地消失在机器代码中。然后，编译器将决定变量需要多少空间，然后在执行过程中，创建一个称为变量的堆栈，该变量将驻留在其中。
调用一个函数时，该函数使用的所有变量以及有关被调用函数的信息（即返回地址，参数等）都将被放入堆栈中。声明变量的位置无关紧要，声明变量就无关紧要了，无论如何它都会分配到堆栈中。
声明变量本身并不“昂贵”。如果很容易不被用作变量，则编译器可能会将其删除为变量。
看一下这个：
当然，所有这些都是与实现和系统有关的。
push和pop操作，那么会很麻烦（实际上有没有任何RISC ISA？）这只是一个惯例-MULTICS的堆栈数量不断增长。
最佳实践是采用一种惰性方法，即仅在确实需要它们时才声明它们；）（而不是在之前）。它带来以下好处：
如果将这些变量声明为尽可能靠近使用位置，则代码更具可读性。
如果你有这个
int function ()
{
{
sometype foo;
bool somecondition;
/* do something with foo and compute somecondition */
if (!somecondition) return false;
}
internalStructure *str1;
internalStructure *str2;
char *dataPointer;
float xyz;
/* do something here with the above local variables */
}
那么保留给它的堆栈空间foo并somecondition可以明显地重复使用str1等等，因此，通过在之后声明if，可以节省堆栈空间。根据编译器的优化能力，如果您通过移除一对内括号来使功能变平，或者如果您确实在;之前声明了etc等，那么也可能会节省堆栈空间。但是，这要求编译器/优化器注意范围不会“真正”重叠。通过在之后放置声明，即使没有优化也可以简化此行为-更不用说提高了代码的可读性。str1ifif
每当您在C范围（例如函数）中分配局部变量时，它们就没有默认的初始化代码（例如C ++构造函数）。并且由于它们不是动态分配的（它们只是未初始化的指针），因此无需调用其他（可能是昂贵的）函数malloc来准备/分配它们。
由于堆栈的工作方式，分配堆栈变量仅意味着递减堆栈指针（即增加堆栈大小，因为在大多数体系结构中，其向下增长），以便为其腾出空间。从CPU的角度来看，这意味着执行一条简单的SUB指令：（SUB rsp, 4如果您的变量为4字节大-例如常规的32位整数）。
此外，当声明多个变量时，编译器足够聪明，可以将它们实际组合在一起成为一条大SUB rsp, XX指令，这XX是作用域局部变量的总大小。理论上。实际上，情况有所不同。
在这种情况下，当我发现（非常容易）发现编译器“幕后”发生了什么时，我发现GCC Explorer是一个非常有价值的工具。
因此，让我们看一下实际编写如下函数时会发生什么：GCC explorer link。
int function(int a, int b) {
int x, y, z, t;
if(a == 2) { return 15; }
x = 1;
y = 2;
z = 3;
t = 4;
return x + y + z + t + a + b;
}
function(int, int):
push rbp
mov rbp, rsp
mov DWORD PTR [rbp-20], edi
mov DWORD PTR [rbp-24], esi
cmp DWORD PTR [rbp-20], 2
jne .L2
mov eax, 15
jmp .L3
.L2:
-- snip --
.L3:
pop rbp
ret
事实证明，海湾合作委员会甚至比这更聪明。它甚至根本不执行SUB指令来分配局部变量。它只是（内部）假设该空间已“被占用”，但未添加任何指令来更新堆栈指针（例如SUB rsp, XX）。这意味着堆栈指针不会保持最新，但由于在这种情况下，在使用堆栈空间后PUSH不再执行任何指令（并且不会进行rsp相对查找），因此没有问题。
这是一个没有声明其他变量的示例：http : //goo.gl/3TV4hE
int function(int a, int b) {
if(a == 2) { return 15; }
return a + b;
}
function(int, int):
push rbp
mov rbp, rsp
mov DWORD PTR [rbp-4], edi
mov DWORD PTR [rbp-8], esi
cmp DWORD PTR [rbp-4], 2
jne .L2
mov eax, 15
jmp .L3
.L2:
mov edx, DWORD PTR [rbp-4]
mov eax, DWORD PTR [rbp-8]
add eax, edx
.L3:
pop rbp
ret
如果您在过早返回之前查看代码（jmp .L3，跳转到清除并返回代码），则不会调用其他指令来“准备”堆栈变量。唯一的区别是，存储在edi和esi寄存器中的功能参数a和b以比第一个示例（[rbp-4]和[rbp - 8]）高的地址加载到堆栈上。这是因为没有像第一个示例中那样为本地变量“分配”额外的空间。因此，如您所见，添加这些局部变量的唯一“开销”是减法项的更改（即，甚至不添加其他减法运算）。
因此，在您的情况下，仅声明堆栈变量几乎没有任何成本。
如果确实很重要，那么避免分配变量的唯一方法可能是：
int function_unchecked();
int function ()
{
if (!someGlobalValue) return false;
return function_unchecked();
}
int function_unchecked() {
internalStructure *str1;
internalStructure *str2;
char *dataPointer;
float xyz;
/* do something here with the above local variables */
}
但实际上，我认为您不会发现性能方面的好处。如果有什么开销的话。
当然，如果您正在编写C ++，并且其中一些局部变量具有非平凡的构造函数，则可能需要将它们放在检查之后。但是即使那样，我仍然认为拆分功能将无济于事。