主页 / coding / 问题 / 79450319
Accepted
NJMR
Asked: 2025-02-19 13:56:16 +0800 CST

C++17：保证复制省略不起作用

  • 772

我已经写了下面的代码......

#include <iostream>
using namespace std;

struct Error {
   Error() { cout << "Constructor called\n"; }
   Error(const Error&) { cout << "Copy Constructor called\n"; }
};
void test() {
   throw Error();
}
int main() {
   try {
      test();
   }
   catch (Error e) {
   }
}

我在 C++17 及更高版本上获得以下输出...

Constructor called
Copy Constructor called

甚至 C++17 保证的复制省略也说"Copy elision is mandatory in Throwing and catching exceptions by value"。我得到了"Copy Constructor called"as 输出。

我是否遗漏了什么？

c++

1 个回答

  1. Best Answer

    在按值抛出和捕获异常时，复制省略是强制性的

    老实说，这不是强制性的，见下文，并且它按预期工作 - 当test()被调用时，编译器会保留一个内存，如果抛出异常，它将在该内存中构造。直到 C++17，它才能创建并将其复制到该保留存储中Error。test()Error

    您观察到的复制在此处完成：catch (Error e)-Error从保留存储复制到函数本地参数。在 C++17 之前，输出可能是

    Constructor called
Copy Constructor called
Copy Constructor called

    如果您不想复制对象，请修复它：catch (Error &e)或catch (const Error &e)。

    #include <iostream>

struct Error {
  Error() { std::cout << "Constructor called\n"; }
  Error(const Error &) { std::cout << "Copy Constructor called\n"; }
};

void test() { throw Error(); }

int main() {
  try {
    test();
  } catch (const Error &e) {
  }
}

// Output since C++17:
// Constructor called
// 
// Possible output until C++17:
// Constructor called
// Copy Constructor called

    class.copy.elision#1.4

    o可以通过将异常声明视为别名来省略复制初始化

    标准是说catch (Error e) 可以视为catch (Error &e)。注意，可以不是必须。

    • 7

相关问题