技术拾遗
Java
Java 8
Lambda
Java 8 Lambdas - A Peek Under the Hood
What does $$ in javac generated name mean?
-
lambda 表达式并不总是持有外部 enclosing object 的引用，如果它不访问任何外部变量，即不持有这样的引用。只要设计一个对比实验，就会发现引用过外部变量的lambda实例才会产生一个 arg 的隐式参数引用。而内部类内部总是含有一个
this$0。 -
lambda表达式是词法作用域的-意思是不产生新的作用域，不产生任何shadowing问题。它可以无缝访问外部作用域的东西，就好像从一个 if block 里访问一个方法里的其他变量一样。但，同样地，不能声明新变量。
All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.
Related Articles
2026-05-20
MyBatis 内部架构深度解析：从 Mapper 方法到 JDBC 执行链
MyBatis 的内部结构并不复杂，但很容易被看散：SqlSession、MapperProxy、MappedStatement、Executor、StatementHandler、TypeHandler、一级缓存、二级缓存、插件链分别出现在不同包里，单看任何一个类都像是局部技巧。把它们放回完整调用链之后，MyBatis 的设计会变得很清楚： MyBatis 的核心不是“把对象自动映射成表”，而是“把 Java 方法稳定地映射到一条可执行的 SQL 描述，再把执行过程拆成可替换的流水线组件”。 本文以 MyBatis 3.5.19 的官方文档与源码 XRef 为基准，重点讨论 MyBatis 运行时内部架构，不展开 MyBatis-Spring 的事务同步、Spring Boot 自动装配，也不讨论 MyBatis-Plus 等增强框架。 总体架构 MyBatis 可以分成两条主线：构建期主线和执行期主线。 构建期负责把 XML、注解、类型别名、类型处理器、插件、缓存配置等材料编译成一个 Configuration 对象。执行期从 SqlSessionFactory 打开 ...
2026-05-21
回到工程：计算理论怎样改变写代码的眼光
这个系列从《计算的本质》重新出发，用 Python 重写核心实验，再把每个模型映射到 Java 程序员熟悉的工程结构。一路走下来，主题并不是记住更多术语，而是换一种方式观察程序。 程序可以是语法树，执行可以是规约，协议可以是自动机，嵌套可以靠栈，通用计算可以由解释器承载，分析工具也可以承认不精确并保持有用。 本文不再引入新模型，只把前面十几篇文章收束成一张工程地图。 概念地图 先把系列里最重要的模型压成一段可运行的概念地图。 12345678910concept_map = [ ("AST / 语义", "解释器、DSL、规则执行"), ("DFA / NFA / 正则", "协议状态、校验器、词法分析"), ("PDA / 栈", "parser、嵌套结构、调用栈"), ("图灵机 / 通用性", "VM、脚本引擎、程序作为数据"), ("停机问题 / 抽象解释", &...
2026-05-21
停机问题：为什么某些判断没有通用程序
上一篇文章用寄存器机解释器说明了通用性：程序可以编码成数据，解释器可以读取这份数据并模拟执行。通用性带来强大表达能力，也带来一个边界问题：能不能写一个程序，判断任意程序在任意输入上是否会停机。 答案是否定的。停机问题说明，不存在一个对所有程序和输入都正确的通用停机判定器。工程里可以做超时、步数限制、静态分析和资源预算，但这些方法要么不完整，要么会保守拒绝，要么只覆盖有限范围。 本文先用一个可运行的有界检查器展示工程近似，再用自引用反证解释为什么通用判定器不存在。 问题形式 停机问题可以写成一个理想函数： 1halts(program, input_data) -> True / False 它的承诺是： 返回值 含义 True program(input_data) 最终会停机 False program(input_data) 会一直运行 难点在“任意程序”和“任意输入”。判断某个具体程序很容易；判断所有程序则会遇到自引用。 工程里常见的近似：有界执行 最朴素的方法是只运行有限步。如果步数内停机，就返回 True；如果步数用完还没停，就返回 Fa...
2026-05-21
lambda 演算入门：函数为什么足够表达计算
图灵机用纸带、读写头和指令循环描述计算。lambda 演算换了一条路：它不用可变纸带，也不用状态跳转，只保留函数定义、函数调用和变量替换。 这个模型看起来比图灵机更不像机器，却和图灵机有同等表达能力。图灵机强调“有限控制怎样改写存储”，lambda 演算强调“表达式怎样通过函数应用逐步化简”。从工程角度看，它把计算从指令循环翻译成表达式重写。 本文先建立 lambda 演算的最小语法，用 Python 表示变量、函数和调用，再通过一个小例子展示函数怎样返回函数、调用怎样变成替换。 三种表达式 lambda 演算的核心语法只有三种。 形式 示例 含义 变量 x 一个名字 函数 x -> x 接收参数 x，返回表达式 x 调用 (x -> x) a 把函数应用到参数 a 函数也叫抽象，调用也叫应用。为了贴近 Java 程序员熟悉的形式，本文用 x -> x 表示 lambda 表达式，而不用希腊字母写法。 最小模型可以写成一棵表达式树： 1234Expression = Variable(name) | Function(param...
2019-09-05
重述双亲委派模型
何时加载类 根据 Java 语言规范（JLS §12.4），类或接口在首次主动使用时才会被初始化。主动使用包括以下情况： 遇到 new、getstatic、putstatic、invokestatic 等字节码指令时。这些指令分别对应创建对象实例、读取或设置静态字段、调用静态方法。 对类进行反射调用时，如 Class.forName() 或 Method.invoke()。 初始化某个类的子类时，父类会先被初始化（但父类接口不会）。 虚拟机启动时会先加载设置的主类，即包含 main() 方法的类。 使用 java.lang.invoke 包的动态语言支持特性时，如 MethodHandle 调用。 需要注意的是，被动引用（如通过数组引用、常量引用、访问子类的静态字段等）不会触发类初始化。 从 Java 到 cpp 源码分析 双亲委派模型的工作流程 双亲委派模型的核心逻辑在 java.lang.ClassLoader.loadClass(String name, boolean resolve) 方法中： 123456789101112131415161718192021222...
2020-02-27
hive 汇总
Hive 操作符和函数汇总 Hive 架构概述 Hive 是构建在 Hadoop 之上的数据仓库基础设施，提供类 SQL 的查询语言 HQL，将查询转换为 MapReduce、Tez 或 Spark 任务执行。 核心组件 MetaStore 存储表的元数据信息，包括表结构、分区、列类型、序列化/反序列化规则等 支持多种存储后端：Derby（默认）、MySQL、PostgreSQL 可配置为远程服务模式，支持多客户端并发访问 Driver 接收查询请求，生成执行计划 编译器：解析 HQL，生成语法树，进行语义分析 优化器：基于规则和成本的查询优化 执行引擎：将逻辑计划转换为物理执行计划 执行引擎 MapReduce：早期默认引擎，适合大规模批处理 Tez：基于 DAG 的执行引擎，减少中间结果落盘 Spark：基于内存计算，显著提升查询性能 Hive 数据模型 Database 数据库是命名空间的逻辑容器，对应 HDFS 上的目录路径。 Table Hive 表分为两种类型： 管理表（内部表）：删除表时删除元数据和数据 外部表：删除表时仅删除元数据，保留数据 Par...