代码之家 › 专栏 › 技术社区 › Curious

throw表达式中是否允许prvalue省略

prvalue c++17 exception-handling exception c++

Curious · 技术社区 · 8 年前

在 Â§[except.throw] ,该标准表示,引发异常副本将从引发表达式初始化异常对象。

引发异常副本会初始化(11.6,15.8)一个称为异常对象的临时对象

为什么下面的代码在C++ 17上编译?

class Exception {
public:
   Exception() = default;
   Exception(Exception&&) = delete;
   Exception(const Exception&) = delete;
};

int main() {
    throw Exception{};
    return 0;
}

( https://wandbox.org/permlink/R3WfzfnBAORTLVSy )

复制初始化不包括任何符合prvalue省略条件的情况(在我看来是这样)。为什么上面的代码在C++ 17中编译?

1 回复 | 直到 8 年前

Yakk - Adam Nevraumont 8 年前

从最近的 draft standard

11.6[DCL.init]/15

以大括号或相等初始值设定项的形式发生的初始化或条件(9.4),以及在参数传递、函数返回、引发异常(18.1)、处理异常(18.3)和聚合成员初始化(11.6.1)中,称为复制初始化。

所以 T x = T(); 是复制初始化的一个示例。抛出异常和许多其他情况也是如此。

复制初始化的作用在11.6的其他部分(以及其他形式的初始化)中定义。初始化器中有关prvalues的相关部分是:

11.6[DCL.init]/17.6.1

如果初始值设定项表达式是prvalue,并且源类型的cv非限定版本与目标的类相同,则使用初始值设定项表达式初始化目标对象。

这也被称为保证省略。如果初始值设定项表达式是匹配类型的prvalue表达式,则使用prvalue表达式直接构造初始化的目标。

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前