This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.

4064. Clarify that std::launder is not needed when using the result of std::memcpy

Section: 27.5.1 [cstring.syn] Status: WP Submitter: Jan Schultke Opened: 2024-04-05 Last modified: 2024-11-28

Priority: 3

View all issues with WP status.

Discussion:

int x = 0;
alignas(int) std::byte y[sizeof(int)];
int z = *static_cast<int*>(std::memcpy(y, &x, sizeof(int)));

This example should be well-defined, even without the use of std::launder. std::memcpy implicitly creates an int inside y, and https://www.iso-9899.info/n3047.html#7.26.2.1p3 states that

The memcpy function returns the value of [the destination operand].

In conjunction with 27.5.1 [cstring.syn] p3, this presumably means that std::memcpy returns a pointer to the (first) implicitly-created object, and no use of std::launder is necessary.

The wording should be clarified to clearly support this interpretation or reject it.

[2024-06-24; Reflector poll]

Set priority to 3 after reflector poll.

Previous resolution [SUPERSEDED]:

This wording is relative to N4971.

  1. Modify 27.5.1 [cstring.syn] as indicated:

    -3- The functions memcpy and memmove are signal-safe (17.13.5 [support.signal]). Both functions implicitly create objects (6.7.2 [intro.object]) in the destination region of storage immediately prior to copying the sequence of characters to the destination. Both functions return a pointer to a suitable created object.

[St. Louis 2024-06-26; CWG suggested improved wording]

[St. Louis 2024-06-28; LWG: move to Ready]

[Wrocław 2024-11-18; approved by Core (again)]

[Wrocław 2024-11-23; Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4981.

  1. Modify 27.5.1 [cstring.syn] as indicated:

    -3- The functions memcpy and memmove are signal-safe (17.13.5 [support.signal]). Both Each of these functions implicitly create creates objects (6.7.2 [intro.object]) in the destination region of storage immediately prior to copying the sequence of characters to the destination. Each of these functions returns a pointer to a suitable created object, if any, otherwise the value of the first parameter.