重新定义编程语法：让相邻代码通过类型“自动吸附”
该项目展示了一种全新的Java编程语法实验——“通过邻接绑定”。开发者构建了一个编译器插件，打破了传统依赖运算符的编程模式，允许相邻的表达式根据静态类型自动识别并组合。例如，输入“2025 July 19”可直接生成本地日期对象，“300M...
标签索引 / 第 2 页
编译器技术
这个标签下有 29 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
拒绝妥协性能！通过动态特性检测榨干 Intel 与 AMD CPU 极限
本文探讨了C语言软件在x86-64架构下的深度性能优化策略，旨在解决代码可移植性与极致性能之间的矛盾。文章指出，仅依赖通用编译配置无法利用AVX2、AVX-512等现代指令集的潜力。作者详细介绍了利用GCC/Clang的“Target Cl...
深入CLOS MOP：在Lisp上实现Java风格单分派的技术实践
这篇文章分享了一项硬核的系统编程实践。作者为了在Common Lisp（SBCL）上运行Clojure REPL，通过自研的OpenLDK（Java JIT编译器），深入操纵CLOS（通用Lisp对象系统）的元对象协议（MOP）。核心难点在...
C++性能深度解析：用静态多态消除虚函数开销，实现零成本抽象
尽管虚函数提供了灵活的运行时多态，但其带来的指针间接寻址和内联阻碍往往成为性能瓶颈。本文深入探讨了编译器“去虚化”的局限性，并提出了在延迟敏感路径中，利用CRTP（奇异递归模板模式）及C++23新特性等静态多态技术来手动替换动态分发的方案。...
三语言共舞：cl-kawa 实现 Lisp、Scheme 与 Java 的零边界互操作
cl-kawa 是一项极具创新性的技术演示项目，成功在单个 SBCL 进程中实现了 Common Lisp、Kawa Scheme 和 Java 的深度融合。通过利用 OpenLDK（用 Common Lisp 编写的 JVM），项目将 J...
康奈尔大学 TAL 技术：如何在 Intel 架构上实现兼顾高性能与绝对安全的汇编语言？
Typed Assembly Language (TAL) 是康奈尔大学研发的一项前沿编译器技术，旨在解决底层汇编语言缺乏安全性的痛点。TAL 通过引入类型注解和严格的类型规则，在不牺牲性能的前提下，保证了程序的内存安全与控制流安全。该技术...
C语言现代化里程碑：GCC与Clang编译器现已全面支持defer特性
C语言开发迎来重要更新。继JeanHeyd Meneide主导完成TS 25755技术规范后，GCC和Clang两大主流编译器社区已成功集成defer机制。目前Clang 22版本已原生支持该功能，旨在通过自动化资源清理彻底解决资源泄漏与互...
Hibana：Rust并发编程新工具，编译期即可证明协议无死锁
Hibana 是一个专为 Rust 设计的仿射多方会话类型（MPST）运行时引擎。它允许开发者编写全局的通信编排逻辑，并在编译阶段将其投影为本地角色，从而在代码运行前就通过数学证明协议是无死锁的。该工具核心支持 no_std 和无堆内存分配...
技术深读：为何C语言仍是编译器开发的最佳后端？六大实战经验分享
本文由资深编译器工程师撰写，深入探讨了在现代编译器开发中将C语言作为目标后端的实践与思考。作者指出，机器生成的C代码比手写更安全，能有效规避未定义行为的陷阱。文章总结了六大关键技术模式：利用`static inline`函数实现零成本数据抽...
AI写出的编译器能挑战四十年老牌霸主吗？深度实测Claude CCC vs GCC
Anthropic近期宣称其AI模型Claude Opus 4.6独立编写了一个C语言编译器CCC，并声称能编译Linux内核。本文作者通过对比业界标准GCC，对CCC进行了严格的基准测试。结果显示，虽然CCC在语法正确性上表现出色（成功编...