非日常可复制类型的C++值表示

Question

类型T的对象的对象表示形式是类型T的对象所占用的N个无符号char对象的序列，其中N等于sizeof(T)。类型T的对象的值表示是参与表示类型T的值的一组位。对象表示中不属于值表示的位是填充位。对于基本可复制的类型，值表示形式是对象表示形式中确定值的一组位，该值是实现定义的值集的一个离散元素。

为什么突出显示的句子仅限于可复制的类型？是否因为一个非日常可复制对象的值表示中的一些位可能在其对象表示之外？这个答案和这个答案都暗示了这一点。

然而，在上面链接的答案中，对象的概念值是基于用户引入的语义。在第一个链接答案的示例中：

class some_other_type
{
    int a;
    std::string s;
};

标准委员会引入突出显示的句子是因为一个对象的语义“值”可以由用户决定（就像两个链接的答案一样），还是因为实现可以决定（或被迫）这样做，或者两者兼而有之？

谢谢你。

Answer 1

在我的解释中，你突出强调的句子的重点是这一部分：

对于基本可复制的类型，值表示形式是对象表示形式中确定值的一组位，该值是实现定义的值集的一个离散元素。

基本上，标准的[basic.types]#4说“每个对象都有一组位O，这是它的对象表示形式，还有一组位V，这组位P=O而没有V是填充位。对于日常可复制的类型，V是O的子集”。后者很重要，因为它意味着围绕O位集进行复制也可以安全地围绕V进行简单可复制类型的复制，从而保留值。在这里，如何为其他类型定义v与此无关（如果需要，请将其设置为整个抽象机器）。

回答评论中提出的订正问题：

如果11100001000100010001111是一个不可复制的对象的对象表示形式，为什么一个实现不能告诉它是什么意思？是因为有其他一些位（在这个对象表示之外）帮助决定对象的值吗？

让我们以std::string为例。它不是简单的可复制的，因为它必须处理内存管理。