草庐IT

c# - 结构中 C# 固定 bool 数组的大小和对齐方式是什么？

coder 2024-05-30 原文

在做P/Invoke的时候，数据布局的匹配很重要。

我们可以通过使用一些属性来控制结构的布局。

例如:

struct MyStruct 
{
    public bool f;
}

给出大小为 4。虽然我们可以告诉编译器将其设为 1 字节 bool 以匹配 bool 的 C++ 类型:

struct MyStruct
{
    [MarshalAs(UnmanagedType.I1)]
    public bool f;
}

大小为 1。

这些是有道理的。但是当我测试固定的 bool 数组时，我感到困惑。

unsafe struct MyStruct
{
    public fixed bool fs[1];
}

给出 4 个字节的大小。和

unsafe struct MyStruct
{
    public fixed bool fs[4];
}

仍然给出 4 个字节的大小。但是

unsafe struct MyStruct
{
    public fixed bool fs[5];
}

大小为 8。

看起来在固定的bool数组中，bool元素的大小仍然是1个字节，但是对齐是4个字节。这与大小为 1 字节且对齐的 C++ bool 数组不匹配。

有人可以解释一下吗？

更新:我终于知道了，原因是，在结构中输入 bool，那么该结构将永远不会被 blittable!所以不要指望内部具有 bool 类型的结构与 C 中的布局相同。

问候， 翔。

最佳答案

bool 比较特殊，它可以追溯到 Dennis Ritchie 决定不给 C 语言一个 bool 类型。这造成了大量困惑，语言和操作系统设计者自己添加了它并做出了不兼容的选择。

它作为 BOOL typedef 添加到 Winapi。如果您不强制使用另一种类型，那么这是默认的编码(marshal)处理。类型定义为 int 以保持它与 C 兼容，正如您所发现的那样占用 4 个字节。并对齐到 4，如您所见，就像任何 int 一样。

它被添加到 C++ 中。在没有大小规范的情况下，大多数 C++ 编译器实现选择单个字节进行存储。最引人注目的是 Microsoft C++ 编译器，它是您最有可能与之互操作的实现。

它作为 VARIANT_BOOL 添加到 COM Automation。最初的目标是作为 Visual Basic 的新扩展模型来摆脱 VBX 的限制，它变得非常流行，Windows 上几乎所有的语言运行时现在都支持它。当时的 VB 深受 16 位操作系统敏感性的影响，一个 VARIANT_BOOL 需要 2 个字节。

所有三种 native 运行时环境都可能是 C# 程序中互操作的目标。显然，CLR 设计者需要做出一个非常困难的选择，必须在 1、2 和 4 个字节之间做出选择。没有办法取胜，虽然 CLR 确实有机会猜测 COM 互操作，但它无法知道您是否尝试与基于 C 的 api 或 C++ 程序进行互操作。因此，他们做出了唯一合乎逻辑的选择:一个都不选。

包含 bool 值的结构或类类型永远不会blittable。即使您应用 [MarshalAs(UnmanagedType.U1)]，也不会使其与 CLR 类型兼容。不太确定这是一个好的决定，但这是他们做出的决定，所以我们必须处理它。

获得一个 blittable 结构是非常可取的，它避免了复制。它允许 native 代码直接访问托管堆和堆栈。非常危险，许多损坏的 pinvoke 声明已经破坏了 GC 堆，而没有 unsafe 关键字警告的通常好处。但速度是无可匹敌的。

您不是使用bool 得到一个blittable 结构。请改用 byte。您仍然可以通过使用属性包装结构成员来取回 bool 值。不要使用自动实现的属性，您必须关心字节的位置。因此:

struct MyStruct 
{
    private byte _f;
    public bool f {
        get { return _f != 0; }
        set { _f = value ? 1 : 0; }
    }
}

native 代码忽略了该属性。不要担心 getter 和 setter 的运行时开销，抖动优化器使它们消失，并且它们各自变成一个 CPU 指令。

关于c# - 结构中 C# 固定 bool 数组的大小和对齐方式是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/34647868/

小和c#boolcodeC++pinvoke

有关c# - 结构中 C# 固定 bool 数组的大小和对齐方式是什么？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  3. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

  4. ruby-on-rails - 在 Ruby 中循环遍历多个数组 - 2

    我有多个ActiveRecord子类Item的实例数组，我需要根据最早的事件循环打印。在这种情况下，我需要打印付款和维护日期，如下所示:ItemAmaintenancerequiredin5daysItemBpaymentrequiredin6daysItemApaymentrequiredin7daysItemBmaintenancerequiredin8days我目前有两个查询，用于查找maintenance和payment项目(非排他性查询)，并输出如下内容:paymentrequiredin...maintenancerequiredin...有什么方法可以改善上述(丑陋的)代

  5. ruby - 如何以所有可能的方式将字符串拆分为长度最多为 3 的连续子字符串？ - 2

    我试图获取一个长度在1到10之间的字符串，并输出将字符串分解为大小为1、2或3的连续子字符串的所有可能方式。例如:输入:123456将整数分割成单个字符，然后继续查找组合。该代码将返回以下所有数组。[1,2,3,4,5,6][12,3,4,5,6][1,23,4,5,6][1,2,34,5,6][1,2,3,45,6][1,2,3,4,56][12,34,5,6][12,3,45,6][12,3,4,56][1,23,45,6][1,2,34,56][1,23,4,56][12,34,56][123,4,5,6][1,234,5,6][1,2,345,6][1,2,3,456][123

  6. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  7. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  8. ruby - 多次弹出/移动 ruby​​ 数组 - 2

    我的代码目前看起来像这样numbers=[1,2,3,4,5]defpop_threepop=[]3.times{pop有没有办法在一行中完成pop_three方法中的内容？我基本上想做类似numbers.slice(0,3)的事情，但要删除切片中的数组项。嗯...嗯，我想我刚刚意识到我可以试试slice! 最佳答案 是numbers.pop(3)或者numbers.shift(3)如果你想要另一边。 关于ruby-多次弹出/移动ruby​​数组，我们在StackOverflow上找到一

  9. ruby - 将数组的内容转换为 int - 2

    我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值，但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗？ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案 只需将数组映射为整数:@land边注如果你想得到一条线的平均值，你可以这样做:values=@input[x]

  10. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

随机推荐