立即传递其成员时的右值范围

Question

什么时候右值失效/被认为是未定义的？

下面是两个示例，其中一个将右值存储在局部变量中，然后对该局部变量执行操作，另一个示例显示右值的一个成员被立即传递给一个函数，该函数也对数据进行操作。

我怀疑示例 1 是未定义的行为，就像在我自己​​的代码中一样（这是一个最小的可重现示例），应用程序完全失败，而 2 则没有。 2 也是未定义的行为吗？ 哪些例子是？

struct container {
    int data[5];
    container(int a) {
        data[0] = a;
    }
};

void main() {
    int* arr = container(123).data;

    // ... do stuff with data
}

对比

struct container {
    int data[5];
    container(int a) {
        data[0] = a;
    }
};

void do_stuff_with_data(int* data) {
    // ... do stuff with data
}
void main() {
    do_stuff_with_data(container(123).data);
}

Answer 1

第二个格式很好。 临时表将在完整表达后销毁。

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

给定do_stuff_with_data(container(123).data); ，临时对象（即container(123) ）将在包含调用do_stuff_with_data的完整表达式之后销毁。

另一方面，第一个可能有未定义的行为。 在完整的表达式之后，临时对象已被销毁并且arr变得悬空。 以后对它的任何取消引用都会导致 UB。