Crystal 1.14 版本全解析Windows aarch64 支持、非阻塞 I/O、BigFloat 浮点函数与编译器外部命令【免费下载链接】crystalThe Crystal Programming Language项目地址: https://gitcode.com/gh_mirrors/cr/crystalCrystal 1.14 于 2024 年 10 月 9 日正式发布随后 1.14.1 补丁版本于 2025 年 1 月 8 日跟进。本篇文章以官方变更日志 doc/changelogs/v1.14.md 为主体脉络逐项拆解该版本在语言、标准库、编译器、工具链与基础设施层面的全部变更并结合当前仓库源码验证其底层实现。读完本文你将掌握 1.14 引入的 Windows aarch64 目标、非阻塞文件 I/O、WaitGroup便捷 API、BigFloat浮点操作函数、URI::Params::Serializable序列化、宏系统新方法以及crystal外部命令机制等关键技术点并了解升级时需要注意的破坏性变更与弃用项。版本时间线与概览版本发布日期定位1.14.02024-10-09主版本大量新特性、性能优化与重构1.14.12025-01-08补丁版本formatter 修复与 CI 基础设施更新1.14 的核心主题可以概括为三点进一步夯实 Windows 平台支持新增 aarch64 目标、非阻塞 I/O、异步 DNS、解释器支持、丰富数值与集合 APIBigFloat浮点操作、Slice负索引与same?以及编译器与工具链的基础设施升级LLVM 19.1、并行 codegen、外部命令机制。以下按官方日志的分类逐项展开。语言特性常量数值表达式支持^运算符### lang - Allow ^ in constant numeric expressions (#14951, thanks HertzDevil)1.14 允许在常量数值表达式中使用位异或运算符^。此前该运算符在常量上下文中受限如今形如XOR_KEY 0xFF ^ 0x0F的常量定义可以直接参与编译期常量折叠让位运算掩码、校验值等编译期计算更加灵活。这属于语言层面的表达式能力扩展为后续在类型与宏相关场景中使用常量位运算扫清了障碍。标准库新增特性stdlib Features集合collection1.14 对Slice做了两项重要扩充其中一项带有破坏性标记Slice#[start, count]支持负起始索引#14778[breaking]切片子区间访问现在允许负数start语义与数组索引一致——负值从末尾倒数。例如Slice[1, 2, 3, 4][-2, 2]将取到[3, 4]。由于该行为变化会影响依赖越界异常语义的既有代码日志明确标注为breaking升级时若对Slice子区间做过边界假设需重新审视。新增Slice#same?#14728判断两个切片是否指向同一块内存即底层指针与大小完全一致而不是逐元素比较内容。从源码实现看# src/slice.cr def same?(other : self) : Bool to_unsafe other.to_unsafe size other.size end文档示例清晰地展示了它与的区别slice Slice[1, 2, 3]可能为true内容相等而slice.same?(slice)为true、slice.same?(slice 1)为false指针偏移后不再相同。该 API 对零拷贝子切片场景下的别名判断非常实用例如判断slice[0, 2]是否与另一个切片共享存储。并发concurrency这一组变更几乎是围绕Windows 非阻塞 I/O展开的系统性工程WaitGroup.wait与WaitGroup#spawn#14837为 src/wait_group.cr 补充了类级便捷方法与实例级spawn。类方法WaitGroup.wait do |wg| ... end内部创建实例、yield 给块、再自动wait而wg.spawn { ... }则先add计数、派生纤程执行块、ensure中done递减把计数-派发-等待压缩成一行式用法WaitGroup.wait do |wg| items.each do |item| wg.spawn { process item } end endWindows 非阻塞文件 I/O 系列#14921 / #14940 / #14958 / #14941 / #14943 / #14947普通文件以 overlapped重叠 I/O方式打开File#read、File#write、File#read_at、Process.run的标准流、IO::FileDescriptor#flock_*以及STDIN控制台均获得非阻塞支持。这意味着 Windows 上不再依赖系统级阻塞调用而是接入与 UNIX 事件循环对等的异步路径。Windows 异步 DNS 解析#14979Socket::Addrinfo的解析在 Windows 上改为异步配合 1.14 中新增的 Crystal::System::Addrinfo#14957抽象让 Windows 的域名解析不再阻塞事件循环内的其他纤程。加密crypto更新LibCrypto绑定以支持 LibreSSL 3.5#14872调整了 OpenSSL/LibreSSL 底层 C 绑定src/openssl 与 src/lib_c 相关绑定使标准库在与 LibreSSL 3.5 及更高版本链接时能够正确编译与运行。LLVM 绑定1.14 对 LLVM 绑定做了多维度增强源码见 src/llvm暴露neg与fneg指令构建器#14774LLVM::Builder新增整型取负与浮点取负的指令生成方法供编译器代码生成与 JIT 场景直接使用。LLVM::Builder#finalize#14892为构建器补充显式的释放钩子与 src/llvm/builder.cr 中已有的dispose/finalize机制对应让Builder的生命周期管理更可控。支持 LLVM 19.1#14842官方 LLVM 绑定适配 19.1 的 API 变动编译期检查由 scripts/generate_llvm_version_info.cr 等脚本维护。最小 LLVM OrcV2 绑定#14887[experimental]新增 src/llvm/orc 目录下的 OrcV2 最小绑定为未来的 JIT 编译链路铺路实验性标记意味着 API 可能在后续版本调整。宏macros宏系统新增三个查询能力均实现在 src/compiler/crystal/macros.crCrystal::Macros::TypeNode#has_inner_pointers?#14847判断类型是否包含内部指针。源码注释解释了其用途Pointer(T).malloc仅在T无内部指针时才是原子的ReferenceStorage(T)同理。这对于在宏中判断能否安全地以原子方式分配对象、选择存储策略至关重要。注意该方法必须在方法体内调用顶层代码中结果可能不正确。HashLiteral#has_key?#14890在宏环境中判断哈希字面量是否包含指定键返回BoolLiteral签名见 macros.cr 中def has_key?(key : ASTNode) : BoolLiteral。NamedTupleLiteral#has_key?#14890与上一条配套判断命名元组字面量是否包含SymbolLiteral | StringLiteral | MacroId类型的键。数值numeric为BigFloat实现浮点操作函数#11007在 src/big/big_float.cr 中补齐了ilogb、logb、ldexp、frexp等底层浮点分解/合成函数其中# src/big/big_float.cr def ilogb(value : BigFloat) : Int64 raise ArgumentError.new Cannot get exponent of zero if value.zero? # 通过 GMP 尾数 leading zeros 与指数推导无偏二进制指数 end def ldexp(value : BigFloat, exp : Int) : BigFloat # 内部经由 LibGMP.mpf_mul_2exp / mpf_div_2exp 实现 endfrexp将数值分解为归一化分数与 2 的整数次幂对零返回{BigFloat.zero, 0_i64}ilogb/logb返回无偏二进制指数对零抛出ArgumentError。这些函数填补了BigFloat在 IEEE 754 风格位级/指数级操作上的空白让高精度科学计算代码可以直接使用。运行时runtime停止/启动世界undocumented API#14729新增未公开的 stop-the-world API供 GC 等运行时子系统在需要全停顿的临界区使用属于内部接口不建议业务代码调用。Pointer::Appender#to_slice#14874指针追加器可以一次性导出为Slice方便在动态构建缓冲区后统一以切片视图消费数据。序列化serializationURI.from_json_object_key?与URI#to_json_object_key#14834为URI补上 JSON 对象键的序列化/反序列化钩子使其可以作为 JSON 对象的键类型使用。这类约定在标准库中已有先例见 src/big/json.cr 中BigInt/BigFloat的同名方法实现from_json_object_key?解析失败时返回nilto_json_object_key返回字符串形式。URI::Params::Serializable#14684这是 1.14 序列化领域的重头戏。该模块定义于 src/uri/params/serializable.cr为结构体自动生成x-www-form-urlencoded的序列化与反序列化方法require uri/params/serializable struct Applicant include URI::Params::Serializable getter first_name : String getter last_name : String getter qualities : Array(String) end applicant Applicant.from_www_form first_nameJohnlast_nameDoequalitieskindqualitiessmart applicant.first_name # John applicant.qualities # [kind, smart] applicant.to_www_form # first_nameJohnlast_nameDoequalitieskindqualitiessmart其特性包括支持Union类型含nil联合多个类型都能解析时选择结果不确定通过URI::Params::Field注解逐字段定制行为可配置项有ignore完全跳过该字段默认falseignore_serialize仅跳过序列化值可为任意 Crystal 表达式、运行时求值默认falseignore_deserialize仅跳过反序列化默认falseconverter指定自定义转换类型需定义from_www_form(params : URI::Params, name : String)典型用途是定制Time的格式反序列化尊重实例变量的默认值被忽略的字段若非nilable且无默认值会在编译期直接raise将错误前置到编译阶段。一个使用注意点源码 NOTE 中明确说明该模块会在引入类型上定义内部构造器因此默认的无参构造器def initialize; end不再自动存在——即使所有实例变量都有默认初始化器也需要显式定义构造器。系统systemWindows 启用完整异常回溯#14796Process.spawn相关路径上子进程异常不再丢失调用栈。System::User与System::Group的 Windows 实现#14933 / #14945此前仅 UNIX 可用的用户/组查询在 Windows 上补齐相关重构见 #14929 / #14930由extend改为include以共享默认实现。Crystal::EventLoop新增方法#14977事件循环接口为 sleep 与 select 超时重构#14980提供了配套能力。文本textString#titleize新增underscore_to_space选项#14822实现在 src/string.cr 中foo_bar.titleize # Foo_bar foo_bar.titleize(underscore_to_space: true) # Foo Bar源码中underscore_to_space : Bool false为默认关闭的命名参数。开启后下划线_在标题化过程中被视为空格转换为空格且其后的字母大写。实现同时提供带IO的写入版本titleize(io, options, underscore_to_space:)并在 ASCII 可优化路径上做了单字节快速分支。这对把 snake_case 标识符展示为标题的场景如生成 UI 文案、报表表头非常实用。支持 Unicode 16.0.0#14997标准库的 Unicode 数据字符属性、大小写映射、字素簇等全面升级到 Unicode 16.0.0。仓库中的 scripts/generate_unicode_data.cr、scripts/generate_grapheme_properties.cr 等生成脚本即为这套数据的来源。编译器与解释器compiler Features外部命令的初始支持#14953crystalCLI 开始支持把未识别的子命令转发给外部可执行程序处理形成可插拔的子命令生态。仓库中已有对应的集成测试 spec/compiler-cli/crystal-external-command_spec.cr 可以佐证该机制。解释器Crystal::Repl::Value#runtime_type#14156REPL 值对象暴露运行时类型信息便于交互式环境内省。解释器实现Reference.pre_initialize#14968补齐解释执行路径上引用类型预初始化的语义一致性。在 Windows 上启用解释器#14964配合 #14988移除 Windows 上Crystal::Loader的 TODOcrystal i/REPL 正式在 Windows 平台可用。Bugfixes本轮修复要点1.14 的修复项同样横跨语言、标准库、编译器与工具四层按模块整理如下。语言与宏修复Slice.literal在多次调用且签名完全相同时的错误展开#15009为部分MacroIf节点补充位置信息#14885改善宏相关报错的可读性宏内部改用Enumerable#sort_by实现#sort_by#14895修复对External节点调用#is_a?时触发内部错误的问题#14918修复TopLevelVisitor将已存在的ClassDef类型重复加入当前作用域的问题#15067。集合、数值与文本Range#size返回类型修正为Int32#14588String#to_f(whitespace: false)处理空字符串的边界修复#14902Math.frexp(BigFloat)超大值的指数回绕修复#14971BigFloat#to_s超大值的指数溢出修复#14982为 MPIR 补充缺失的[Link(dll:)]注解#15003String#byte_index的offset参数增加类型限制#14981避免在未使用时链接libpcre#14891减小无关依赖。文件、并发与网络修复 Win32 追加模式下File#truncate与#lock的回归问题#14706[regression]避免Socket与IO::FileDescriptor在 finalizer 中 flush#14882[breaking]此变更改变了关闭时的隐式行为依赖 finalizer 落盘的代码需要显式flushIO::Buffered#buffer_size改为幂等#14855更新 Windows 上下文切换所需的DeallocationStack#15032修复pthread_create句柄初始化中的竞态#15043修复 Windows 上Socket#connect使用错误超时的问题#14961移除XML::Error.errors#14936[breaking]XML 错误集合 API 被移除修复Expectations::Be针对模块类型的回归#14926[regression]。系统与运行时修复ENV.fetch的返回类型限制#14919UNIX 上#file_descriptor_close现在会正确设置closed#14973UNIX 上 fork 之后先重新初始化事件循环#14975并在System::Process.spawn中避免 fork 后继续纠缠事件循环#14974修复LibC.VirtualQuery缺失的返回类型#15036修复 musl-libc 主栈顶检测#15047缓存Exception::CallStack.empty以避免重复分配Array#15025[regression]修复。编译器为链接器标志子命令补充错误处理#14932允许从顶层fun返回Proc#14917修复 specs 带 C 源码时的 CRT 静态/动态链接冲突#14970修复解释执行代码中 Linuxgetrandom失败的问题#15035修复解释器混合 union 上转型中的未定义行为#15042。工具链crystal tool dependencies的 flat 格式输出修复#14927与 Windows 路径过滤修复#14928crystal tool unreachable及其同类工具在遍历循环层级时的修复#15065相关命令文档见 doc/man/crystal-tool-unreachable.adocdocs 生成器修复宏展开上方注解文档注释的问题#14849。弃用项与迁移指南Deprecations1.14 标记了三项弃用升级时应尽早迁移弃用内容说明迁移方向Benchmark.ips的时间参数改用Time::Span#14805将Number形式的秒数改为Time::Span如1.second实现见 src/benchmark/ips.cr::sleep(Number)#14962改传Time::Span如sleep 100.milliseconds保持类型安全、避免单位歧义Pointer.new(Int)#14875改用显式分配方式如Pointer(T).malloc构造指针而不是从整数直接转换同时spec 中也同步清理了对已弃用重载的使用#14963保证标准库自身测试在弃用警告下保持干净。性能优化Performance1.14 的性能工作分布在标准库与编译器两侧标准库简单类型一律使用不稳定排序#14825对于Int、Float、指针等简单类型Enumerable的排序不再尝试稳定排序直接走更快的unstable路径优化Hash#transform_keys与Hash#transform_values#14502减少不必要的重建开销实现在 src/hash.cr优化BigFloat与整数之间的算术#14944高精度数值与原生整数的混合运算减少中间转换缓存Exception::CallStack.empty#15025避免异常路径上的重复堆分配。编译器方法调用查找热路径上避免栈展开#15002减少查找失败时不必要的栈回溯开销模块派发中减少Crystal::Type#remove_indirection调用#14992编译器启用 MT 并行 codegen#14748配合 #14760 的 codegen 重构多线程代码生成让多模块程序的编译吞吐得到提升。重构与内部架构演进Refactor这一批变更揭示了 1.14 的内部工程方向并发层将select从 src/channel.cr 抽取为独立文件#14912现位于 src/channel/select.crCrystal::IOCP::OverlappedOperation改为抽象类#14987#evented_read/#evented_write移入Crystal::LibEvent::EventLoop#14883。网络层简化Socket::Addrinfo.getaddrinfo()#14956新增 Crystal::System::Addrinfo 系统抽象#14957为异步 DNS 铺路。运行时新增Exception::CallStack.empty#15017。系统层Crystal::System::User/Group由extend改为include共享默认实现#14929 / #14930Crystal::SpinLock不再要求堆上分配#14972事件循环接口为 sleep 与 select 超时重构#14980IOCP 取消逻辑重构#14754。编译器codegen 大规模重构#14760解释器栈代码重构以避免重复宏展开#14876。文档与测试Documentation Specs文档侧对应变更日志Documentation小节Hash::Entry从公开 API 文档中隐藏#14881[breaking]性质的行为变更属于文档可见性调整修复Set与Hash文档中的拼写错误#14889为LLVM::DIBuilder添加[Experimental]标记#14854补充同步 DNS 解析的文档#15027将uri/json加入docs_main#15069补充Pointer对齐要求的文档#14853、重写Pointer#memcmp文档#14818、补充NoReturn与Void的文档#14817。测试侧对应变更日志Specs小节标准库 specs 清理已弃用重载的使用#14963在 AArch64 上禁用Tuple#to_static_arrayspec#14844新增 JSON 解析 UTF-8 spec#14823为String#index/#rindex搜索Char::REPLACEMENT补充测试#14946codegen specs 支持返回类型声明#14888、支持 LLVM OrcV2#14886、避免在不需要 prelude 时派生子进程#14904、修复虚类型ProcPointer的 codegen spec#14903。基础设施Infrastructure1.14 的 CI 与构建基础设施围绕平台覆盖与依赖可控做了大量调整发布流程连续合并 1.13 分支的 1.13.1/1.13.2/1.13.3 维护版本#14810 / #14924 / #14925 / #15012 / #15016更新 shard.yml 版本号#14909与 distribution-scripts#14877重构 GitHub changelog 生成器#14795并修复Makefile.win中SOURCE_DATE_EPOCH的回归#14922[regression]。CI 平台actions/checkout 升级到 v4#14896LLVM 18 用于wasm32-test#14821OpenSSL 包仓库固定#14831新增 OpenSSL 3.3 测试#14873SSL workflow 改为 job matrix#14899XCode 升级至 15.4.0#14794GitHub runner 迁移到macos-14#14833Windows CI 使用 Cygwin 构建 libiconv#14999并改用自有libffi仓库#14998取消非发布版 Windows 编译器产物#15000并修复 WindowsCI 产物名#15021CI 运行器内存按任务类型区分stdlib 16GB / 其余 8GB#15030 / #15044。这些改动与 1.14 的 Windows 大主题相互印证新增 aarch64-windows 支持、事件循环与 I/O 的 Windows 化都需要 CI 层面的稳定构建与测试保障。小结与升级建议从 doc/changelogs/v1.14.md 看Crystal 1.14 是一次平台纵深 API 密度双轮驱动的版本Windows 是一等公民的进一步落地aarch64 目标、非阻塞文件 I/O、异步 DNS、解释器、System::User/System::Group一应俱全新增 API 实用性强WaitGroup.wait/#spawn、Slice#same?、String#titleize(underscore_to_space:)、URI::Params::Serializable都是开箱即用的高频能力升级需注意三处破坏性变更Slice#[start, count]负索引语义、finalizer 不再 flushSocket/IO::FileDescriptor、移除XML::Error.errors尽早处理三项弃用::sleep(Number)、Pointer.new(Int)与Benchmark.ips的数值时间参数。若需查看 1.14 前后版本的演进脉络可对照 doc/changelogs 目录下的相邻版本日志本版本所有列出的能力均可直接在当前仓库源码src 标准库与编译器、spec 测试中找到对应实现与验证用例。【免费下载链接】crystalThe Crystal Programming Language项目地址: https://gitcode.com/gh_mirrors/cr/crystal创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 Crystal 1.14 版本全解析：Windows aarch64 支持、非阻塞 I/O、BigFloat 浮点函数与编译器外部命令
Crystal 1.14 版本全解析Windows aarch64 支持、非阻塞 I/O、BigFloat 浮点函数与编译器外部命令【免费下载链接】crystalThe Crystal Programming Language项目地址: https://gitcode.com/gh_mirrors/cr/crystalCrystal 1.14 于 2024 年 10 月 9 日正式发布随后 1.14.1 补丁版本于 2025 年 1 月 8 日跟进。本篇文章以官方变更日志 doc/changelogs/v1.14.md 为主体脉络逐项拆解该版本在语言、标准库、编译器、工具链与基础设施层面的全部变更并结合当前仓库源码验证其底层实现。读完本文你将掌握 1.14 引入的 Windows aarch64 目标、非阻塞文件 I/O、WaitGroup便捷 API、BigFloat浮点操作函数、URI::Params::Serializable序列化、宏系统新方法以及crystal外部命令机制等关键技术点并了解升级时需要注意的破坏性变更与弃用项。版本时间线与概览版本发布日期定位1.14.02024-10-09主版本大量新特性、性能优化与重构1.14.12025-01-08补丁版本formatter 修复与 CI 基础设施更新1.14 的核心主题可以概括为三点进一步夯实 Windows 平台支持新增 aarch64 目标、非阻塞 I/O、异步 DNS、解释器支持、丰富数值与集合 APIBigFloat浮点操作、Slice负索引与same?以及编译器与工具链的基础设施升级LLVM 19.1、并行 codegen、外部命令机制。以下按官方日志的分类逐项展开。语言特性常量数值表达式支持^运算符### lang - Allow ^ in constant numeric expressions (#14951, thanks HertzDevil)1.14 允许在常量数值表达式中使用位异或运算符^。此前该运算符在常量上下文中受限如今形如XOR_KEY 0xFF ^ 0x0F的常量定义可以直接参与编译期常量折叠让位运算掩码、校验值等编译期计算更加灵活。这属于语言层面的表达式能力扩展为后续在类型与宏相关场景中使用常量位运算扫清了障碍。标准库新增特性stdlib Features集合collection1.14 对Slice做了两项重要扩充其中一项带有破坏性标记Slice#[start, count]支持负起始索引#14778[breaking]切片子区间访问现在允许负数start语义与数组索引一致——负值从末尾倒数。例如Slice[1, 2, 3, 4][-2, 2]将取到[3, 4]。由于该行为变化会影响依赖越界异常语义的既有代码日志明确标注为breaking升级时若对Slice子区间做过边界假设需重新审视。新增Slice#same?#14728判断两个切片是否指向同一块内存即底层指针与大小完全一致而不是逐元素比较内容。从源码实现看# src/slice.cr def same?(other : self) : Bool to_unsafe other.to_unsafe size other.size end文档示例清晰地展示了它与的区别slice Slice[1, 2, 3]可能为true内容相等而slice.same?(slice)为true、slice.same?(slice 1)为false指针偏移后不再相同。该 API 对零拷贝子切片场景下的别名判断非常实用例如判断slice[0, 2]是否与另一个切片共享存储。并发concurrency这一组变更几乎是围绕Windows 非阻塞 I/O展开的系统性工程WaitGroup.wait与WaitGroup#spawn#14837为 src/wait_group.cr 补充了类级便捷方法与实例级spawn。类方法WaitGroup.wait do |wg| ... end内部创建实例、yield 给块、再自动wait而wg.spawn { ... }则先add计数、派生纤程执行块、ensure中done递减把计数-派发-等待压缩成一行式用法WaitGroup.wait do |wg| items.each do |item| wg.spawn { process item } end endWindows 非阻塞文件 I/O 系列#14921 / #14940 / #14958 / #14941 / #14943 / #14947普通文件以 overlapped重叠 I/O方式打开File#read、File#write、File#read_at、Process.run的标准流、IO::FileDescriptor#flock_*以及STDIN控制台均获得非阻塞支持。这意味着 Windows 上不再依赖系统级阻塞调用而是接入与 UNIX 事件循环对等的异步路径。Windows 异步 DNS 解析#14979Socket::Addrinfo的解析在 Windows 上改为异步配合 1.14 中新增的 Crystal::System::Addrinfo#14957抽象让 Windows 的域名解析不再阻塞事件循环内的其他纤程。加密crypto更新LibCrypto绑定以支持 LibreSSL 3.5#14872调整了 OpenSSL/LibreSSL 底层 C 绑定src/openssl 与 src/lib_c 相关绑定使标准库在与 LibreSSL 3.5 及更高版本链接时能够正确编译与运行。LLVM 绑定1.14 对 LLVM 绑定做了多维度增强源码见 src/llvm暴露neg与fneg指令构建器#14774LLVM::Builder新增整型取负与浮点取负的指令生成方法供编译器代码生成与 JIT 场景直接使用。LLVM::Builder#finalize#14892为构建器补充显式的释放钩子与 src/llvm/builder.cr 中已有的dispose/finalize机制对应让Builder的生命周期管理更可控。支持 LLVM 19.1#14842官方 LLVM 绑定适配 19.1 的 API 变动编译期检查由 scripts/generate_llvm_version_info.cr 等脚本维护。最小 LLVM OrcV2 绑定#14887[experimental]新增 src/llvm/orc 目录下的 OrcV2 最小绑定为未来的 JIT 编译链路铺路实验性标记意味着 API 可能在后续版本调整。宏macros宏系统新增三个查询能力均实现在 src/compiler/crystal/macros.crCrystal::Macros::TypeNode#has_inner_pointers?#14847判断类型是否包含内部指针。源码注释解释了其用途Pointer(T).malloc仅在T无内部指针时才是原子的ReferenceStorage(T)同理。这对于在宏中判断能否安全地以原子方式分配对象、选择存储策略至关重要。注意该方法必须在方法体内调用顶层代码中结果可能不正确。HashLiteral#has_key?#14890在宏环境中判断哈希字面量是否包含指定键返回BoolLiteral签名见 macros.cr 中def has_key?(key : ASTNode) : BoolLiteral。NamedTupleLiteral#has_key?#14890与上一条配套判断命名元组字面量是否包含SymbolLiteral | StringLiteral | MacroId类型的键。数值numeric为BigFloat实现浮点操作函数#11007在 src/big/big_float.cr 中补齐了ilogb、logb、ldexp、frexp等底层浮点分解/合成函数其中# src/big/big_float.cr def ilogb(value : BigFloat) : Int64 raise ArgumentError.new Cannot get exponent of zero if value.zero? # 通过 GMP 尾数 leading zeros 与指数推导无偏二进制指数 end def ldexp(value : BigFloat, exp : Int) : BigFloat # 内部经由 LibGMP.mpf_mul_2exp / mpf_div_2exp 实现 endfrexp将数值分解为归一化分数与 2 的整数次幂对零返回{BigFloat.zero, 0_i64}ilogb/logb返回无偏二进制指数对零抛出ArgumentError。这些函数填补了BigFloat在 IEEE 754 风格位级/指数级操作上的空白让高精度科学计算代码可以直接使用。运行时runtime停止/启动世界undocumented API#14729新增未公开的 stop-the-world API供 GC 等运行时子系统在需要全停顿的临界区使用属于内部接口不建议业务代码调用。Pointer::Appender#to_slice#14874指针追加器可以一次性导出为Slice方便在动态构建缓冲区后统一以切片视图消费数据。序列化serializationURI.from_json_object_key?与URI#to_json_object_key#14834为URI补上 JSON 对象键的序列化/反序列化钩子使其可以作为 JSON 对象的键类型使用。这类约定在标准库中已有先例见 src/big/json.cr 中BigInt/BigFloat的同名方法实现from_json_object_key?解析失败时返回nilto_json_object_key返回字符串形式。URI::Params::Serializable#14684这是 1.14 序列化领域的重头戏。该模块定义于 src/uri/params/serializable.cr为结构体自动生成x-www-form-urlencoded的序列化与反序列化方法require uri/params/serializable struct Applicant include URI::Params::Serializable getter first_name : String getter last_name : String getter qualities : Array(String) end applicant Applicant.from_www_form first_nameJohnlast_nameDoequalitieskindqualitiessmart applicant.first_name # John applicant.qualities # [kind, smart] applicant.to_www_form # first_nameJohnlast_nameDoequalitieskindqualitiessmart其特性包括支持Union类型含nil联合多个类型都能解析时选择结果不确定通过URI::Params::Field注解逐字段定制行为可配置项有ignore完全跳过该字段默认falseignore_serialize仅跳过序列化值可为任意 Crystal 表达式、运行时求值默认falseignore_deserialize仅跳过反序列化默认falseconverter指定自定义转换类型需定义from_www_form(params : URI::Params, name : String)典型用途是定制Time的格式反序列化尊重实例变量的默认值被忽略的字段若非nilable且无默认值会在编译期直接raise将错误前置到编译阶段。一个使用注意点源码 NOTE 中明确说明该模块会在引入类型上定义内部构造器因此默认的无参构造器def initialize; end不再自动存在——即使所有实例变量都有默认初始化器也需要显式定义构造器。系统systemWindows 启用完整异常回溯#14796Process.spawn相关路径上子进程异常不再丢失调用栈。System::User与System::Group的 Windows 实现#14933 / #14945此前仅 UNIX 可用的用户/组查询在 Windows 上补齐相关重构见 #14929 / #14930由extend改为include以共享默认实现。Crystal::EventLoop新增方法#14977事件循环接口为 sleep 与 select 超时重构#14980提供了配套能力。文本textString#titleize新增underscore_to_space选项#14822实现在 src/string.cr 中foo_bar.titleize # Foo_bar foo_bar.titleize(underscore_to_space: true) # Foo Bar源码中underscore_to_space : Bool false为默认关闭的命名参数。开启后下划线_在标题化过程中被视为空格转换为空格且其后的字母大写。实现同时提供带IO的写入版本titleize(io, options, underscore_to_space:)并在 ASCII 可优化路径上做了单字节快速分支。这对把 snake_case 标识符展示为标题的场景如生成 UI 文案、报表表头非常实用。支持 Unicode 16.0.0#14997标准库的 Unicode 数据字符属性、大小写映射、字素簇等全面升级到 Unicode 16.0.0。仓库中的 scripts/generate_unicode_data.cr、scripts/generate_grapheme_properties.cr 等生成脚本即为这套数据的来源。编译器与解释器compiler Features外部命令的初始支持#14953crystalCLI 开始支持把未识别的子命令转发给外部可执行程序处理形成可插拔的子命令生态。仓库中已有对应的集成测试 spec/compiler-cli/crystal-external-command_spec.cr 可以佐证该机制。解释器Crystal::Repl::Value#runtime_type#14156REPL 值对象暴露运行时类型信息便于交互式环境内省。解释器实现Reference.pre_initialize#14968补齐解释执行路径上引用类型预初始化的语义一致性。在 Windows 上启用解释器#14964配合 #14988移除 Windows 上Crystal::Loader的 TODOcrystal i/REPL 正式在 Windows 平台可用。Bugfixes本轮修复要点1.14 的修复项同样横跨语言、标准库、编译器与工具四层按模块整理如下。语言与宏修复Slice.literal在多次调用且签名完全相同时的错误展开#15009为部分MacroIf节点补充位置信息#14885改善宏相关报错的可读性宏内部改用Enumerable#sort_by实现#sort_by#14895修复对External节点调用#is_a?时触发内部错误的问题#14918修复TopLevelVisitor将已存在的ClassDef类型重复加入当前作用域的问题#15067。集合、数值与文本Range#size返回类型修正为Int32#14588String#to_f(whitespace: false)处理空字符串的边界修复#14902Math.frexp(BigFloat)超大值的指数回绕修复#14971BigFloat#to_s超大值的指数溢出修复#14982为 MPIR 补充缺失的[Link(dll:)]注解#15003String#byte_index的offset参数增加类型限制#14981避免在未使用时链接libpcre#14891减小无关依赖。文件、并发与网络修复 Win32 追加模式下File#truncate与#lock的回归问题#14706[regression]避免Socket与IO::FileDescriptor在 finalizer 中 flush#14882[breaking]此变更改变了关闭时的隐式行为依赖 finalizer 落盘的代码需要显式flushIO::Buffered#buffer_size改为幂等#14855更新 Windows 上下文切换所需的DeallocationStack#15032修复pthread_create句柄初始化中的竞态#15043修复 Windows 上Socket#connect使用错误超时的问题#14961移除XML::Error.errors#14936[breaking]XML 错误集合 API 被移除修复Expectations::Be针对模块类型的回归#14926[regression]。系统与运行时修复ENV.fetch的返回类型限制#14919UNIX 上#file_descriptor_close现在会正确设置closed#14973UNIX 上 fork 之后先重新初始化事件循环#14975并在System::Process.spawn中避免 fork 后继续纠缠事件循环#14974修复LibC.VirtualQuery缺失的返回类型#15036修复 musl-libc 主栈顶检测#15047缓存Exception::CallStack.empty以避免重复分配Array#15025[regression]修复。编译器为链接器标志子命令补充错误处理#14932允许从顶层fun返回Proc#14917修复 specs 带 C 源码时的 CRT 静态/动态链接冲突#14970修复解释执行代码中 Linuxgetrandom失败的问题#15035修复解释器混合 union 上转型中的未定义行为#15042。工具链crystal tool dependencies的 flat 格式输出修复#14927与 Windows 路径过滤修复#14928crystal tool unreachable及其同类工具在遍历循环层级时的修复#15065相关命令文档见 doc/man/crystal-tool-unreachable.adocdocs 生成器修复宏展开上方注解文档注释的问题#14849。弃用项与迁移指南Deprecations1.14 标记了三项弃用升级时应尽早迁移弃用内容说明迁移方向Benchmark.ips的时间参数改用Time::Span#14805将Number形式的秒数改为Time::Span如1.second实现见 src/benchmark/ips.cr::sleep(Number)#14962改传Time::Span如sleep 100.milliseconds保持类型安全、避免单位歧义Pointer.new(Int)#14875改用显式分配方式如Pointer(T).malloc构造指针而不是从整数直接转换同时spec 中也同步清理了对已弃用重载的使用#14963保证标准库自身测试在弃用警告下保持干净。性能优化Performance1.14 的性能工作分布在标准库与编译器两侧标准库简单类型一律使用不稳定排序#14825对于Int、Float、指针等简单类型Enumerable的排序不再尝试稳定排序直接走更快的unstable路径优化Hash#transform_keys与Hash#transform_values#14502减少不必要的重建开销实现在 src/hash.cr优化BigFloat与整数之间的算术#14944高精度数值与原生整数的混合运算减少中间转换缓存Exception::CallStack.empty#15025避免异常路径上的重复堆分配。编译器方法调用查找热路径上避免栈展开#15002减少查找失败时不必要的栈回溯开销模块派发中减少Crystal::Type#remove_indirection调用#14992编译器启用 MT 并行 codegen#14748配合 #14760 的 codegen 重构多线程代码生成让多模块程序的编译吞吐得到提升。重构与内部架构演进Refactor这一批变更揭示了 1.14 的内部工程方向并发层将select从 src/channel.cr 抽取为独立文件#14912现位于 src/channel/select.crCrystal::IOCP::OverlappedOperation改为抽象类#14987#evented_read/#evented_write移入Crystal::LibEvent::EventLoop#14883。网络层简化Socket::Addrinfo.getaddrinfo()#14956新增 Crystal::System::Addrinfo 系统抽象#14957为异步 DNS 铺路。运行时新增Exception::CallStack.empty#15017。系统层Crystal::System::User/Group由extend改为include共享默认实现#14929 / #14930Crystal::SpinLock不再要求堆上分配#14972事件循环接口为 sleep 与 select 超时重构#14980IOCP 取消逻辑重构#14754。编译器codegen 大规模重构#14760解释器栈代码重构以避免重复宏展开#14876。文档与测试Documentation Specs文档侧对应变更日志Documentation小节Hash::Entry从公开 API 文档中隐藏#14881[breaking]性质的行为变更属于文档可见性调整修复Set与Hash文档中的拼写错误#14889为LLVM::DIBuilder添加[Experimental]标记#14854补充同步 DNS 解析的文档#15027将uri/json加入docs_main#15069补充Pointer对齐要求的文档#14853、重写Pointer#memcmp文档#14818、补充NoReturn与Void的文档#14817。测试侧对应变更日志Specs小节标准库 specs 清理已弃用重载的使用#14963在 AArch64 上禁用Tuple#to_static_arrayspec#14844新增 JSON 解析 UTF-8 spec#14823为String#index/#rindex搜索Char::REPLACEMENT补充测试#14946codegen specs 支持返回类型声明#14888、支持 LLVM OrcV2#14886、避免在不需要 prelude 时派生子进程#14904、修复虚类型ProcPointer的 codegen spec#14903。基础设施Infrastructure1.14 的 CI 与构建基础设施围绕平台覆盖与依赖可控做了大量调整发布流程连续合并 1.13 分支的 1.13.1/1.13.2/1.13.3 维护版本#14810 / #14924 / #14925 / #15012 / #15016更新 shard.yml 版本号#14909与 distribution-scripts#14877重构 GitHub changelog 生成器#14795并修复Makefile.win中SOURCE_DATE_EPOCH的回归#14922[regression]。CI 平台actions/checkout 升级到 v4#14896LLVM 18 用于wasm32-test#14821OpenSSL 包仓库固定#14831新增 OpenSSL 3.3 测试#14873SSL workflow 改为 job matrix#14899XCode 升级至 15.4.0#14794GitHub runner 迁移到macos-14#14833Windows CI 使用 Cygwin 构建 libiconv#14999并改用自有libffi仓库#14998取消非发布版 Windows 编译器产物#15000并修复 WindowsCI 产物名#15021CI 运行器内存按任务类型区分stdlib 16GB / 其余 8GB#15030 / #15044。这些改动与 1.14 的 Windows 大主题相互印证新增 aarch64-windows 支持、事件循环与 I/O 的 Windows 化都需要 CI 层面的稳定构建与测试保障。小结与升级建议从 doc/changelogs/v1.14.md 看Crystal 1.14 是一次平台纵深 API 密度双轮驱动的版本Windows 是一等公民的进一步落地aarch64 目标、非阻塞文件 I/O、异步 DNS、解释器、System::User/System::Group一应俱全新增 API 实用性强WaitGroup.wait/#spawn、Slice#same?、String#titleize(underscore_to_space:)、URI::Params::Serializable都是开箱即用的高频能力升级需注意三处破坏性变更Slice#[start, count]负索引语义、finalizer 不再 flushSocket/IO::FileDescriptor、移除XML::Error.errors尽早处理三项弃用::sleep(Number)、Pointer.new(Int)与Benchmark.ips的数值时间参数。若需查看 1.14 前后版本的演进脉络可对照 doc/changelogs 目录下的相邻版本日志本版本所有列出的能力均可直接在当前仓库源码src 标准库与编译器、spec 测试中找到对应实现与验证用例。【免费下载链接】crystalThe Crystal Programming Language项目地址: https://gitcode.com/gh_mirrors/cr/crystal创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考