C++ 条件堆栈变量
给定以下函数，是否会在堆栈上声明每个局部变量C++ 条件堆栈变量,c++,C++,给定以下函数，是否会在堆栈上声明每个局部变量 std::string reallyCoolFunction(unsigned int a) { if( a < 20 ) { std::string result1 = "This function is really cool"; return result1; } if( a >=20 && a <= 40 ) { std::string resu
std::string reallyCoolFunction(unsigned int a)
{
if( a < 20 )
{
std::string result1 = "This function is really cool";
return result1;
}
if( a >=20 && a <= 40 )
{
std::string result2 = "This function is kind of cool";
return result2;
}
if( a > 40 )
{
std::string result3 = "This function is moderately cool";
return result3;
}
std::string result4 = "This function really isn't that cool";
return result4; // remove warning
}
std:：string reallyCoolFunction（无符号int a）
{
如果（a<20）
{
std:：string result1=“这个函数真的很酷”；
返回结果1；
}
如果（a>=20&&a 40）
{
std:：string result3=“此函数相当酷”；
返回结果3；
}
std:：string result4=“这个函数真的没有那么酷”；
返回结果4；//删除警告
}
在这种情况下，实际上只需要一个
std:：stringstd:：string如果编译器足够智能，可以确定只需要一个字符串，那么它将只为一个字符串发出代码 您的编译器足够智能吗？ 最简单的方法是检查生成的汇编代码 是全部4个都分配到堆栈上，还是只分配1个？
无论是1个字符串还是4个字符串，字符串对象都位于函数的本地堆栈上，但字符串的内存分配在freestore中。这取决于编译器：由于自动变量在下一个变量进入作用域之前超出作用域，编译器可以重新使用它们的内存。请记住，“堆栈”变量实际上是根据C++规范自动存储的变量，因此它们可能根本不在堆栈上。 < P>编译器允许在这种情况下创建4, 1, 2个或3个变量。但据我所知，大多数编译器只会创建一个或两个，因为result4在函数的整个范围内 当然，如果您做了“正确”的事情，编译器可能会感到困惑，并且做的事情比它绝对需要的要多，因此在关键功能中依赖这一点并不是一件特别好的事情 编辑：我应该补充一点，std:：string的构造函数只应该在对象实际“使用”时运行，因此您可以使用堆栈空间，但它不应该调用构造函数。如果您这样做，这一点很重要：
void func()
{
if (something)
{
Lock myLock(&global_lock_object); // Constructor locks global_lock_object
... do stuff that needs global_lock_object locked ...
// end of scope runs destructor of Lock that unlocks global_lock_object.
}
... more code that takes a long time to execute but doesn't need lock. ...
}
现在，如果
Lock但是您的编译器是否这样做，以及他是否在稍微复杂的情况下仍然这样做，只有在您分析输出时才能确定。最有可能的是0或者1（发行版），当然还有4（调试版） 这称为RVO：返回值优化 编译器实际上可以完全删除副本，并直接在调用者提供的插槽中构建
std:：string如果您想检查，您可以尝试在编译器的翻译/优化管道的不同阶段仔细阅读编译器的输出；这可能很难，但取决于您的工具链。我相信我的回答中有一个重要的部分您忘了提及，即大多数字符串不会分配到堆栈上。我认为这是值得的mentioning@IvayloStrandjev绝对正确-我投票支持你的答案正是因为这个原因：）自动存储保证了堆栈行为。这就是“堆栈”所指的。“实际上”实际上是一个相当愚蠢的词。一个自动变量只能通过在“好像”规则下进行优化来避免在堆栈上分配，然后就好像它是在堆栈上分配的一样，因此对此没有太大意义。字符串可能使用动态内存，但不一定。例如，请参阅MSVC标准库中的小字符串优化。无论是1个字符串还是4个字符串，字符串对象都位于函数的本地堆栈上，但字符串的内存分配在freestore中。=>SSO：短字符串优化（在Dirkumware和libc++中实现）@MatthieuM.：True&agree。谢谢你的更正。更准确地说，这是一个实现细节。该标准并不要求在何处进行存储，它只要求执行
std:：string