dart - 类型检查条件表达式

Question

在下面的代码中:

main() {
   print('Starting....');
   int x = 10;
   int y = x > 3 ? 'aaa' : 7;
   print(y);
}

这是输出:

Starting....
Unhandled exception:
type 'String' is not a subtype of type 'int'
#0      main (file:///tmp/main.dart:4:12)
#1      _startIsolate.<anonymous closure> (dart:isolate-patch/isolate_patch.dart:301:19)
#2      _RawReceivePortImpl._handleMessage (dart:isolate-patch/isolate_patch.dart:168:12)

为什么在分配给y时没有编译时错误？为什么只有运行时错误？
版本:Dart VM版本:“linux_x64”上的2.8.4(稳定)(未知时间戳)
谢谢!

Answer 1

原因是Dart仍然尝试将隐式类型强制转换作为默认行为。因此，在这种情况下，Dart将自动假定您可以将String转换为int。可以禁用此行为，并且在支持非空类型时，默认情况下也将禁用此行为:
https://dart.dev/guides/language/analysis-options#enabling-additional-type-checks
您可以将以下内容添加到analysis_options.yaml中(我也建议添加implicit-dynamic: false，但这对于此特定问题不是必需的):

analyzer:
  strong-mode:
    implicit-casts: false

然后，您将从分析器中得到一个错误:

Analyzing bin/stackoverflow.dart...
  error • A value of type 'Object' can't be assigned to a variable of type 'int'. • bin/stackoverflow.dart:4:11 • invalid_assignment
1 error found.

错误说 Object的原因是因为Dart将 x > 3 ? 'aaa' : 7分析为 Object的返回类型，因为这是 int和 String唯一的共同点。