是否分配给临时对象的字段未定义行为？
我用 gcc 和 clang-O1和-std=c++20标志编译了以下代码，它似乎按预期工作。
#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;行是未定义的行为吗？
不可以。在完整的表达式之后临时将被销毁，其中包括 的函数体的执行print_value_from_temporary。因为s->i = 0;在print_value_from_temporary临时还没有被摧毁。
所有临时对象都被销毁，作为评估（词法上）包含它们创建点的完整表达式的最后一步，