Kotlin编译器为何为内联函数插入额外的$i$f变量？

示例代码 #

inline fun hello(s: Int) {
    println("Hi")
}

编译后对应的字节码 #

public final static hello(I)V
 L0
  ICONST_0
  ISTORE 1
 L1
  LINENUMBER 6 L1
  LDC "Hi"
  GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
  SWAP
  INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/Object;)V
 L2
  LINENUMBER 7 L2
  RETURN
 L3
  LOCALVARIABLE $i$f$hello I L1 L3 1
  LOCALVARIABLE s I L0 L3 0
  MAXSTACK = 2
  MAXLOCALS = 2

问题 #

观察字节码中的LOCALVARIABLE $i$f$hello I L1 L3 1可以看到，Kotlin会为内联函数创建$i$f$hello变量，在函数起始的L0处赋值为0（对应布尔值false），且该变量从未被使用。移除inline修饰符后这个变量就会消失，请问此行为的原因是什么？

这个$i$f$hello变量是Kotlin编译器为内联函数生成的标记变量，核心作用是支撑内联函数的特殊编译与调试逻辑，具体原因如下：

• 区分直接调用与内联展开场景
  内联函数通常会在调用点被代码展开，但在反射调用、编译器无法完成展开的边缘场景下，它会以普通函数形式执行。这个变量用来标记当前函数是直接调用（值为0/false）还是内联展开（展开时不会生成该变量），让编译器和调试器能识别函数的执行状态。

• 保障调试信息的准确性
  内联函数展开后会融入调用方代码，这个标记变量能帮助调试器正确关联原内联函数的栈帧与源代码位置，避免调试时出现代码位置错乱的问题，确保调试体验符合预期。

• 预留语言特性扩展空间
  Kotlin编译器保留该变量是为了兼容未来可能新增的内联相关特性，比如特殊注解处理、调用点元数据收集等，提前预留标记可以减少后续版本的兼容性风险。

简言之，这个变量是内联函数编译机制中不可或缺的辅助标记，即便当前看起来没有直接被使用，也是支撑内联逻辑正常运作的一部分。

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