是否分配给临时对象的字段未定义行为？

Question

我用 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;条线是未定义的行为吗？

Answer 1

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

不可以。在完整的表达式之后临时将被销毁，其中包括 的函数体的执行print_value_from_temporary。因为s->i = 0;在print_value_from_temporary临时还没有被摧毁。

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