HarmonyOS鸿蒙Next中模块的参数设置了不为空，如果是源码依赖传空位提示报错，如果是har远程依赖不提示报错
HarmonyOS鸿蒙Next中模块的参数设置了不为空，如果是源码依赖传空位提示报错，如果是har远程依赖不提示报错 参数的接口中申明不加？，不能为空
/**
- 导航参数 / export interface NavOptions { /*
- 路由path、完整路径url */ url: string;
在调用时候 TOCNav.nav({ url: params.ex_action });
3 回复
此校验情况是正常的，这个和DevEco Studio的校验规则相关：
● 使用file索引的.har文件会被加载到oh_modules文件夹中，这个文件夹中的检查规则会放松，不会进行严格的模式检查，所以编译没有报错。
● 使用file索引的本地模块，只是加载一个超链接，会被当做oh_modules外的原始路径进行处理，这种情况检查不会放松，会进行严格的模式检查，所以就会报错误信息。
更多关于HarmonyOS鸿蒙Next中模块的参数设置了不为空，如果是源码依赖传空位提示报错，如果是har远程依赖不提示报错的实战系列教程也可以访问 https://www.itying.com/category-93-b0.html
在HarmonyOS鸿蒙Next中，模块的参数设置为非空时，如果通过源码依赖传递空值，系统会提示报错；而如果通过har远程依赖传递空值，则不会提示报错。这是由于源码依赖在编译时进行严格类型检查，而har远程依赖在编译时仅进行接口匹配检查，未对具体实现进行严格校验。源码依赖会直接检查参数的有效性，而远程依赖在运行时才会暴露问题。
