临时对象有作用域吗？

Question

名称具有范围（编译时属性），而对象具有生命周期（运行时属性）。正确的？

我经常看到人们谈论临时对象“超出范围”。但由于临时对象没有名称，我认为在这种情况下谈论“范围”是没有意义的。临时对象的生命周期非常明确地定义并且与范围无关。你同意吗？

Answer 1

名称具有范围（编译时属性），

是的。我不会称其为财产思想。但基本上是的。

而对象有生命周期（运行时属性）。对吗？

变量分为三种类型。每种类型在生命周期方面都有不同的属性。

• 自动存储持续时间：
• 静态存储持续时间
• 动态存储持续时间

注意：自动存储持续时间对象的生命周期与变量的范围绑定。

我经常看到人们谈论临时对象“超出范围”。

除非绑定到变量，否则临时变量将在表达式末尾被销毁。如果它们绑定到变量（常量引用），那么它们具有与变量相同的生命周期。有时将其称为范围更容易，但从技术上讲，您是正确的。

但是由于临时对象没有名称，我认为在这种情况下谈论“范围”是没有意义的。

从技术上来说是的。但我认为这只是让谈论它变得更容易。对我来说（尽管技术上不正确）临时（未绑定）的范围是表达式。比临时变量的生命周期说起来容易一些。

临时对象的生命周期定义非常明确，与范围无关。你同意吗？

是的。但谈论范围仍然感觉更自然（即使它在技术上不正确）。大多数人都明白你想暗示什么。但是，当您坐下来谈论非常技术性的内容时，您应该使用正确的术语，并且在这种情况下范围是不正确的。

Answer 2

临时变量的生命周期与语法块关系不大，但“范围”——作为一个词而不是一个技术术语——可以以其他方式使用。重要的问题是，当人们使用“范围”来指代临时对象时，您是否感到困惑。 （从我的观点来看，你似乎不是。）

既然你正在谈论使用这个术语与他人交流，那么交流才是真正重要的。如果您通过编写标准文档来定义术语或尝试在已定义术语的上下文中解释此类文档，情况会有所不同。当然，解释 ISO 14882 需要与他人沟通，因此在这种情况下，您只需在必要时要求澄清即可。

让所有非标准化通信标准化会适得其反，并且当需要高精度时，在任何一种情况下使用代码通常会更好。由于这个原因，C++ 标准广泛使用了示例。

再比如，经常使用“调用构造函数”，但从技术上讲，你不能直接调用构造函数；相反，构造函数是对象初始化的一部分。这就是为什么有一个显式的 new 形式专门用于构造一个对象。 （有趣的是，您可以直接调用析构函数。）但是，我希望在大多数上下文中都能理解该短语，尽管我不提倡在标准上下文中使用它。

Answer 3

我见过有人说“对象超出范围”，而这意味着（用您的话说）“当对象的名称超出范围时，对象的生命周期就结束了”。如果您使用这种简短形式，很自然地说临时对象也超出了范围。

Answer 4

临时对象确实有名称，尽管只能由编译器引用。否则编译器将如何引用它们？仅仅因为实例化后就无法引用临时对象，并不意味着编译器无法引用它。

f(Foo(), Bar());

编译器必须至少引用其中一个临时变量，即使您作为程序员不能引用其中任何一个。临时对象确实有一个范围。

Answer 5

绑定到 const 引用将临时引用的生命周期延长到引用的生命周期，因此从某种意义上说，它确实在这种特殊情况下与作用域有关：

std::string foo();

int main()
{
    // Lifetime of the temporary returned by foo is indeed the scope of bar
    const std::string &bar = foo();
}

请参阅这篇文章来自赫伯·萨特：

通常，临时对象会持续存在
只到完整结束为止
它出现的表达式。
然而，C++故意指定
将临时对象绑定到
对堆栈上 const 的引用
延长了使用寿命
暂时到生命周期
引用本身，从而避免什么
否则将是一个常见的
悬空引用错误。