为什么将动态分配给不可为空的而不是声音空安全的错误

在开启声音零安全的飞镖中，完全有可能做到

dynamic myVar; // myVar assumes default value of null
String someString = myVar; // No warning by IDE.

正如预期的那样，由于 myVar 为空且 someString 不可为空，因此上述结果会导致运行时错误。

这是 linter/IDE 的问题吗？

我确实发现我可以启用迂腐的 linting，当我尝试将 dynamic 隐式转换为另一种类型时，它会导致 IDE 显示警告。启用它会有所帮助，但我认为问题在于 dynamic 可以为 null，而不必显式定义为可空。

简而言之，我们没有

dynamic? myNullableVar;

我的问题是：这是一个错误吗？

当你做类似的事情时，这个“问题”最常困扰你

Map<String,dynamic> myData = jsonDecode(receivedResponseBody);
var name = myData['name'];

在上面的示例中，我希望 IDE 显示警告，指出我正在尝试将可能为空的值分配给不可为空的变量。 IDE 应要求用户添加空检查。

如果这不是错误（在 IDE 中或在 linter 中），那为什么不呢？

长话短说：从动态到另一种类型的隐式转换掩盖了空分配问题，我希望 IDE 提供警告。

编辑：在下面@ jamesdlin 的注释之后具体来说，我可以接受以下分配的左侧允许空值的情况。

dynamic someVar;
String? myString = someVar;

旁注，我希望新的 dart typeDef 功能能让我构建类似于 Python 中的 Union 类型提示的东西。这样我就可以得到类似

typeDev JsonValueType = { int,String,float,bool };

jsonDecode 的结果就是

Map<String,JsonValueType?>

显式包含 Null，因此 IDE 会警告用户添加空检查。

我的观点：只要您可以将赋值运算符右侧的任何可为空类型分配给左侧的不可为空类型，您就没有真正的空安全性。

这不是错误。

你可以这样做：

dynamic x = "not an int";
int y = x;

并且不会收到任何编译器警告。这就是 dynamic 的工作方式，它关闭编译器（“静态”）类型检查并依赖运行时（“动态”）检查。这就是名字的由来。

没有理由允许 dynamic?，因为 dynamic 已经允许 null 值（和任何其他值）。 dynamic 类型固有地可以为空，向其添加 ? 没有任何区别，就像 Null? 没有意义一样。

Dart 类型系统在静态上是空的（大多数情况下，关于泛型的常见警告适用），但 dynamic 是一种根据请求关闭该类型系统关闭的方法。除非您想要这种效果，否则不要使用 dynamic。