Java中方法存入对象的理解：Pattern类Javadoc示例相关疑问

Pattern p = Pattern.compile("a*b");
Matcher m = p.matcher("aaaaab");
boolean b = m.matches();

• 静态方法compile返回值赋值给Pattern实例的运作逻辑
  静态方法是隶属于类的方法，和类实例没有绑定关系，它的返回逻辑和普通方法没有本质差异：方法体内部执行完成后，通过return语句返回一个已在堆内存中完成初始化的对象引用。
  具体到Pattern.compile的设计：它是Java提供的静态工厂方法，本身承担了正则字符串的语法校验、正则元数据解析、语法异常抛出的前置流程。由于Pattern的公开构造器是被私有化的，不允许外部代码直接通过new关键字创建实例，当你调用Pattern.compile("a*b")时，方法内部会完成上述校验、解析流程，把解析得到的正则规则封装成一个Pattern类的实例存在堆上，最后把这个实例的内存引用返回，调用方就可以把这个引用赋值给Pattern类型的变量p，整个过程和普通方法返回对象引用的逻辑完全一致，没有特殊机制。
• 实例方法matcher返回值赋值给Matcher类型变量的运作逻辑
  实例方法是绑定类实例的可执行逻辑，调用时会把发起调用的当前实例（也就是上一步得到的p）作为隐式参数传入方法内部。
  具体到p.matcher("aaaaab")的逻辑：方法拿到当前绑定的Pattern实例p（也就是已经解析好正则规则的对象），结合传入的待匹配字符串"aaaaab"，在堆上初始化一个新的Matcher类实例。Matcher本身的构造器也是私有化的，不允许外部独立创建，因为没有关联正则规则的Matcher没有实际匹配意义。新创建的Matcher实例会在自己的成员变量中保存两个核心引用：一是关联的Pattern对象p（Matcher执行匹配时需要复用p中已经解析好的正则规则，不需要重复做解析），二是待匹配的字符序列、以及匹配过程中需要维护的位置指针、匹配结果状态等数据。等这个Matcher实例初始化完成后，方法就把该实例的内存引用返回，赋值给变量m。

关于你想理解的“方法存入对象”的相关原理，本质上是混淆了方法的调用逻辑和对象的内存存储结构，这里明确几个基础事实：

• 所有方法的可执行代码段都存储在JVM的方法区中，从来不会被“存储进某个对象实例里”。堆内存中的对象仅会存储自身的成员变量状态：比如Pattern实例会存储解析完成的正则元数据，Matcher实例会存储关联的正则引用、待匹配内容、匹配状态。
• 静态方法是类级别的逻辑入口，不需要绑定任何对象实例即可通过类名调用；实例方法是绑定对象级别的逻辑入口，调用时JVM会自动将发起调用的对象作为隐式参数传入方法，让方法有权限访问该对象的成员状态。
• 所有方法返回对象的流程逻辑完全统一：方法内部在堆上完成对应类型实例的创建、初始化后，将该实例的内存引用返回给调用方；调用方拿到引用后赋值给对应类型的变量，即可通过变量操作这个堆上的实例。不存在“把方法打包成对象返回”的特殊机制。

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