Dart导入为何无递归性？需显式导入已被依赖库的疑问

我有一个项目文件，其中包含class MyFileStream extends Stream<someList>，文件开头已导入import 'dart:io';。当我尝试在MyFileStream类中实现.listen()方法时，发现还需在同一文件中导入import 'dart:async';。而dart:async已在/dart-sdk/lib/io/io.dart文件的library dart.io;语句后被导入。为何需要重复导入？这与C语言不同，Dart的导入是否是私有的？背后的设计理念是什么？

回答： #

• Dart的导入是文件级别的，不传递
  Dart的导入作用域只限于当前文件，哪怕dart:io内部已经导入了dart:async，这种依赖也不会自动"继承"到你的代码文件里。你必须直接导入自己代码中用到的库，不管它有没有被其他已导入的库间接引用。这和C语言的头文件包含逻辑完全不同——C是文本替换式的包含，会把依赖内容直接带入当前文件；而Dart的导入更像模块引用，每个文件都是独立的模块单元。

• Dart的库导入不是"私有"，而是显式依赖设计
  这不是说dart:io里的dart:async是私有的，而是Dart要求代码必须显式声明自己的依赖。这么做的好处很直接：看代码的人一眼就能知道当前文件用到了哪些库的API，不用去层层追溯间接依赖，大大提升了代码的可读性和可维护性。同时，这也能避免间接依赖带来的命名冲突风险——如果多个间接导入的库有同名API，显式导入能让你明确指定用哪个。

• 背后的设计理念：模块化与清晰性
  Dart从设计之初就强调模块化和代码清晰性。每个文件作为独立的编译单元，显式导入依赖的库，既能让编译器更高效地处理代码，也能让开发者完全掌控代码的依赖关系。这种设计彻底避免了"隐式依赖"带来的混乱——比如在C语言里你可能经常搞不清某个符号到底来自哪个头文件，而Dart里必须显式导入，一切都明明白白。

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