Flutter报int不是Product子类型错误，用var关键字可修复的原因求解

错误产生的核心原因 #

你遇到的type 'int' is not a subtype of type 'Product'报错，本质是Dart强类型校验触发的类型不匹配问题：

• 你的方法已经被定义为需要返回Product类型的返回值，但是你在方法的分支逻辑中，存在两个不同的返回值：一个是int类型的_selectedProductIndex，另一个是Product类型的_products[_selectedProductIndex]。
• 当你显式将_selectedProductIndex声明为int类型时，Dart的静态类型校验阶段就会识别到「返回int类型和方法要求的Product返回类型不匹配」，直接抛出错误，不需要等到代码实际运行。

var关键字“修复”报错的底层逻辑 #

Dart中var是类型推断关键字，它的类型推断规则分两种情况：

• 声明变量时同时赋值：比如var a = 1;会自动推断a的类型为int，后续不能给a赋值其他类型的值，和显式声明int a = 1完全一致。
• 声明变量时不赋值：比如var _selectedProductIndex;这种情况Dart无法通过初始值推断类型，会直接将该变量的类型标记为dynamic（动态类型）。

动态类型的变量会跳过Dart的静态类型校验，只有代码运行到对应分支时才会检查类型是否匹配。所以你把int换成var后，静态检查阶段不会再识别到返回值类型不匹配的问题，报错自然就消失了。

注意：这并不是真正的问题修复，只是绕过了静态检查。如果运行时代码走到返回_selectedProductIndex的分支，依然会抛出类型错误，建议你调整方法的分支逻辑，保证所有分支的返回值都和方法声明的返回类型一致。

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