为何*std::make_unique<SomeClass>()可绑定非const引用？VS2019编译疑问

• function2编译报错的原因很直接：SomeClass()是纯右值，会生成临时对象，C++标准明确禁止临时对象绑定到非const左值引用，所以编译器报错是符合标准的。
• function1能正常编译，不是VS2019放宽了限制，而是*std::make_unique<SomeClass>()的结果根本不是临时对象：
  • std::make_unique会在堆上创建SomeClass对象，并返回一个std::unique_ptr<SomeClass>。
  • std::unique_ptr的operator*()返回的是SomeClass&——也就是指向堆上对象的左值引用。解引用这个引用得到的是堆上的SomeClass对象本身，属于左值，完全可以绑定到非const左值引用，这完全符合C++ ISO标准的规定。

简单说，两者的核心区别是：SomeClass()生成的是栈上临时对象（纯右值），而*make_unique指向的是堆上的持久对象（左值），所以编译器的处理完全合规。

内容的提问来源于stack exchange，提问作者Prasad Patil