为临时对象的字段赋值是未定义的行为吗

Question

我用带有-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;行是一个未定义的行为吗？

Answer 1

s->i = 0;行是未定义的行为吗？

否。临时将在完整表达式之后销毁，该表达式包括执行print_value_from_temporary的函数体。对于print_value_from_temporary中的s->i = 0;，暂未销毁。

所有临时对象都将被销毁，作为评估完整表达式的最后一步，该表达式(词汇上(包含创建它们的点