为何Kotlin中的Getter使用INVOKEVIRTUAL指令？

问题代码 #

class SomeClass {
    var value = 1
}

fun showValue() {
    val klass = SomeClass()
    println(klass.value)
}

对应的字节码 #

public final static showValue()V
   L0
    LINENUMBER 8 L0
    NEW com/korol/kittybot/SomeClass
    DUP
    INVOKESPECIAL com/korol/kittybot/SomeClass.<init> ()V
    ASTORE 0
   L1
    LINENUMBER 9 L1
    ALOAD 0
    INVOKEVIRTUAL com/korol/kittybot/SomeClass.getValue ()I
    ISTORE 1
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    ILOAD 1
    INVOKEVIRTUAL java/io/PrintStream.println (I)V
   L2
    LINENUMBER 10 L2
    RETURN
   L3
    LOCALVARIABLE klass Lcom/korol/kittybot/SomeClass; L1 L3 0
    MAXSTACK = 2
    MAXLOCALS = 2

问题点 #

观察到Getter通过INVOKEVIRTUAL com/korol/kittybot/SomeClass.getValue调用，而非静态方法。按理解虚调用适用于有多实现的函数，但此处类和字段都不是open或abstract，想知道原因。另外还注意到Kotlin通常不在类中生成静态方法，仅在伴生对象或对象中生成，也想了解这一点。

回答 #

1. 为什么Getter用INVOKEVIRTUAL调用

• Kotlin里var生成的Getter/Setter本身就是实例方法，因为属性值存在实例内存空间中，必须通过实例才能访问对应的字段，和类是否open无关。
• 虽然INVOKEVIRTUAL是虚调用指令，但对于final类的方法，JVM会自动做内联优化，运行时直接转成非虚调用逻辑，不会有性能损耗。Kotlin只是遵循Java实例方法的调用规范，同时依赖JVM的优化保证效率。
• 这种设计还能保持一致性：哪怕后续把类改成open，子类可以直接重写Getter/Setter，调用逻辑完全不用改，减少了代码变更的成本。

2. 为什么Kotlin不在类中生成静态方法

• Kotlin的设计思路是尽量避免静态成员，因为静态成员不属于类的实例，会破坏面向对象的封装性，还容易引入全局状态问题。
• 伴生对象和单例对象是替代方案：它们本质是特殊的单例类，内部方法会被编译成静态方法，但这些方法属于对象实例而非原类，既满足了静态调用的需求，又保持了面向对象的结构。
• 这种设计也和Kotlin的空安全、函数式编程特性更契合，让代码结构更清晰，避免了静态方法带来的各种潜在问题。

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