Skip to content

[unique.ptr.single] Throwing after 079f7d3b02d can be well-defined #4872

@JohelEGP

Description

@JohelEGP

079f7d3 added noexcept to certain constructors that had the precondition that some initialization didn't throw. Before, the effects was that throwing results in undefined behavior according to [structure.specifications]. 079f7d3 didn't remove the preconditions, but an exception throw within a noexcept function is well-defined. Could this have been an oversight?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions