JLS 8.4与8.8.1中内部类构造器参数定义的矛盾问询

首先明确JLS中两个核心概念的定义边界：

• 接收者参数：仅存在于源代码层面的可选语法元素（JLS 8.4），用于显式指代方法/构造器的接收者（实例方法的this，或内部类构造器的直接封闭实例）。它不属于方法的形式参数列表，编译后不会作为独立参数出现在字节码中，只是语法层面的标识工具。
• 形式参数：属于方法/构造器签名的核心组成部分（JLS 8.4.1、8.8），无论是显式声明还是隐式生成，都会被编译为字节码中的实际参数，体现在class文件的方法描述符、MethodParameters属性中。

针对你发现的JLS表述“矛盾”，其实是不同层面的定义：

1. JLS 8.4及8.4.1示例中提到的“接收者参数”，是指源代码里可选显式写出的语法标识——比如你可以在内部类构造器里写Outer this$0作为接收者参数，用来明确这个参数对应直接封闭实例，但这只是语法糖，不会改变构造器的实际参数结构。
2. JLS 8.8.1说明的“隐式声明的形式参数”，是指语义和字节码层面的实际参数——非私有内部成员类的构造器必然会被编译器自动添加第一个形式参数，用于传递直接封闭实例，这个参数是构造器签名的一部分，会体现在class文件中。

正确归类结论 #

• 在源代码语法范畴：如果显式写出了对应封闭实例的参数，它属于接收者参数，是可选的语法工具；
• 在语义与字节码范畴：内部类构造器中传递封闭实例的参数，属于隐式形式参数，是构造器签名的强制组成部分；
• 两者指向同一个逻辑实体，但在JLS的概念体系中是独立分类：接收者参数是源代码层面的“标识”，形式参数是实际参与方法调用的参数实体。

内容的提问来源于stack exchange，提问作者sify