haskell - foreign.Storable 中的大尺寸 Bool-6ren

haskell - foreign.Storable 中的大尺寸 Bool

转载作者：行者123 更新时间：2023-12-02 12:30:01

25

4

我明白了:

GHCi> import Foreign.Storable
GHCi> sizeOf False
4

我预计它是 1。但我认为它可能带有一些指针或迫使它变得更大的东西。但似乎没有必要:

GHCi> import Data.Word
GHCi> sizeOf (0 :: Word8)
1

是什么迫使Bool存储这么大？这似乎是对内存的巨大浪费。

最佳答案

从 GHC-8.2/base-4.10 开始，CBool 类型在通过 Storable 存储时只需要一个字节。

https://hackage.haskell.org/package/base-4.10.0.0/docs/Foreign-C-Types.html#t:CBool

或者，还有新的包 bool8。它提供了一个围绕 Bool 的包装类型，其 Storable 实例仅使用一个字节。

https://hackage.haskell.org/package/bool8

关于haskell - foreign.Storable 中的大尺寸 Bool，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/41777675/

25

4

0

文章推荐： amazon-web-services - Prometheus警报管理器不发送警报k8s

文章推荐： scala - Kotlin 中的三个问号？

文章推荐： android - ImageView的scaleType不起作用

c# - 正则表达式脑抽筋 - 匹配 "foreign"但不匹配 "foreign key"
仍在习惯正则表达式中的环视，但似乎无法理解 \b(?>! key)foreign\b 要成为正确的解决方案？我试图在某些文本中找到所有外来词的实例，但不是外键或外键。最佳答案前瞻需要在 forei
postgresql-9.4 - Postgres : foreign key to foreign table
我有一个外国表，例如: CREATE FOREIGN TABLE film ( id varchar(40) NOT NULL, title varcha
sql - “foreign key”和 “constraint foreign key”之间的区别
我的意思是例如我可以创建表 create table XTable ( idt int not null primary key, value nvarchar(50), idq int,
sql - 有什么理由不加入 Foreign Key 到 Foreign Key 吗？
我有以下表格: 财务: PK_FinancialID FK_SchoolID 学校: PK_SchoolID 类: PK_ClassID FK_SchoolID 类(class)名 Class 和 F
entity-framework - EF6 : navigation property foreign key to foreign key
我有一个旧数据库，我不能用每个实体中具有外键属性的两个实体更改它: EntityOne ForeignKey1 (pointing to EntityTwo.ForeignKey2) Enti
php - 无法添加或更新子行: a foreign key constraint fails (Mysql and Foreign key)
当我尝试运行代码时，出现此错误 Cannot add or update a child row: a foreign key constraint fails (hotel_info.results
c - 我如何编写可比较的 cffi :translate-into foreign defmethod for this cffi:translate-from-foreign?
好的，我尝试了这种从外国翻译过来的方法，它确实有效我在我的库中的 structs.lisp 文件中定义了这些，它在我所有其他依赖项之前首先加载 (cffi:defcstruct (cv-size :c
Django 管理员 : list_display/search_fields foreign key of a foreign key in admin view
我有一个 Django 程序员的问题应该很简单，但目前我不知道如何解决。我有这三个模型(我尽量简化): class Nations(models.Model): label = models
foreign-keys - 无法创建表(错误号 : 150) InnoDB adding foreign key constraints
真的很讨厌占用别人的时间，但问题似乎并没有消失。我考虑了 http://verysimple.com/2006/10/22/mysql-error-number-1005-cant-create-t
mysql错误: 1215 Cannot add foreign key constraint[ foreign keys same type, innodb]
我需要一双新的眼睛来看看我到底做错了什么。 CREATE TABLE IF NOT EXISTS `spring_normalize`.`users` ( `username` VARCHAR(6
mysql - 无法添加或更新子行: a foreign key constraint fails while adding another foreign key
我正在尝试在表中添加外键约束。我的表结构是:表请购单我想在下一张表中添加申请表的外键申请批准当我尝试使用以下 SQL 查询添加外键约束时: ALTER TABLE `requisition_ap
php - 无法添加或更新子行: a foreign key constraint fails(Foreign key issue in mysql)
每当我尝试将数据插入“学生”表时，都会收到此错误。下面是两个表，我使用的是MySql: 学生表: | Field | Type | Null | Key | Defaul
mysql - 错误 1215 : CANNOT ADD FOREIGN KEY CONSTRAINT ; Composite Foreign key
我收到错误代码 1215:无法为子表添加外键约束。父表具有复合主键。我想使用该复合主键作为子表中的外键。请指导我。父表 CREATE TABLE health.procedures( Spe
mysql - 未处理的拒绝 SequelizeDatabaseError : Foreign Key constraint error : cannot add foreign key
var state = require('./state') module.exports = function (sequelize, DataTypes) { var city = seq
sqlite - 在 Go GORM 中显示 Foreign Keys 的 Foreign Keys
我可以通过 this case 部分解决这个问题不幸的是，Preload() 函数似乎无法在相关对象集中进行更深入的研究。澄清一下，我有以下模型: type Room struct {
mysql - Laravel 抛出一般错误 : 1215 Cannot add foreign key constraint"when I create foreign keys
我正在使用 Laravel 6。我创建了一些迁移，但我无法让它们成功运行。这些是我的迁移。 public function up() { Schema::create('nationa
mysql - 错误 : Error 1215: Cannot add foreign key constraint when no foreign constraint being added
这是我的总输出: Executing SQL script in server ERROR: Error 1215: Cannot add foreign key constraint CREATE
sql - Postgres : Delete rows that has foreign key while not deleting data of the foreign key table
我有 postgres 数据库，我的应用程序是使用 django 构建的，我使用 south migration 来维护数据库模式。我有以下场景: user_table与userclickstream
java - 关系数据库(H2、Java): How do I constrain a foreign key to NOT match another foreign key in the same table?
简单的问题。只是想知道是否可以在不需要我在 Java 代码中手动强制执行此约束的情况下完成此操作。这两个外键(一起在同一个表中)都引用另一个表，但对于每一行，它们不得指向同一个外项。 link tex
mysql - 无法添加或更新子行 : a foreign key constraint fails CONSTRAINT `PageChild_Page_Id_fk` FOREIGN KEY (`PageId` ) REFERENCES `Page` (`Id` )
我正在为我的模型关联使用 Sails 和 Waterline，但我不确定要做什么才能修复我在尝试更新 PageChild 对象时收到的错误。 module.exports = { tableN

首页

博学

6Ren·AI

商城

haskell - foreign.Storable 中的大尺寸 Bool