C++17 编译器gcc 或 Microsoft Visual C++，是否有选项禁止“不产生临时”功能

问题描述

我如何告诉 С++17 编译器在以下情况下创建临时文件 （即 C++17 编译器必须考虑复制/移动操作，就像 C++11 和 C++14 编译器一样）

class A{
    public:
        A(){}
        A(const A&)=delete;
        A(A&&)=delete;
};
A f(){
    return A();
}
int main(){
    auto a=f();
}

输出（c++14 - 这就是我想要的）：

gcc -std=c++14 ./a.cpp
./a.cpp: In function ‘A f()’:
./a.cpp:8:11: error: use of deleted function ‘A::A(A&&)’
  return A();
           ^
./a.cpp:5:3: note: declared here
   A(A&&)=delete;
   ^
./a.cpp: In function ‘int main()’:
./a.cpp:11:11: error: use of deleted function ‘A::A(A&&)’
  auto a=f();
           ^
./a.cpp:5:3: note: declared here
   A(A&&)=delete;
   ^

输出（c++17）：

gcc -std=c++17 ./a.cpp
./a.out

(successfully run)

我的客户拥有大量 C++11 代码和 C++17 编译器：gcc 8.3.0 和 Microsoft C++ 编译器（来自 Visual Studio 2017 和 2019）。 并且有很多地方包含上面的代码。 C++17编译器，有没有在这种情况下禁止“不产生临时”特性的选项？

解决方法

您不能（也不应该）停用保证省略。但是，如果您想在特定情况下阻止它，您需要做的就是不要使用纯右值：

A f(){
    A a{};
    return a;
}

这将要求 A 可以被移动，尽管移动可以（并且几乎肯定会）被忽略。

保证省略的要点之一是您现在可以返回不可移动类型的纯右值。这允许您通过工厂函数进行更复杂的初始化。这不是您希望在全球范围内阻止的事情。