【免费下载链接】rocA fast, friendly, functional language.项目地址https://gitcode.com/GitHub_Trending/ro/roc点击查看免费下载本篇技术指南以 Roc 编译器仓库中的 REPL 快照测试 test/snapshots/repl/u128_range_until.md 为核心骨架系统讲解U128无符号 128 位整数的开区间exclusive range语法start..end的写法、迭代行为与边界规则并深入到 src/build/roc/Builtin.roc 中Range类型、range_with_step、range_len_u128、range_iter_standard等底层实现还原快照测试的生成与校验机制。读完本文你将掌握 Roc 中U128开区间的完整语义含空区间判定规则、其在Iter.fold与for循环中的实战用法以及如何读懂、运行和更新这类 REPL 快照测试。一、快照文件定位它验证了什么test/snapshots/repl/u128_range_until.md属于 Roc 编译器仓库中的REPL 快照测试。根据 test/snapshots/README.md 的说明快照测试通过捕获源码在编译管线各阶段分词、解析、规范化、类型检查等的输出来验证编译器行为并防止回归。该文件的META区块明确给出了它的验证目标descriptionU128 exclusive range syntax iterates from start to end typerepldescriptionU128 开区间语法从起点迭代到终点不含终点typerepl这是一个 REPL 类型的快照每个»前缀行会被当作一条独立的 REPL 表达式依次求值输出逐条比对。也就是说这份快照不是普通文档而是一份可执行、可校验的规格说明它把U128..开区间的正常迭代、单点区间、倒置区间三种情形固化为基准输出任何编译器改动只要让这三条表达式的求值结果发生变化快照比对就会失败并暴露回归。二、快照文件结构逐块拆解REPL 快照文件由META、SOURCE、OUTPUT、PROBLEMS四个区块组成本文件的结构如下META元信息descriptionU128 exclusive range syntax iterates from start to end typereplSOURCE三条 REPL 输入SOURCE区块中每一行以»U00BB作为 REPL 提示符前缀表示一次交互输入» Iter.fold((0.U128..3.U128).iter(), [], |acc, item| acc.append(item)) » Iter.fold((1.U128..1.U128).iter(), [], |acc, item| acc.append(item)) » Iter.fold((5.U128..3.U128).iter(), [], |acc, item| acc.append(item))三条表达式全部使用Iter.fold把区间迭代器的元素收集进一个列表便于直接观察迭代产生的元素序列。OUTPUT期望输出[0, 1, 2] --- [] --- []三条输出之间以---分隔与三条输入一一对应。PROBLEMS诊断结果NILNIL表示这三条表达式在编译类型检查阶段没有产生任何报告report。在普通快照中PROBLEMS区域存放的是reporting.Report的规范 S 表达式序列化结果NIL即无错误、无警告印证了这三条 U128 开区间写法是完全合法的代码。三、U128 类型与范围语法基础3.1 U12816 字节的无符号整数根据 docs/langref/numbers.md 中内建整数类型表U128是 16 字节128 位无符号整数取值范围为0到340_282_366_920_938_463_463_374_607_431_768_211_455超过 340 undecillion即约 3.4×10³⁸。作为对比其有符号孪生类型I128的取值范围为-170_141_183_460_469_231_731_687_303_715_884_105_728到170_141_183_460_469_231_731_687_303_715_884_105_727。Roc 中所有内建数值类型都有固定大小且大小不随构建目标变化。要显式指定数字字面量的类型可以在数字后加类型后缀例如3.U128。仓库中的 test/snapshots/numeric_i128_u128_dec_edge_cases.md 展示了340282366920938463463374607431768211455.U128这类边界字面量在 REPL 中的往返输出。3.2 范围运算符..与..Roc 提供两个范围运算符详见 docs/langref/operators.md 的 Range Operators 一节运算符语义静态分发方法start..end开区间不含endrange_exclusive_tostart..end闭区间含endrange_inclusive_to两个操作数必须具有相同类型U128范围即Range(U128)Dec范围即Range(Dec)以此类推。范围运算符的绑定优先级低于其他二元运算符因此1..n 1会被解析为1..(n 1)同时范围运算符不可链式书写1..5..10是错误用法。3.3 范围是可复用的Range值需要特别强调的是0.U128..3.U128这样的表达式立即构建一个可复用的Range(U128)值而不是一次性循环。这个Range值可以反复调用.iter()产生新的迭代器也可以直接用于for循环for会自动调用范围的iter方法见 docs/langref/loops.md。这正是快照中先写(0.U128..3.U128).iter()、再把迭代器交给Iter.fold的原因Range负责描述Iter负责消费。四、三条用例逐一解读用例 1正常迭代——从起点到终点不含终点Iter.fold((0.U128..3.U128).iter(), [], |acc, item| acc.append(item)) # [0, 1, 2]0.U128..3.U128是开区间成员为0、1、23上界被排除。Iter.fold以空列表[]为初始累加器逐项执行acc.append(item)最终得到[0, 1, 2]。注意append返回新列表Roc 的数据结构是不可变的因此这里的acc是不断更新的新列表值。对照同目录下的闭区间快照 test/snapshots/repl/u128_range_to.md» Iter.fold((1.U128..5.U128).iter(), [], |acc, item| acc.append(item)) # [1, 2, 3, 4, 5]..把5也包含进来一条表达式即可清晰对比开闭区间的差异。用例 2下界等于上界——空区间Iter.fold((1.U128..1.U128).iter(), [], |acc, item| acc.append(item)) # []当lower upper时开区间不满足lower upper的成员条件直接得到空区间迭代器立即结束折叠结果为空列表[]。用例 3下界大于上界——同样为空Iter.fold((5.U128..3.U128).iter(), [], |acc, item| acc.append(item)) # []当lower upper倒置区间时开区间同样为空。U128是无符号类型成员不可能小于下界因此不会出现从 5 递减到 3之类的反向迭代行为——Roc 的范围不隐式反向。小结开区间的空区间判定综合三条用例..开区间为空当且仅当lower upper下界不低于上界或步长step不大于 0。这一规则在 docs/langref/numbers.md 的 Ranges 一节有明确表述并且与闭区间形成对称..闭区间在lower upper或步长非正时为空。注意Dec、F32、F64等其他数值类型遵循同样的判定逻辑可对照 test/snapshots/repl/dec_range_until.md0.5..3.5产出[0.5, 1.5, 2.5]2.0..2.0与3.5..2.5产出[]与 test/snapshots/repl/i128_range_until.md支持负数下界验证。五、源码级原理Range(U128)从构建到迭代快照验证的只是行为而其背后是 src/build/roc/Builtin.roc 中一套完整的类型驱动实现。以下按调用链从外到内拆解。5.1Range(num)类型的内部结构Range是一个带标签的记录类型src/build/roc/Builtin.rocRange(num) :: { lower : num, upper : num, step : num, upper_bound : [Exclusive, Inclusive], direction : [To, From], len_if_known : [Known(U64), Unknown], }六个字段的含义lower/upper下界与上界类型与范围元素类型一致step步长初始为 1upper_boundExclusive开或Inclusive闭directionTo正向从 lower 向 upper或From反向从 upper 侧向 lowerlen_if_known当精确长度可放入U64时记录为Known(count)否则为Unknown供size_hint使用。其中upper_bound始终作用于upperlower是范围成员的锚点即使direction为From。5.2 U128 的五个范围方法在U128的类型实现中src/build/roc/Builtin.roc每个数值类型都暴露同一组范围方法。U128的实现为range_len_if_known : U128, U128, U128, [Exclusive, Inclusive] - [Known(U64), Unknown] range_len_if_known |lower, upper, step, upper_bound| if step 0 or lower upper or (lower upper and upper_bound Exclusive) { Known(0) } else { range_len_u128(lower.abs_diff(upper), step, upper_bound) } range_iter : U128, U128, U128, [Exclusive, Inclusive], [To, From], [Known(U64), Unknown] - Iter(U128) range_iter range_iter_standard range_exclusive_to : U128, U128 - Range(U128) range_exclusive_to |lower, upper| range_with_step(lower, upper, 1, Exclusive, To) range_inclusive_to : U128, U128 - Range(U128) range_inclusive_to |lower, upper| range_with_step(lower, upper, 1, Inclusive, To) range_exclusive_from : U128, U128 - Range(U128) range_exclusive_from |upper, lower| range_with_step(lower, upper, 1, Exclusive, From) range_inclusive_from : U128, U128 - Range(U128) range_inclusive_from |upper, lower| range_with_step(lower, upper, 1, Inclusive, From)这里可以看到三条关键事实..运算符的静态分发目标0.U128..3.U128在编译期被分发到U128.range_exclusive_to(0, 3)构造出upper_bound: Exclusive、direction: To、步长为 1 的Range对应 docs/langref/operators.md 中..调用range_exclusive_to的说明空区间在构造期就被识别range_len_if_known中step 0 or lower upper or (lower upper and upper_bound Exclusive)直接返回Known(0)这正是用例 2、3 得到空列表的第一层原因——长度提示在Range构建时就已经计算好range_iter共享标准实现U128与所有整数类型、Dec共用range_iter_standard而F32/F64使用独立的range_iter_float。5.3range_with_step统一构造器range_with_stepsrc/build/roc/Builtin.roc是各_to/_from方法的共同底层range_with_step |lower, upper, step, upper_bound, direction| Num.Range.custom({ lower, upper, step, upper_bound, direction, len_if_known: lower.range_len_if_known(upper, step, upper_bound), })它通过Num.Range.custom组装记录并立刻调用lower.range_len_if_known计算长度提示。Range.customsrc/build/roc/Builtin.roc也开放给第三方数值类型使用第三方类型可以定义自己的range_iter而不必依赖U64转换。5.4range_len_u128U128 专属长度计算对U128而言长度计算由range_len_u128完成src/build/roc/Builtin.rocrange_len_u128 |distance, step, upper_bound| if step 0 { Known(0) } else { base match upper_bound { Exclusive (distance - 1) / step Inclusive distance / step } match base.plus_try(1) { Err(Overflow) Unknown Ok(len_u128) match len_u128.to_u64_try() { Ok(len) Known(len) Err(OutOfRange) Unknown } } }注意它的两个细节开闭区间的长度差异开区间为(distance - 1) / step 1闭区间为distance / step 1。用例 1 中distance |3 - 0| 3、step 1、Exclusive得到(3-1)/1 1 3与输出[0, 1, 2]的 3 个元素吻合溢出保护由于U128的跨度可能超过U64长度经plus_try与to_u64_try双重检查放不下U64时如实返回Unknown绝不伪造长度。5.5range_iter_standard共享的状态机迭代器range_iter_standardsrc/build/roc/Builtin.roc是整数与Dec共用的迭代器工厂内部以RangeAt(current) | RangeDone两种状态驱动range_iter_standard |lower, upper, step, upper_bound, direction, len_if_known| { initial match direction { To if step 0 { RangeAt(lower) } else { RangeDone } From match range_standard_last(lower, upper, step, upper_bound) { Ok(last) RangeAt(last) Err(NoMore) RangeDone } } Iter.custom( initial, len_if_known, |state| match state { RangeDone Err(NoMore) RangeAt(current) match direction { To { within_upper match upper_bound { Exclusive current upper Inclusive current upper } if step 0 and within_upper { next_state match current.plus_try(step) { Ok(next) if next current RangeAt(next) else RangeDone Err(Overflow) RangeDone } Ok((current, next_state)) } else { Err(NoMore) } } From ... } }, ) }正向To迭代的核心逻辑是起点为lower只有当step 0时才进入RangeAt状态否则直接RangeDone空每次产出当前值current前先检查current upper开区间或current upper闭区间不满足立即终止用plus_try(step)推进若next current加法停滞或发生溢出则终止——这正是开区间从起点递增到终点语义的实现也保证了用例 2、3 中RangeDone会立即结束。反向From分支通过range_standard_last先求出下界锚定的、满足上界约束的最后一个成员再逐次minus_try(step)递减从而保证反向迭代与正向迭代产出完全相同的一组元素只是顺序相反例如(5.I64..12).step_by(2).iter_rev()产出11, 9, 7, 5。5.6Iter.fold的消费语义快照中的Iter.fold定义于 src/build/roc/Builtin.rocfold : Iter(a), acc, (acc, a - acc) - acc fold |iterator, acc, step| match Iter.next(iterator) { Done acc Skip({ rest }) Iter.fold(rest, acc, step) One({ item, rest }) Iter.fold(rest, step(acc, item), step) }fold通过递归消费迭代器遇到Done返回累加器遇到One用step(acc, item)更新累加器后继续。快照中的|acc, item| acc.append(item)就是逐步把元素追加到列表尾部空迭代器直接返回初始值[]因此三个用例的输出可以完全由上述状态机行为推导出来。六、REPL 快照的生成、运行与校验机制6.1 快照工具如何执行 REPL 表达式REPL 快照由 src/snapshot_tool/main.zig 处理。从源码generateReplOutputSectionsrc/snapshot_tool/main.zig 附近可以看到执行流程读取SOURCE区块按»字符切分去掉空白后得到一组独立表达式例如0.U128..3.U128相关的Iter.fold(...)调用创建SnapshotReplSession把每条表达式按顺序投入同一个会话求值——这意味着前一条表达式的定义可以被后续表达式引用模拟真实 REPL 的连续性逐条收集求值输出与OUTPUT区块按序比对比对失败即报告REPL output mismatch at index N从而在编译器行为变化时第一时间暴露回归。6.2 常用命令根据 test/snapshots/README.md 的 Usage 一节# 生成全部快照 zig build run-snapshot-tool # 只更新/运行指定快照 zig build run-snapshot-tool -- test/snapshots/repl/u128_range_until.md # 用当前实际输出覆盖期望值谨慎使用 zig build run-snapshot-tool -- test/snapshots/repl/u128_range_until.md --update-expected # 调试 REPL 求值过程打印解释器跟踪 zig build run-snapshot-tool -- test/snapshots/repl/u128_range_until.md --trace-eval--trace-eval只适用于typerepl的快照且一次只能处理单个文件跟踪输出在调试构建中默认开启发布构建需通过-Dtrace-evaltrue启用见 src/snapshot_tool/main.zig 的参数校验逻辑。6.3PROBLEMS: NIL的含义PROBLEMS区块记录类型检查阶段产生的诊断报告。NIL表示零报告即快照中的三条 U128 开区间表达式通过了类型检查。若某条表达式存在类型错误例如混用不同类型的区间边界该区块会以 S 表达式形式列出完整诊断对本快照而言NIL恰好证明Range(U128)的构建与迭代完全符合类型系统约束。七、测试矩阵中的佐证U128 开区间不是孤例7.1 类型检查层src/check/test/range_test.zig 从类型系统层面固化了范围语义未标注类型的0..3默认推断为Range(Dec)因为 Roc 数值字面量默认回退到Dec泛型参数上的start..finish要求类型具备range_exclusive_to方法exclusive syntax over generic operands requires range_exclusive_to两个边界类型必须统一1..five会报Type Mismatch整数范围同时支持.iter()与.iter_rev()而浮点范围如F64拒绝反向迭代报Missing Method因为 IEEE 浮点重复加法不可精确逆推。7.2 求值层src/eval/test/eval_tests.zig 中有专门覆盖所有数值类型范围的用例 inspect: exclusive numeric ranges all iteratesrc/eval/test/eval_tests.zig其中U128一行与快照直接呼应u128 Iter.fold((1.U128..3.U128).iter(), 0.U64, |acc, _| acc 1) # u128 2即开区间 (1, 3) 恰好产出 2 个元素同一用例里I128、Dec等 11 种数值类型全部产出2个元素说明开区间语义在全部数值类型上保持一致。闭区间对应用例src/eval/test/eval_tests.zig中(1.U128..3.U128)求和为 6与快照[1, 2, 3]的成员一一印证。7.3 快照族谱test/snapshots/repl/目录下存在完整的范围快照族u128_range_to.md、u128_range_until.md、i128_range_until.md、dec_range_until.md、f32_range_until.md、f64_range_until.md以及各整型i8/i16/i32/i64/u8/u16/u32/u64的_range_to/_range_until文件。这意味着U128 开区间迭代从起点到终点不是特殊处理而是所有内建数值类型统一契约中的一个抽样验证点。八、实战建议与延伸阅读8.1 在真实代码中使用 U128 开区间快照中的写法可直接迁移到实际 Roc 程序# 求和0 1 2 total Iter.fold((0.U128..3.U128).iter(), 0.U128, |acc, item| acc item) # 或直接使用 for 循环自动调用 iter var $sum 0.U128 for n in 0.U128..3.U128 { $sum $sum n } # 步长与长度提示 r (0.U128..10.U128).step_by(3) # Range(U128)步长 3 r.size_hint() # Known(4)0、3、6、9需要留意的前提U128无符号无法表达负数需要负范围请使用I128见 test/snapshots/repl/i128_range_until.md 中的-2.I128..2.I128开区间写..、闭区间写..二者元素个数通常相差 1for n in 0..3只访问0、1、2空范围是合法的迭代不会崩溃这在处理动态边界时非常安全无需像其他语言那样先判断start end。8.2 阅读路线范围语法与数值类型总览docs/langref/numbers.mdRanges 一节、docs/langref/operators.mdRange OperatorsRange/Iter的完整实现与文档注释src/build/roc/Builtin.roc范围运算符的静态分发说明docs/langref/static-dispatch.md快照测试体系与命令test/snapshots/README.md、src/snapshot_tool/main.zig类型检查与求值验证src/check/test/range_test.zig、src/eval/test/eval_tests.zig九、总结test/snapshots/repl/u128_range_until.md 以三条 REPL 表达式精确固化了一个核心语言行为U128 开区间start..end从start开始、逐次加 1 递增、在上界之前结束且当下界不小于上界时为空区间。从..运算符到range_exclusive_to的静态分发再到range_with_step构造、range_len_u128计算长度、range_iter_standard状态机迭代整条链路在 src/build/roc/Builtin.roc 中清晰可查而NIL的诊断结果与求值层测试的交叉验证则保证了这份规格说明不仅读得懂而且可运行、可回归、可依赖。掌握这份快照就掌握了 Roc 范围系统的设计基石与验证方法论。赞分享【免费下载链接】rocA fast, friendly, functional language.项目地址https://gitcode.com/GitHub_Trending/ro/roc点击查看免费下载相关推荐Roc 语言 for 循环与空列表迭代语义基于 REPL 快照测试的源码级解析Roc 语言 for 循环与空列表迭代语义基于 REPL 快照测试的源码级解析 本篇技术指南以 Roc 编译器仓库中的 REPL 快照测试 test/snapVoiceFixer终极指南三步让任何模糊语音重获新生的AI修复神器VoiceFixer终极指南三步让任何模糊语音重获新生的AI修复神器 你是否曾为模糊不清的录音而烦恼那些珍贵的会议记录、历史采访录音或者重要的语音备忘录Roc 语言 Dec 类型排他区间语义解析从 REPL 快照测试看 .. 区间迭代Roc 语言 Dec 类型排他区间语义解析从 REPL 快照测试看 .. 区间迭代 Roc 语言为 Dec 十进制浮点等数值类型提供了 start..上一篇CMake代码审查终极指南构建配置质量检查的10个关键要点下一篇Thyme从零开始的《命令与征服将军》开源重制版完整指南创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考