var仅限方法体内局部变量声明，需初始化且类型可静态推断，禁用于字段、参数、返回值及lambda形参；推断类型最具体但可能丢失泛型信息，影响可读性与维护性。
var 只能在局部变量声明时用，不能当字段或返回值类型
Java 的 var 是语法糖，本质是编译期推断，不是运行时动态类型。它只允许在方法体内、for 循环初始化、try-with-resources 中声明局部变量时使用。
常见错误现象：var list = new ArrayList<string>();</string> 合法，但 private var name = "abc"; 会编译失败 —— 字段不允许用 var。
-
var不能用于类字段、方法参数、构造器参数、catch 参数 - 不能用在 lambda 表达式形参里（
(var x) -> x.toString()❌） - 不能作为方法返回类型（
public var getValue() { ... }❌） - 泛型擦除不影响推断，
var map = new HashMap<string integer>();</string>推出的是HashMap<string integer></string>，不是裸HashMap
var 要求初始化表达式必须明确，null 不行
编译器靠右边的表达式推导类型，如果没表达式、或表达式是 null，就无法确定类型，直接报错。
错误示例：var x = null; → 编译错误 cannot infer type for local variable x；var y;（无初始化）→ 语法错误。
立即学习“Java免费学习笔记（深入）”；
- 必须有初始化表达式，且该表达式类型可静态确定
- 可以是字面量（
var s = "hello";）、构造器调用（var l = new LinkedList();）、方法调用（var r = Collections.emptyList();），前提是返回类型不模糊 - 如果方法重载多、泛型推导歧义（比如
Stream.of()传null），也会导致推断失败
var 在复杂泛型和匿名类场景下容易丢失类型信息
推断出来的类型是“最具体的可表达类型”，但有时太具体、有时又不够具体，尤其涉及通配符、类型变量或匿名子类时。
典型问题：用 var 声明 Stream 或 Optional 后，链式调用中某些方法不可见 —— 因为推断出的是带泛型实参的原始类型，而非你期望的上界。
-
var opt = Optional.of("x");→ 推出Optional<string></string>，没问题 -
var stream = Stream.of(1, 2, 3).map(Object::toString);→ 推出Stream<string></string>，也没问题 - 但
var list = Arrays.asList(1, "s");→ 推出List<object></object>，而不是你可能以为的List>或更宽松的类型 - 匿名类 +
var：var r = new Runnable() { public void run() {} };→ 推出的是合成的匿名类名（如xxx$1），无法再当作Runnable安全转型或重用
var 和 IDE、重构、可读性的实际权衡
用不用 var 不是类型安全问题，而是代码可维护性问题。它省了左边重复的类型名，但也可能隐藏关键契约。
容易踩的坑：团队里有人习惯写 var data = getData();，结果 getData() 返回类型一改，下游所有用 data 的地方都得跟着检查是否还兼容 —— 因为左侧没显式声明意图。
- 适合用
var：类型名冗长（Map<string list set>>>></string>）、构造器调用清晰（var builder = new StringBuilder();）、流式链路中间变量 - 不适合用
var：类型含义关键（Duration timeout比var timeout更易懂）、返回类型不直观（var result = service.process();）、调试时需要快速识别类型 - IDE 能显示推断类型，但代码审查、Git diff、静态分析工具不一定能自动还原语义 —— 尤其当初始化表达式跨文件或被提取成方法后
真正麻烦的不是语法限制，而是当 var 遇上类型擦除、泛型桥接方法、或 IDE 推断缓存失效时，你得切回命令行 javac -Xdiags:verbose 才能看出它到底推成了啥。
