草庐IT

不可平凡复制类型的 C++ 值表示

coder 2024-02-17 原文

C++ 标准的当前草案(2019 年 3 月)有以下段落([basic.types] p.4)(强调我的):

The object representation of an object of type T is the sequence of N unsigned char objects taken up by the object of type T, where N equals sizeof(T). The value representation of an object of type T is the set of bits that participate in representing a value of type T. Bits in the object representation that are not part of the value representation are padding bits. For trivially copyable types, the value representation is a set of bits in the object representation that determines a value, which is one discrete element of an implementation-defined set of values.

为什么突出显示的句子仅限于 trivially copyable 类型？是不是因为非平凡可复制对象的值表示中的某些位可能在其对象表示之外？ This answer ，以及 this one暗示这个。

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

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

用户决定some_other_type 类型对象的值 包含属于字符串s 的字符。

我试着想一些例子，其中一个对象的某些位(不是普通可复制)值表示在它的对象表示 是隐含的(实现必须这样做，它不是由用户任意决定的)。

我想出的一个例子是，具有虚方法的基类子对象的值表示可能包含来自完整对象的对象表示的位它所属的，因为与它本身是一个完整对象的情况相比，基类子对象的行为可能不同(可能“具有不同的值”)。

我想到的另一个例子是，vtable 也可能是其vtable 指针 对象的值表示 的一部分指向它。

这些例子正确吗？还有其他例子吗？

标准委员会是否引入了突出显示的句子，因为对象的语义“值”可能由用户决定(如两个链接的答案)，或者因为实现可能决定(或可能被迫)这样做，或两者兼而有之？

谢谢。

最佳答案

在我的理解中，你强调的句子的重点是这部分:

For trivially copyable types, the value representation is a set of bits in the object representation that determines a value, which is one discrete element of an implementation-defined set of values.

本质上，标准的[basic.types]#4 说“每个对象都有一组位O，它们是它的对象表示，还有一组位是它的值表示 V。集合 P = O without V 是填充位。对于普通可复制类型，V 是 O”。后者很重要，因为它意味着围绕 O 位集进行复制也可以安全地围绕 V 复制普通可复制类型，因此值得以保留。如何为其他类型定义 V 在这里无关紧要(如果需要，可以将其设置为整个抽象机)。

回答评论中提出的修改后的问题:

why can't an implementation tell what 1110000100010001111 means if it were the object representation of a non-trivially-copyable object? Is it because there are some other bits (outside of this object representation) that help decide what value the object has?

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

如果两个 std::string 对象具有相同的位模式，它们是否表示相同的东西？

没有。有 at least one implementation通过将其缓冲区指针指向自身 (gcc) 来指示小字符串优化。销毁时，当(且仅当)缓冲区未指向该确切位置时，缓冲区才会被释放。

显然，位于不同位置的两个 std::string 对象必须(在此实现中)用不同位模式表示相同(小)字符串值(缓冲区指针必须不同)。更重要的是，两个对象中的相同位模式可能意味着非常不同的事情 - 它可能在一种情况下表示 SSO，而在另一种情况下则不然。

如您所见，这里还有其他信息参与每个 std::string 的值表示:它在内存中的位置(即 this 的值) .标准未进一步指定如何以位表示。

关于不可平凡复制类型的 C++ 值表示，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/55225535/

amp43coderepresentationemc++language-lawyermemory-model

有关不可平凡复制类型的 C++ 值表示的更多相关文章

  1. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  2. ruby - Infinity 和 NaN 的类型是什么？ - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  3. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)

  4. ruby - Ruby 有 `Pair` 数据类型吗？ - 2

    有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？ 最佳

  5. ruby - 查找字符串中的内容类型(数字、日期、时间、字符串等) - 2

    我正在尝试解析一个CSV文件并使用SQL命令自动为其创建一个表。CSV中的第一行给出了列标题。但我需要推断每个列的类型。Ruby中是否有任何函数可以找到每个字段中内容的类型。例如，CSV行:"12012","Test","1233.22","12:21:22","10/10/2009"应该产生像这样的类型['integer','string','float','time','date']谢谢! 最佳答案 require'time'defto_something(str)if(num=Integer(str)rescueFloat(s

  6. ruby-on-rails - 在 Rails 开发环境中为 .ogv 文件设置 Mime 类型 - 2

    我正在玩HTML5视频并且在ERB中有以下片段:mp4视频从在我的开发环境中运行的服务器很好地流式传输到chrome。然而firefox显示带有海报图像的视频播放器，但带有一个大X。问题似乎是mongrel不确定ogv扩展的mime类型，并且只返回text/plain，如curl所示:$curl-Ihttp://0.0.0.0:3000/pr6.ogvHTTP/1.1200OKConnection:closeDate:Mon,19Apr201012:33:50GMTLast-Modified:Sun,18Apr201012:46:07GMTContent-Type:text/plain

  7. Ruby - 如何将消息长度表示为 2 个二进制字节 - 2

    我正在使用Ruby，我正在与一个网络端点通信，该端点在发送消息本身之前需要格式化“header”。header中的第一个字段必须是消息长度，它被定义为网络字节顺序中的2二进制字节消息长度。比如我的消息长度是1024。如何将1024表示为二进制双字节？ 最佳答案 Ruby(以及Perl和Python等)中字节整理的标准工具是pack和unpack。ruby的packisinArray.您的长度应该是两个字节长，并且按网络字节顺序排列，这听起来像是n格式说明符的工作:n|Integer|16-bitunsigned,network(bi

  8. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  9. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

  10. arrays - Ruby 数组 += vs 推送 - 2

    我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“

随机推荐