Clang vs G++ 左值到右值转换

Question

与此one相关的问题。通过追踪slt_pair. h 和move. h，似乎Clang 和G++ 之间的区别在于内部。我试图模拟对象的分配（pair.first）与std_pair.h的实现相同，输出与Clang输出相同，它是合理的输出，但为什么使用pairs时它会发生变化.

#include <iostream>

struct Foo {
  Foo() {
    std::cout << "default" << std::endl;
  }
  Foo(Foo& f2) {
    std::cout << "non-const" << std::endl;
  }
  Foo(const Foo& f2) {
    std::cout << "const" << std::endl;
  }
};

// static_cast Foo lvalue to rvalue
Foo cast1(Foo foo){

    return static_cast<Foo&&>(foo);
}

// same : check weather foo and Foo are the same type
Foo cast2(Foo foo){
     return static_cast<typename std::remove_reference<Foo>::type&&>(foo);
}

int main() {

        Foo T1; // pair Foo object

        std::cout<<"Start"<<std::endl;
        std::cout<<std::endl;
        

        // (&&) rvalue casting
        T1 = cast2(Foo()); // First pair object

        std::cout << std::endl;

        Foo const foo = T1;// Second pair object

}

Clang 如何处理从 lvalue 到 rvalue 的转换以及这些不同输出的真正原因。

---

非常感谢任何意见，谢谢。

更新：我在接受的 cmets 部分得到了令人满意的答案。

Answer 1

我认为并非您示例中的所有内容都按照您的想法进行。返回中的static_cast 没有意义，cast1 和cast2 的结果将自动成为右值，因为您按值返回。此外，cast1 和cast2 在内部也是相同的，因为std::remove_reference_t<Foo> 只是Foo。如果你有一些模板，你需要remove_reference。

此外，您将作业与构造混合在一起。在T1 = cast2(Foo()); 中会发生以下情况：

1. 一个未命名的临时由Foo() 构造。这输出default
2. 这个临时文件被复制到cast2 的foo 参数。这会输出const，因为我们尝试从临时对象构造Foo 对象，并且只有const Foo&，而不是Foo&，可以绑定到临时对象。
3. static_cast 几乎什么都不做。
4. foo 被返回。通过返回值优化，不调用应该调用的构造函数。
5. 我们使用默认（和隐式）赋值运算符T1.operator=(const Foo&) 来分配返回值。什么都没有打印出来。

在Foo const foo = T1 中调用构造函数。由于T1 是一个左值，您将调用构造函数Foo(Foo&) 并打印non-const。