Android导航组件Safe Args为何是类型安全？与普通Fragment传参对比

常规Bundle传参方式确实在单个put/get操作上有基础类型检查（比如putInt只能传入int类型，getInt返回int类型），但这种"类型安全"非常有限，Safe Args提供的是全链路的编译时类型安全保障，具体差异体现在以下几点：

1. 彻底避免字符串键的拼写错误 #

常规方式里，参数的键是手动编写的字符串常量：

bundle.putInt("USER_ID", 123);
// 如果调用时误写成"USER_IDD"，编译完全通过，运行时才会拿到默认值或抛出异常
int id = getArguments().getInt("USER_IDD");

Safe Args通过注解自动生成强类型的参数类，键是生成的静态常量，直接调用对应方法即可，完全不存在拼写错误的可能：

// 从自动生成的Args类中获取参数，无需手动写字符串键
int id = MyFragmentArgs.fromBundle(getArguments()).userId();

2. 强制类型匹配，杜绝运行时类型转换异常 #

常规方式中，开发者需要自行保证put和get的类型一致：

bundle.putInt("USER_ID", 123);
// 错误用getString获取，编译不报错，运行时直接抛出ClassCastException
String id = getArguments().getString("USER_ID");

Safe Args生成的代码会严格绑定参数类型，传递和获取的类型完全匹配，编译时就会阻止类型不匹配的操作：

// 自动生成的Builder仅接受int类型的userId参数
MyFragmentArgs args = MyFragmentArgs.builder().userId(123).build();
// 获取时只能拿到int类型，不可能出现类型转换错误
int id = args.userId();

3. 强制必填参数的传递 #

常规方式无法强制要求某个参数必须传递，若开发者遗漏传参，只有运行时才会暴露问题：

// 忘记传递USER_ID参数，运行时getInt会返回默认值0，直接导致业务逻辑错误
Fragment fragment = new MyFragment();
getSupportFragmentManager().beginTransaction().replace(R.id.container, fragment).commit();

Safe Args允许在导航图中标记参数为必填，生成的代码会强制要求传递该参数，否则编译不通过：

// 如果userId是必填参数，builder必须调用userId()方法，否则编译报错
MyFragmentArgs args = MyFragmentArgs.builder().userId(123).build();

4. 自动处理自定义类型的序列化/反序列化 #

对于自定义对象，常规方式需要手动实现Parcelable或Serializable，并在put/get时手动处理：

bundle.putParcelable("USER", user);
User user = getArguments().getParcelable("USER");

Safe Args会自动为自定义类型生成序列化代码，无需手动编写，进一步减少出错概率。

简单来说，常规Bundle的类型安全仅局限于单个方法调用的参数类型检查，而Safe Args提供的是从参数传递到获取的全流程编译时校验，把原本运行时才会暴露的错误提前到编译阶段解决，这才是真正意义上的类型安全。

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