为何IntelliJ未对Kotlin类私有字段赋值触发未使用警告？

核心差异源于两者的作用域、语义场景以及IntelliJ的检测策略不同：

• 作用域与确定性不同
  局部变量的作用域被严格限定在函数内部，编译器可以完全遍历其所有可能的使用场景，一旦发现只有赋值没有读取操作，就能100%确定这是冗余代码，所以会触发警告。
  而类的私有字段虽然访问权限受限，但存在被反射读取的可能性——编译器无法预判开发者是否会通过反射在类外部读取这个字段，所以不会直接判定它为未使用。

• 语义上的潜在用途差异
  局部变量仅赋值不读取，几乎不存在合理的业务场景，基本属于代码失误或冗余。
  但类私有字段的赋值操作可能隐含副作用：比如后续给这个字段添加自定义setter逻辑时，赋值会触发额外操作；或者这个字段是为序列化框架、注解处理器预留的，即使代码里没有显式读取，框架可能通过反射读取它的值，这种情况下赋值是有实际意义的。

• IntelliJ的检测策略倾向
  对局部变量的未使用检测逻辑更严格，因为误判概率极低；而对类成员的检测会更保守，避免误报那些有潜在用途的字段，尤其是private成员，开发者往往有特殊的设计意图，比如预留字段、配合反射使用等。

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