https://before80.github.io/prgms/diff/Recent content in 编程语言横向对照 on 编程那些事儿Hugozh-cnSat, 19 Sep 2026 22:16:04 +0800https://before80.github.io/prgms/diff/types/Fri, 18 Sep 2026 22:24:56 +0800https://before80.github.io/prgms/diff/types/<h1 id="数据类型对照18-种语言">数据类型对照：18 种语言</h1> <p>同一件东西——&ldquo;一个整数&rdquo;——在 18 种语言里有 18 种说法：有的语言默认只有 32 位，有的干脆没有上限；有的溢出就崩溃，有的溢出悄悄给你一个负数，有的语言<strong>根本没有整型</strong>。本页按数据类型分类，每一类用标签页切换语言，每个标签里给出：<strong>类型清单 → 定义与字面量 → 最值 → 计算与溢出 → 比较 → 常见陷阱</strong>。没有这个类型的语言，会直接说明&quot;没有&quot;以及通常的替代做法。</p>https://before80.github.io/prgms/diff/keywords/Sat, 19 Sep 2026 10:00:00 +0800https://before80.github.io/prgms/diff/keywords/<h1 id="关键字与保留字18-种语言对照">关键字与保留字：18 种语言对照</h1> <h2 id="关键字与保留字">关键字与保留字</h2> <p>关键字是语言&quot;自己留着用&quot;的词汇：它们不能（或不能随便）当作变量名、函数名、类型名。但&quot;保留&quot;这件事在不同语言里分好几层——<strong>硬关键字</strong>永远不能用，<strong>软关键字/上下文关键字</strong>只在特定语法位置才是关键字，<strong>保留但未使用</strong>是给未来留的位置，<strong>特殊值</strong>（<code>true</code>, <code>nil</code>, <code>None</code>, <code>this</code>）则是语言内建的常量与单例。本页按这五层组织，每个主题一套 18 语言标签页；每门语言都给出完整清单、可以实际运行的示例，以及&quot;想用这个名字怎么办&quot;的规避写法。</p>https://before80.github.io/prgms/diff/compile/Sat, 19 Sep 2026 09:00:00 +0800https://before80.github.io/prgms/diff/compile/<h1 id="编译与执行18-种语言对照">编译与执行：18 种语言对照</h1> <p>&ldquo;怎么把代码跑起来&quot;是每门语言的第一课，但 18 种语言给出的答案完全不同：Rust 先编译成机器码再运行，Python 交给解释器直接执行，Java 编译成字节码交给 JVM 的 JIT，TypeScript 先把类型擦掉再转译成 JavaScript，Ruby 边解释边可选 JIT。本页按五个主题组织：<strong>执行模型与入口 → 单文件编译运行命令 → 构建系统与依赖管理 → 编译产物与中间表示 → 优化、发布与调试</strong>，每个主题一套 18 语言标签页，命令都给可直接粘贴的完整写法。</p>https://before80.github.io/prgms/diff/error/Sat, 19 Sep 2026 09:05:00 +0800https://before80.github.io/prgms/diff/error/<h1 id="错误处理机制18-种语言对照">错误处理机制：18 种语言对照</h1> <p>错误处理是语言设计分歧最大的地方之一：Rust 把错误当<strong>值</strong>返回，Go 用 <code>error</code> 接口加 <code>if err != nil</code>，Java 区分 checked/unchecked 异常，Python/JavaScript 抛任意对象，Zig 用错误集与 <code>try</code>，Lua 用 <code>pcall</code> 返回的字符串。本页按五个主题组织：<strong>错误的表示方式 → 抛出与传播 → 捕获与处理 → 自定义错误与上下文 → 资源清理与未捕获错误</strong>，每个主题一套 18 语言标签页。</p>https://before80.github.io/prgms/diff/package/Sat, 19 Sep 2026 09:10:00 +0800https://before80.github.io/prgms/diff/package/<h1 id="包管理与模块18-种语言对照">包管理与模块：18 种语言对照</h1> <p>&ldquo;包管理&quot;要回答四个问题：<strong>代码怎么分组</strong>（模块/命名空间）、<strong>依赖怎么声明与锁定</strong>（清单 + 锁文件）、<strong>包怎么发布与获取</strong>（注册中心）、<strong>版本怎么解析</strong>（语义化版本与冲突处理）。本页按这四个主题组织，每个主题一套 18 语言标签页；命令与文件名都给可直接照抄的写法。</p>https://before80.github.io/prgms/diff/operations/Sat, 19 Sep 2026 09:40:00 +0800https://before80.github.io/prgms/diff/operations/<h1 id="基本运算18-种语言对照">基本运算：18 种语言对照</h1> <p>运算符看起来是全世界通用的符号，但每门语言都给它们塞进了不同的语义：<code>/</code> 在 Python 里永远给浮点、在 Ruby 里是地板除、在 C 里是截断除；<code>%</code> 的符号在 C 系跟被除数、在 Python/R 里跟除数；<code>==</code> 在 JavaScript 里会做类型转换，在 Kotlin 里等价于 <code>equals</code>。本页按三个主题组织：<strong>算术运算 → 位运算与移位 → 比较与逻辑运算</strong>，每个主题一套 18 语言标签页；类型转换与运算符优先级单独放在 <a href="https://before80.github.io/prgms/diff/typeTrans/">typeTrans</a> 一页。</p>https://before80.github.io/prgms/diff/typeTrans/Sat, 19 Sep 2026 10:00:00 +0800https://before80.github.io/prgms/diff/typeTrans/<h1 id="类型转换18-种语言对照">类型转换：18 种语言对照</h1> <p>类型转换的分歧可以归结为四个问题：<strong>会不会偷偷替你转</strong>（隐式提升）、<strong>怎么显式转</strong>（<code>as</code>/<code>Int()</code>/<code>@intCast</code>/<code>T(x)</code>）、<strong>转换失败会怎样</strong>（截断、饱和、抛异常、变 <code>NA</code>）、<strong>什么时候转</strong>（运算符优先级与求值顺序）。本页按这四个主题组织，每个主题一套 18 语言标签页。</p>https://before80.github.io/prgms/diff/ctrls/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/ctrls/<h1 id="控制流18-种语言对照">控制流：18 种语言对照</h1> <p>条件、循环、跳转、迭代这四件事看着是编程语言的公分母，但每门语言对「控制流能不能有值」的回答截然不同：Rust、Swift、Kotlin 把 <code>if</code>、<code>switch</code>/<code>when</code>、<code>loop</code> 一律做成表达式，C、Go、Java 的传统形式则只是语句；Python、C#、Dart、Ruby 在各自的新版本里补上了结构化模式匹配，而 C、C++、Go、Lua、R 至今只有 <code>switch</code>/<code>case</code>/<code>if</code> 链。本页按 <strong>条件分支与模式匹配 → 循环 → 跳转与提前退出 → 迭代协议与生成器</strong> 四个主题组织，每个主题一套 18 语言标签页。前两个主题回答「怎么选、怎么重复」，后两个主题回答「怎么提前离开」与「怎么把遍历抽象成协议」。真正拉开差距的往往不是关键字拼写，而是穷尽性检查、作用域规则、标签跳转和迭代器协议这四件事。</p>https://before80.github.io/prgms/diff/fns/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/fns/<h1 id="函数18-种语言对照">函数：18 种语言对照</h1> <p>函数的语法分歧远小于它的语义分歧：同样一句 <code>f(x)</code>，在 C 里传的是值的一份拷贝，在 Python 里传的是对象引用的一份拷贝，在 Rust 里可能已经把 <code>x</code> 的 ownership 移走，在 Java 里传的则是对象引用的值拷贝。本页按六个主题推进：<strong>函数定义与签名</strong>（关键字、返回类型位置、默认参数、命名实参、变参、<code>main</code>）→ <strong>参数传递与返回值</strong>（值/引用语义、ownership、多返回值）→ <strong>一等函数</strong>（函数类型、函数指针、函数引用、高阶函数、柯里化）→ <strong>闭包与匿名函数</strong>（lambda 字面量、捕获结论、逃逸与生命周期）→ <strong>重载</strong>（编译期按类型选实现、运行期多重分派、以及干脆没有重载时的替代）→ <strong>泛型与装饰</strong>（泛型函数的约束写法、装饰器/注解/宏/源生成器）。这里只讲函数本身：闭包捕获语义与循环变量陷阱的细节归 closure.md，泛型的类型层面细节归 generic.md。</p>https://before80.github.io/prgms/diff/closure/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/closure/<h1 id="闭包18-种语言对照">闭包：18 种语言对照</h1> <p>闭包把函数和它引用的环境绑在一起，但&quot;环境&quot;在各语言里的含义完全不同。捕获语义要回答三件事：<strong>按值捕获</strong>（创建时拷一份快照）、<strong>按引用捕获</strong>（内外共享同一份存储）、<strong>按移动捕获</strong>（把所有权搬进闭包），以及由谁声明这件事。本页按四个主题组织：<strong>捕获语义 → 生命周期与逃逸 → 闭包与循环变量 → 实际用途</strong>，每个主题一套 18 语言标签页。最根本的分歧在两条轴上：一条是 Rust、C++、Swift 走&quot;编译期规则 + 显式标注&quot;，另一条是 Python、Ruby、JavaScript、PHP 走&quot;运行时对象 + 隐式捕获&quot;；Go、Java、C#、Kotlin、Dart 站在中间，用运行时对象实现、再用语言规则限定捕获的形态。C 与 Zig 干脆没有闭包，一律用&quot;函数指针 + 显式上下文&quot;手工模拟。</p>https://before80.github.io/prgms/diff/enums/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/enums/<h1 id="枚举18-种语言对照">枚举：18 种语言对照</h1> <p>枚举在多数人印象里就是「给整数起名字」，可一旦跨语言看，它其实分裂成三种完全不同的东西：C/C++/Go/Java 路线把它当成<strong>整数的别名或整数的包装</strong>，Rust/Swift/Kotlin/Zig 路线把它当成<strong>只能取有限几个构造子的类型</strong>（Rust 的 <code>enum</code> 是代数数据类型，Zig 的 <code>enum</code> 可以带 payload），Lua/JavaScript/R/Ruby 路线则干脆<strong>没有枚举</strong>，用 table、<code>Object.freeze</code>、<code>factor</code>、<code>Symbol</code> 这些更基础的东西凑出等价效果。前一种路线的枚举值是数字，可以隐式转成整数、可以拿到不存在的值；后一种路线的枚举值只能来自声明过的构造子，编译器能替你检查穷尽性。本页按三个主题层层推进：<strong>定义与底层表示</strong>先确认每种语言的枚举到底是什么、占几个字节、序列化成什么；<strong>取值、转换与遍历</strong>看序号与底层值怎么互换、遍历顺序可不可靠、未知值怎么处理；<strong>带数据的枚举与模式匹配</strong>看哪些语言真的能做和类型（sum type），穷尽性检查是编译期保证还是运行时兜底。每一节都是一套 18 语言标签页，顺序固定，没有该机制的语言会明确写出「没有」并给出常规替代做法。</p>https://before80.github.io/prgms/diff/methods/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/methods/<h1 id="方法18-种语言对照">方法：18 种语言对照</h1> <p>函数是大家都有的东西，方法却不是：它是一段代码加上一个&quot;接收者&quot;。本页按四个主题组织这条线索。<strong>定义与接收者</strong>回答&quot;接收者写在哪里&quot;——Rust 放进 <code>impl</code> 块、Go 写在函数名前的括号里、Python 把它变成第一个显式参数、C 干脆没有。<strong>方法与函数的关系</strong>回答&quot;方法能不能变回普通函数&quot;——Go 的方法表达式、Rust 的 UFCS、C++ 的成员函数指针，以及各语言的扩展方法。<strong>方法解析与派发</strong>回答&quot;调用哪一份实现、什么时候决定&quot;——是编译期静态绑定还是查 vtable，是单分派还是多分派。<strong>特殊方法</strong>回答&quot;构造、析构、运算符怎么用方法表达&quot;。最根本的分歧只有两条：接收者是值还是引用、名字到实现的绑定发生在编译期还是运行时；其余所有差异几乎都能从这两条推出来。</p>https://before80.github.io/prgms/diff/inherit/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/inherit/<h1 id="继承18-种语言对照">继承：18 种语言对照</h1> <p>继承在大多数教材里被当成面向对象的起点，但 18 门语言给出的答案是分裂的：Java、C#、Kotlin、Swift、Dart、PHP、Ruby 只允许单继承并用接口或 mixin 补足横向复用，C++ 允许真正的多继承（并因此背上菱形与虚继承），Python 允许类多继承但要靠 MRO 线性化，而 Rust、Go、Julia、Zig、C、Lua、R 干脆没有继承关键字，各自用 trait、嵌入、多分派、组合、元表和泛型函数解决问题。本页因此按三条线索组织：先看<strong>继承与子类型</strong>（谁有继承、谁只有子类型关系），再看<strong>覆盖与多态</strong>（<code>virtual</code>/<code>override</code>/<code>final</code>/<code>sealed</code> 的完整矩阵与派发机制），然后看<strong>没有继承的语言怎么复用</strong>（这才是多数现代语言的实际做法），最后集中记录<strong>继承的陷阱</strong>——脆弱基类、菱形、对象切片、构造期调用被覆盖方法、<code>equals</code>/<code>hashCode</code> 契约破坏等。理解这四组差异之后，语言选型时&quot;要不要给类开 <code>open</code>&ldquo;这类问题就不再是口味问题，而是可推演的工程判断。</p>https://before80.github.io/prgms/diff/generic/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/generic/<h1 id="泛型18-种语言对照">泛型：18 种语言对照</h1> <p>泛型的写法只是表层，真正的分歧藏在这四个子主题里：<strong>怎么写约束</strong>（trait bound、concept、interface 类型集、协议约束、docblock 注解）、<strong>子类型关系怎么传导</strong>（协变、逆变、不变）、<strong>代码最终怎么生成</strong>（单态化、类型擦除、具体化）、<strong>运行时还剩多少类型信息</strong>（<code>typeof(T)</code>、<code>TypeId</code>、反射、完全擦掉）。这四件事互相牵制：选了单态化就换来性能但失去异构容器，选了擦除就换来代码体积但拿不到 <code>T</code>，选了具体化就保住了反射却背上 CLR/VM 的运行时元数据。本页先把 18 种语言放到同一张速览表里对齐，再逐个主题展开。按「语言本身是否提供类型参数」统计（口径：本文件 18 种语言全算），完全没有类型参数的 6 种是 C、Lua、R、Ruby、PHP、JavaScript，它们分别用 <code>void *</code> 加 <code>_Generic</code>、元表、S3/S4 分派、duck typing、docblock 加 PHPStan/Psalm、JSDoc <code>@template</code> 顶替；其余 12 种（Rust、Swift、Go、Python、Kotlin、Java、C++、Julia、C#、Dart、Zig、TypeScript）都有类型参数，但各有短板——Go 与 Zig 没有型变概念，Python 的类型参数只活在注解里，Java 的类型实参擦除后不剩，C# 的声明处型变只覆盖接口与委托。</p>https://before80.github.io/prgms/diff/compileOptions/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/compileOptions/<h1 id="编译选项18-种语言对照">编译选项：18 种语言对照</h1> <p>编译选项是横向对照里最难对齐的一块，因为「优化」这件事在 18 门语言里发生在完全不同的时刻：C、C++、Rust、Swift、Zig 在构建期由编译器静态完成，Java、C#、JavaScript 在运行期由 JIT 在方法变热之后才做，Python、Ruby、PHP、Lua、R 则只有解释器与字节码缓存级别的开关，根本没有「优化等级」这个旋钮。选项的载体也各不相同：C 系是纯命令行 flag，Rust 写进 <code>Cargo.toml</code> 的 profile，Java 靠 <code>-XX:</code> 之类的 JVM 参数，TypeScript 与 C# 把大部分配置放进 <code>tsconfig.json</code> 与 <code>.csproj</code>，Go 甚至只留了 <code>-gcflags</code> 一个后门。本页把这块拆成四组：<strong>优化等级 → 体积与链接 → 运行时与目标控制 → 调试与分析开关</strong>，每组一套 18 语言标签页，代码块里给的是可直接粘贴的 shell 命令与实测输出。理解这条分组逻辑的关键是分清「编译器选项」与「运行时/解释器选项」：<code>-O2</code>、<code>-C opt-level</code>、<code>-gcflags</code> 属于前者，<code>--yjit</code>、<code>PYTHON_JIT</code>、<code>-XX:TieredStopAtLevel</code>、<code>node --max-old-space-size</code> 属于后者，把两者混为一谈是这类配置最常见的事故来源。</p>https://before80.github.io/prgms/diff/accessCtrl/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/accessCtrl/<h1 id="访问控制18-种语言对照">访问控制：18 种语言对照</h1> <p>访问控制这件事，各语言的分歧点在四个层面依次展开：<strong>第一个层面是类或类型的成员修饰符</strong>（<code>public</code>/<code>private</code>/<code>protected</code> 这一套到底有几个、默认是哪一级）；<strong>第二个层面是模块与文件的边界</strong>（封装单位是类、是文件、是包、还是 crate，边界不同则同一个关键字含义完全不同）；<strong>第三个层面是没有强制机制时怎么表达私有</strong>（下划线约定、名称改写、闭包）；<strong>第四个层面是这些边界能不能被反射和内存操作绕过去</strong>。这四个层面构成本页的四个子主题，每个子主题一套 18 语言标签页。最根本的分歧可以归纳成一句话：有的语言把可见性当成<strong>编译期契约</strong>，编译通过、运行时想怎么看就怎么看（TypeScript、C++、Java 的 <code>private</code> 都在此列）；有的语言把它当成<strong>运行时的真边界</strong>，语言层面根本不提供通向内部的路径（JavaScript 的 <code>#</code>、Rust 的 <code>mod</code> 私有、Dart 的库级下划线、Lua 的闭包 upvalue）；还有一批语言<strong>压根不做强制</strong>，只留下划线这类命名约定（Python、R、Julia、Lua 的表字段）。本页反复回到的核心区分就是「真私有」与「编译期私有」，请读者在每个子主题里都拿这把尺子去量一遍。</p>https://before80.github.io/prgms/diff/macro/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/macro/<h1 id="宏18-种语言对照">宏：18 种语言对照</h1> <p>宏是唯一一类&quot;写起来像函数、实际却不是函数&quot;的机制。本页按四个主题递进：<strong>预处理宏</strong>看 C/C++ 的文本替换到底提供了什么、<strong>声明式与语法宏</strong>看 Rust 与 Julia 如何把宏做成语法树层面的模式匹配、<strong>过程宏与编译期代码生成</strong>看编译器怎样被当成一个库来调用、<strong>没有宏的语言用什么替代</strong>看装饰器、元编程、代码生成与泛型各自能顶替到什么程度。最根本的分歧在于替换发生在哪一层：C 的预处理器在词法层做字符串替换，Rust 与 Julia 在语法树层做结构匹配，C# 的源生成器与 Java 的注解处理器干脆把工作交给一个在编译过程中运行的普通程序。第二个分岔是卫生性（hygiene），Rust 与 Julia 的宏默认让宏内新引入的名字不与调用点冲突，C 的宏什么也不保证。第三个分岔是时机，C# 与 Java 的生成器只能<strong>新增</strong>源码，不能修改已有的声明，这决定了它们能表达什么。</p>https://before80.github.io/prgms/diff/memorySafe/Sat, 19 Sep 2026 12:00:00 +0800https://before80.github.io/prgms/diff/memorySafe/<h1 id="内存安全18-种语言对照">内存安全：18 种语言对照</h1> <p>内存安全不是&quot;有没有垃圾回收&quot;这么简单的问题，它由三层东西叠起来：<strong>内存怎么分配和释放</strong>（手动、引用计数、追踪式 GC、编译期所有权）、<strong>哪些操作一旦写错就不再是&quot;错误&quot;而是&quot;未定义行为&quot;</strong>（越界、悬垂、数据竞争）、以及<strong>语言把保证做到哪一步、又留了哪些官方的逃逸通道</strong>（<code>unsafe</code>、FFI、反射、C 扩展）。本页按这四层组织：先看<strong>内存模型与所有权</strong>，再看<strong>安全边界</strong>里各语言对 UB 的定义差异，然后是<strong>安全保证与逃逸通道</strong>，最后是<strong>常见问题与检测工具</strong>。各语言最根本的分歧在于：C 与 C++ 把内存完全交给程序员，Rust 用编译期所有权把大部分检查提前到编译期，Zig 把安全检查做成可切换的构建模式，而 Java、C#、Go、Swift、Dart、JavaScript 把保证放在运行时，Python、Ruby、PHP、Lua、R、Julia 则依靠&quot;错误的操作抛异常&quot;这一层薄薄的运行时约定。</p>https://before80.github.io/prgms/diff/regex/Sat, 19 Sep 2026 21:00:00 +0800https://before80.github.io/prgms/diff/regex/<h1 id="正则表达式18-种语言对照">正则表达式：18 种语言对照</h1> <p>&ldquo;正则&quot;这个词掩盖了三件完全不同的事：<strong>有的语言根本没有正则</strong>（C 只借用了 POSIX 的 <code>&lt;regex.h&gt;</code>，Zig 的 <code>std</code> 里连这个词都不存在），<strong>有的语言给的是另一套模式语法</strong>（Lua 的 <code>string.find</code> 系列是 Lua pattern，没有 <code>|</code> 交替也没有环视），<strong>剩下的语言才在真正的正则引擎之间分岔</strong>——一边是回溯引擎（Python、Java、.NET、PHP 的 PCRE2、Ruby 的 Onigmo、JavaScript），功能全但可以被一个嵌套量词写成指数级；另一边是有限自动机的线性时间引擎（Rust 的 <code>regex</code>、Go 的 <code>regexp</code>），永远不会被 ReDoS 打穿，代价是彻底放弃反向引用与环视。本页按四个主题组织：<strong>引擎与方言 → 匹配与查找 → 捕获组与替换 → 性能安全与陷阱</strong>，每个主题一套 18 语言标签页。</p>