Date: 2009-10-15.00:00:00

[Voted into WP at October, 2009 meeting.]

Date: 2009-07-15.00:00:00

Proposed resolution (July, 2009):

Change 6.9 [basic.types] paragraph 3 as follows:

For any trivially copyable type T , if two pointers to T point to distinct T objects obj1 and obj2 , where neither obj1 nor obj2 is a base-class subobject, if the value of underlying bytes (6.8.1 [intro.memory]) making up obj1 is are copied into obj2 , using the std::memcpy library function [Footnote: By using, for example, the library functions (16.4.2.3 [headers]) std::memcpy or std::memmove . —end footnote], obj2 shall subsequently hold the same value as obj1 . [Example:...

Date: 2009-04-29.00:00:00

The std::memcpy library function is singled out for special treatment in 6.9 [basic.types] paragraph 3:

For any trivially copyable type T , if two pointers to T point to distinct T objects obj1 and obj2 , where neither obj1 nor obj2 is a base-class subobject, if the value of obj1 is copied into obj2 , using the std::memcpy library function, obj2 shall subsequently hold the same value as obj1 .

This specification should not be restricted to std::memcpy but should apply to any bytewise copying, including std::memmove (as is done in the footnote in the preceding paragraph, for example).