如何解决是否分配给临时对象的字段未定义行为?
我使用带有 -O1
和 -std=c++20
标志的 gcc 和 clang 编译了以下代码,它似乎按预期工作。
#include <iostream>
struct S { int i; };
template<typename T>
T *get_address(T&& t) { return &t; }
void print_value_from_temporary(S *const s) {
std::cout << s->i << '\n';
s->i = 0;
std::cout << s->i << '\n';
}
int main() {
print_value_from_temporary(get_address(S{42}));
}
我的问题是:s->i = 0;
行是未定义的行为吗?
解决方法
s->i = 0;
行是未定义的行为吗?
没有。 temporary 将在完整表达式之后销毁,其中包括 print_value_from_temporary
函数体的执行。对于 s->i = 0;
中的 print_value_from_temporary
,临时文件尚未销毁。
所有临时对象都被销毁,作为评估(词法上)包含它们创建点的完整表达式的最后一步,
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。