编译器能否自动对类进行inline（内联）优化？

背景铺垫 #

部分编程语言提供inline或类似关键字，允许开发者手动指定将函数调用点替换为被调用函数的函数体。比如C#就没有这类关键字，因为编译器会自动判断哪些代码需要内联，以此避免干扰开发者——开发者不需要关注这些优化细节。

而Kotlin、最新版本的Dart这类语言实现了内联类语法：可以把现有类型包装成新的静态类型，同时减少传统类带来的对象开销。Dart的内联类语法已被规范，但目前尚未实现，示例代码如下：

inline class Foo {
  // 单个实例变量，定义了底层的表示类型
  final Bar bar;
  
  // 自定义的其他成员方法
  void function1() {
     bar.baz; 
  }
  // ... 其他成员
}

核心问题 #

编译器能否自动对类进行这类内联优化？如果不能，存在哪些难以解决的挑战？

问题解答 #

编译器很难自动完成这类内联类的优化，核心挑战主要有这几点：

• 类型语义的丢失风险
  内联类的核心价值之一是在类型系统层面区分语义不同但底层表示相同的类型（比如用UserId(int)和ProductId(int)区分不同用途的整数）。如果编译器自动做内联优化，它根本没法判断开发者创建类是为了语义区分还是单纯包装——一旦自动内联，开发者刻意设计的类型安全边界就会被抹掉，埋下类型错误的隐患。

• 代码行为的不一致性
  传统类有独立的对象身份（比如引用相等性判断===），而内联类本质是直接复用底层类型，没有自己的对象标识。如果编译器自动把某个类内联，原本依赖对象身份的代码（比如把类实例存进哈希集合）会突然改变行为，这类bug很难排查。

• 跨模块优化的障碍
  内联类优化需要编译期完全掌握类的所有实现细节，但如果类定义在独立模块或第三方库中，编译器处理调用方代码时可能拿不到完整的类信息，没法安全内联。而且后续类的实现如果更新，已经被自动内联的调用方代码会出现版本不一致的问题。

• 无法预判开发者意图
  有些类现在看起来是简单包装，但开发者可能留了扩展空间——比如未来要加更多属性或逻辑。编译器没法预判这种长期意图，自动内联后会锁死类的结构，后续重构成本会很高。

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