Dart中为函数参数添加final关键字有哪些实际影响？

我近期发现可以在Dart的函数参数中添加final关键字修饰。

/// Handler for the footer leading checkbox
void _onCheck(final bool value) {
  setState(() {
    _checked = value;
  });
}

但目前该特性没有公开的相关文档，也很难搜索到关于该主题的有效信息。
由于传入函数的参数值已在其他位置完成声明，参数原本也可以使用var定义，那么在函数参数中使用final到底会带来哪些影响？

很多人对Dart形参的认知存在误区，其实函数形参本质就是函数作用域内的普通局部变量，在形参上用final修饰，和在函数内部定义普通局部变量时加final的逻辑完全一致，没有任何特殊的隐藏规则：

• 最直接的效果是编译期的可变性约束：加了final之后，你不能在函数内部对这个形参变量本身重新赋值。如果不加final，你完全可以在函数体里写value = !value这类改动形参指向值的代码，编译器不会报错；但加了final之后，这类重新赋值操作会直接触发编译错误。
• 要划清楚语义边界：final约束的是形参这个变量本身，不影响参数指向的对象内部状态。比如你写void handle(final List data)，你不能在函数里给data = []重新赋值，但完全可以正常执行data.add(1)这类修改对象内部数据的操作。
• 没有任何运行时性能开销：final的可变性检查全部是在编译期完成的，编译后的产物和普通可变性形参的机器码没有本质差异，不会带来额外的运行时负担。
• 实际工程价值：给不需要修改的形参加final，本质是为了提升代码可维护性。其他人读代码的时候，看到函数签名里的final修饰，就可以直接确定这个值在整个函数执行过程中不会被重新赋值，不用逐行翻完所有函数逻辑才能判断变量的可变性。现在很多Flutter团队的代码规范，都会要求所有不需要在函数内部改动的形参，统一加上final修饰。
• 关于“找不到相关文档”的问题：这个语法从Dart 1.x版本就已经存在，根本不是新出的隐藏特性。只是因为它完全复用了Dart对final关键字的通用定义，不需要单独拆出来写文档，所以没有专门的章节介绍形参加final的用法。

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