Carbon 语言位运算与移位运算符完全指南语法、类型语义与接口扩展【免费下载链接】carbon-langCarbon Languages main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)项目地址: https://gitcode.com/GitHub_Trending/ca/carbon-lang本文基于 Carbon 语言官方设计文档 docs/design/expressions/bitwise.md 撰写并结合仓库中 core/prelude/operators/bitwise.carbon、core/prelude/types/int.carbon、core/prelude/types/uint.carbon 等源码实现进行深度解析。读完本文你将掌握 Carbon 中按位取反^、按位与、按位或|、按位异或^、左移、右移六大运算符的完整语义、优先级与结合性规则、整数类型间的隐式转换规则、整数常量的特殊行为以及如何通过实现标准库接口为自定义类型赋予位运算能力。一、概述Carbon 的位运算算子族Carbon 为按位操作提供了一套与 C/C 风格一致、但语义更严格的运算符集合。文档给出的最小演示如下var a: u8 5; var b: u8 3; var c: i8 -5; // 250 var complement: u8 ^a; // 1 var bitwise_and: u8 a b; // 7 var bitwise_or: u8 a | b; // 6 var bitwise_xor: u8 a ^ b; // 40 var left_shift: u8 a b; // 2 var logical_right_shift: u8 a 1; // -3 var arithmetic_right_shift: i8 c 1;其中需要注意几点 Carbon 特有的约定一元按位取反使用^与 C/C 中的~不同与算术取反-x见 docs/design/expressions/arithmetic.md区分开。对无符号类型执行时得到的是逻辑右移高位补0对有符号类型且值为负时执行得到的是算术右移高位补1这与 C 中右移符号由实现定义的行为不同Carbon 在语言层面明确了二者的结果。^同时承担一元取反与二元异或两种角色靠操作数数量区分。从仓库源码看这些内置整数的位运算语义是通过 core/prelude/operators/bitwise.carbon 中定义的接口族以及 core/prelude/types/int.carbon、core/prelude/types/uint.carbon 中针对Int(N)、UInt(N)的final impl实现的final关键字保证了内置类型上这些实现的确定性用户自定义类型则可以通过实现同一组接口获得位运算能力。二、优先级与结合性部分有序强制加括号Carbon 对表达式采用部分优先级序的设计见 docs/design/expressions/README.md#precedence没有相对优先级关系的运算符组合必须用括号消歧否则直接编译报错。位运算算子的优先级关系如下A -- B表示 A 比 B 优先级低即 B 可以无括号内嵌于 A结合 docs/design/expressions/README.md 中的完整优先级图可知这些位运算算子处于算术运算 - * / %之下、比较运算 ! 之上的层级一元取反^x又高于所有二元位运算。具体的结合性规则为二元、|、^是左结合的移位运算符、是非结合的non-associative混合使用不同位运算/移位算子时一律要求加括号一元^不可重复non-repeating即^^x是错误写法这与 README 中一元运算符组允许或不允许无括号重复的框架一致。文档给出的正反示例// ✅ 与 (1 | 2) | 4 相同结果为 7。 var a: i32 1 | 2 | 4; // ❌ 错误必须用括号区分 // (3 | 5) 6结果为 6与 // 3 | (5 6)结果为 7。 var b: i32 3 | 5 6; // ❌ 错误必须用括号区分 // (1 2) 3即 4 3 32与 // 1 (2 3)即 1 16 65536。 var c: i32 1 2 3; // ❌ 错误^ 算子不可重复。应写为 ^(^4) 或直接写 4。 var d: i32 ^^4;这种宁可要求括号、也不为开发者预设优先级的设计与 Carbon 整体低上下文敏感度的原则一致参见 docs/design/expressions/README.md 中优先级序只在合理预期多数开发者无需括号也能理解时才会增加的表述。三、整数类型上的位运算语义3.1 二元位运算的操作数类型转换Carbon 内置整数类型支持位运算若某类型可隐式转换为整数类型则默认同样适用除非该行为被用户覆盖。对于二元位运算若一个操作数是整数类型、另一个可隐式转换为该类型则执行转换当两个操作数都是整数类型时遵循以下规则类型同为uN与uM或同为iN与iM时操作数被转换为较宽的类型一个类型是iN、另一个是uM且M N时uM操作数被转换为iN。完成上述转换后若两操作数类型相同即可执行内置的二元、|、^运算结果类型即该类型结果值是对输入中每一对对应位对有符号类型包括符号位分别施加 AND、OR、XOR 运算得到。从源码看这一类型统一后执行的模式在 core/prelude/types/int.carbon 中体现为三类 impl 的组合同类型homogeneousInt(N) as BitAndWith(Self) where .Result Self直接调用int.and等内建实现core/prelude/types/int.carbon左操作数为Int(N)、右操作数U满足U: ImplicitAs(Int(N))Int(N) as BitAndWith(U) where .Result Int(N)实际仍以Int(N)运算core/prelude/types/int.carbon右操作数为Int(N)、左操作数T可隐式转换为Int(N)T as BitAndWith(Int(N)) where .Result Int(N)core/prelude/types/int.carbon。core/prelude/types/uint.carbon 中为UInt(N)提供了完全对称的三类 impl。3.2 一元按位取反内置取反运算要求操作数可隐式转换为某个整数类型结果类型即为该类型结果值是将输入中所有位对有符号类型包括符号位翻转得到。^a等价于a ^ x其中x是与a同类型的全 1值。对应源码见 core/prelude/types/int.carbon 与 core/prelude/types/uint.carbon。3.3 移位运算算术右移与逻辑右移内置移位运算要求两个操作数都是或可隐式转换为整数类型结果类型取第一个操作数转换后的类型。运算语义将第一操作数左移右移移动位数等于第二操作数的值空出的位默认填0唯一例外右移时若第一操作数是有符号类型且为负值空出的高位填1即算术右移。文档特别指出位的次序按重要性排列最高有效位在左最低有效位在右。因此在无溢出情况下左移等价于乘以 2 的幂右移等价于除以 2 的幂并向下取整。移位计数第二操作数被要求位于0含到第一操作数位宽不含之间超出该范围属于编程错误programming error其行为依构建模式不同而不同开发构建development build错误发生时会立即在运行时被捕获性能构建performance build优化器可以假定此类编程错误不会发生即未定义行为风格的假设以换取性能加固构建hardened build结果有明确行为——要么中止程序要么执行位数不确定的移位若该位数宽于第一操作数结果将是0或-1。中止时程序未必立即中止多个检查可能被合并但任何依赖该值的控制流或内存访问都不会被执行。TODO设计文档遗留项文档注明未来需将这些编程错误的描述与算术溢出统一、放到公共位置并从本文链接过去——这也说明位运算编程错误与算术溢出在 Carbon 的错误处理框架中属于同一类问题。四、整数常量上的位运算无穷位语义位运算和移位也可以应用于两个整数常量之间或整数常量与整数类型值之间常量间运算仍是常量二元位运算/移位作用于两个整数常量或一元^作用于整数常量时结果是整数常量。整数常量被视为拥有无穷多高位其中除有限多个位外其余全是符号位。例如-1由无穷多个1位组成。正因如此整数常量上的算术右移与逻辑右移没有区别——每一位总能从更高位取得移入的位。值得警惕的是左移整数常量极易产生天文数字文档举例1 (1 1000)的二进制表示被认为远超可观测宇宙的总熵。实践中Carbon 实现会为支持的整数常量上限设置低得多的限制。常量 类型值二元、|、^作用于一个整数常量和可隐式转换到的整数类型值时常量被隐式转换为该整数类型再按第三节的规则计算。移位计数为常量若移位第二操作数是整数常量、第一操作数不是且该常量在 0含到第一操作数位宽不含之间则常量被转换为能容纳其值的整数类型后执行运算。其余涉及整数常量的组合均非法例如u8与整数常量500做按位非法因为500放不进u81 nn是整数变量非法因为编译器无法确定用什么类型计算其结果。符号性方面需特别注意对非负整数常量应用一元^得到的是负整数常量二元^在恰好一个操作数为负时给出负结果。例如^0 -1求值为true。对应到源码整数常量IntLiteral上的位运算 impl 位于 core/prelude/operators/bitwise.carbonIntLiteral as BitAndWith(Self) where .Result Self等六个 impl 直接映射到int.and、int.complement、int.or、int.xor、int.left_shift、int.right_shift内建函数注释明确说明这些实现必须放在此处是因为IntLiteral没有自己的关联库。五、可扩展性为自定义类型实现位运算接口位运算与移位算子是 Carbon所有 API 都是库 API理念的体现内置整数类型只是恰好实现了标准库提供的一组接口用户自定义类型通过实现同一组接口即可获得同样的运算符语法。文档定义的核心接口族如下逐一对应各个运算符// 一元 ^。 interface BitComplement { default let Result: type Self; fn Op(self) - Result; }// 二元 。 interface BitAndWith(U: type) { default let Result: type Self; fn Op(self, other: U) - Result; } constraint BitAnd { extend BitAndWith(Self) where .Result Self; }// 二元 |。 interface BitOrWith(U: type) { default let Result: type Self; fn Op(self, other: U) - Result; } constraint BitOr { extend BitOrWith(Self) where .Result Self; }// 二元 ^。 interface BitXorWith(U: type) { default let Result: type Self; fn Op(self, other: U) - Result; } constraint BitXor { extend BitXorWith(Self) where .Result Self; }// 二元 。 interface LeftShiftWith(U: type) { default let Result: type Self; fn Op(self, other: U) - Result; } constraint LeftShift { extend LeftShiftWith(Self) where .Result Self; }// 二元 。 interface RightShiftWith(U: type) { default let Result: type Self; fn Op(self, other: U) - Result; } constraint RightShift { extend RightShiftWith(Self) where .Result Self; }给定x: T、y: U各运算符的语法糖重写规则为表达式重写目标^xx.(BitComplement.Op)()x yx.(BitAndWith(U).Op)(y)x \| yx.(BitOrWith(U).Op)(y)x ^ yx.(BitXorWith(U).Op)(y)x yx.(LeftShiftWith(U).Op)(y)x yx.(RightShiftWith(U).Op)(y)设计模式是*With(U)接口 同名约束constraint的组合*With接口负责跨类型的二元运算可自定义结果类型BitAnd等约束则限定同类型运算时结果保持为Self方便泛型代码书写约束。内置类型按需实现这些接口即可给出上文所述的语义。5.1 仓库中的真实实现细节对照 core/prelude/operators/bitwise.carbon 源码实际实现与设计文档存在两处尚未完成的差异源码中以 TODO 标注Result尚无默认值设计文档中每个接口的关联类型Result都有default let Result: type Self;而当前源码中Result是普通关联类型如第 22-25 行的BitComplement Self的默认值待实现*With约束尚未提供设计中为每个*With接口配套的非*With命名约束如constraint BitAnd { extend require impls BitAndWith(Self) where .Result Self; }在源码中也以 TODO 形式待补充。此外源码中还额外定义了六个复合赋值接口对应a b、a \| b、a ^ b、a b、a b以及算术族的、-等签名形式均为fn Op(ref self, other: Other);如 core/prelude/operators/bitwise.carbon 的BitAndAssignWith。复合赋值属于语句而非表达式见 docs/design/expressions/README.md 中的说明不产生值。内置整数的复合赋值实现位于 core/prelude/types/int.carbon 与 core/prelude/types/uint.carbon例如Int(N) as BitAndAssignWith(U)调用int.and_assign。C 互操作层的CppCompat.Long32、CppCompat.Long64等类型也在 core/prelude/types/cpp/int.carbon 中实现了同构位运算 impl确保 C 互操作类型同样支持这些算子。5.2 一个最小自定义类型示例按设计文档的接口族可以这样为自定义类型添加位运算支持class FlagSet { var value: u32; } impl FlagSet as BitAndWith(FlagSet) where .Result FlagSet { fn Op(self, other: FlagSet) - FlagSet { return {.value self.value other.value}; } } // 之后便可以直接书写 // var masked: FlagSet a b;Result默认值落地后这类where .Result Self的重复书写可以省略在实现该默认值之前即当前仓库状态需要在 impl 中显式给出。六、设计取舍备选方案一览设计文档记录了该主题演进过程中被否决的备选方案完整的背景与论证见提案 proposals/p001191-bitwise-and-shift-operators.md为位运算算子使用不同的符号#use-different-symbols-for-bitwise-operators例如不采用^表示取反/异或而另选符号为算术右移和逻辑右移提供不同的算子#provide-different-operators-for-arithmetic-and-logical-shiftsCarbon 最终选择单一并依据符号类型决定填充位提供循环移位rotate算子#provide-rotate-operators保证大位移的行为#guarantee-behavior-of-large-shifts最终采用越界移位即编程错误 按构建模式差异化处理的折中支持常量被变量移位#support-shifting-a-constant-by-a-variable即1 nn为变量这种形式最终因无法确定结果类型而否决。这些取舍的共同点在于优先保证类型系统的明确性与可预测性拒绝 C/C 中依赖实现定义或易诱发歧义的位运算行为。七、实战佐证仓库中的真实用法位运算在仓库示例代码中大量出现可直接作为学习范本examples/advent2024/day10_part1.carbonif (n bit ! 0)——用按位与测试位标志第 55 行reach reach | self.trailheads[adj_x][adj_y]用按位或累积可达集合examples/advent2024/day5_common.carbonreturn (1 as Core.UInt(100)) (page as Core.UInt(100));——以位图标记页面注意这里显式转换为Core.UInt(100)后再移位正是文档移位结果类型取第一操作数类型规则的实践第 35、75 行分别用测试掩码与! 0判断冲突。这些用例展示了位运算在算法竞赛代码中的典型形态位掩码、标志位测试、按位累积。同时提醒读者Carbon 目前仍处于实验阶段部分设计如Result默认值、*With约束在标准库中尚未完全落地本文涉及的语法细节应以 docs/design/expressions/bitwise.md 与仓库最新源码为准。参考与延伸阅读本文主体docs/design/expressions/bitwise.md表达式总览与优先级图docs/design/expressions/README.md标准库位运算接口定义core/prelude/operators/bitwise.carbon有符号整数实现core/prelude/types/int.carbon无符号整数实现core/prelude/types/uint.carbonC 互操作整数实现core/prelude/types/cpp/int.carbon设计提案proposals/p001191-bitwise-and-shift-operators.md相关设计算术运算 docs/design/expressions/arithmetic.md、隐式转换 docs/design/expressions/implicit_conversions.md【免费下载链接】carbon-langCarbon Languages main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)项目地址: https://gitcode.com/GitHub_Trending/ca/carbon-lang创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
