临时材料的保存期限有什么要求？

发布于 2024-11-30 09:29:38 字数 720 浏览 4 评论 0原文

考虑下面的代码：

class Test() {
public:
    Test()
    {
       memset( buffer, 0, sizeof( buffer ) );
    }
    void Process()
    {
       printf( buffer );
    }
private:
    char buffer[1000];
};

int main()
{
    Test().Process();
    char buffer[1000] = {};
    print( buffer );
    return 0;      
}

我无法推断是否允许 main 中的 buffer 重用之前由 class Test 的临时对象占用的内存。根据标准自动存储 (3.7.2/1) 必须至少持续到块结束。

我找不到强制临时对象使用自动存储的措辞，除了 6.6/2 之外，其中描述了跳转语句并表示在退出作用域时 [...]，调用析构函数（12.4）所有具有自动存储持续时间（3.7.2）的构造对象（命名对象或临时对象）这似乎暗示临时对象使用自动存储。

临时人员是否需要使用自动存储？上面代码中的 main 中的局部变量是否允许重用之前临时占用的内存，或者应该使用不同的存储？

原文

Consider the following code:

class Test() {
public:
    Test()
    {
       memset( buffer, 0, sizeof( buffer ) );
    }
    void Process()
    {
       printf( buffer );
    }
private:
    char buffer[1000];
};

int main()
{
    Test().Process();
    char buffer[1000] = {};
    print( buffer );
    return 0;      
}

I can't deduce whether buffer in main is allowed to reuse the memory previously occupied by the temporary object of class Test. According to The Standard automatic storage (3.7.2/1) must persist for at least until the block ends.

I can't find phrasing that would force a temporary object to use automatic storage except 6.6/2 where a jump statement is described and says that on exit from a scope [...], destructors (12.4) are called for all constructed objects with automatic storage duration (3.7.2) (named objects or temporaries) which seems to imply that temporaries use automatic storage.

Are temporaries required to use automatic storage? Is the local variable in main in code above allowed to reuse the memory previously occupied by the temporary or should it use distinct storage?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

猛虎独行 2024-12-07 09:29:38

临时变量的生命周期（除非绑定到 const&）延伸到完整表达式的末尾。在您的情况下，main 中的第一行。允许编译器重用相同的内存，但是否重用是一个实现细节（即实现质量）

12.2 [类.临时]
/3 [...] 临时对象在评估的最后一步被销毁
（词法上）包含它们创建点的完整表达式 (1.9)。[...]
/4 有两种上下文，其中临时变量在与完整表达式末尾不同的点被销毁。第一个上下文是当表达式作为定义对象的声明符的初始值设定项出现时。 [...]
/5 第二个上下文是当引用绑定到临时对象时。

由于您也不例外，因此 Test 临时文件属于第一类，并在评估第一行的最后一步被销毁。

回复收藏 0 原文

被你宠の有点坏 2024-12-07 09:29:38

3.7.2/1 特别讨论了块作用域变量。这些确实具有必须持续整个块的存储空间。但是，正如您所发现的，临时变量确实具有自动存储持续时间，但不是块范围变量。（参见 3.3.3，块作用域与名称相关联）。

回复收藏 0 原文

岁月染过的梦 2024-12-07 09:29:38

语法 Test() 创建一个临时的。这与命名对象不同：

Test iHaveAName;

命名对象具有块持续时间；它会一直存在直到区块结束。临时有表达持续时间；当它所在的表达式结束时，它将被销毁。

因此，如果您执行 Test().Process()，Test() 临时文件将存活足够长的时间，以便 Process() 完成。

The syntax Test() creates a temporary. This is different from an object that is named:

Test iHaveAName;

A named object has block duration; it will live until the block ends. A temporary has expression duration; it will be destroyed when the expression it is on ends.

So, if you do Test().Process(), the Test() temporary will live long enough for Process() to finish.

回复收藏 0 原文