Dart是否有与C# discards等价的特性实现？

你遇到的“两个下划线_提示重复定义”的问题，本质是Dart对discard的支持经过了很长的语义迭代，早期版本并没有和C#完全对齐的语言级丢弃特性。

旧版本的写法局限 #

• Dart 3.0 之前的版本里，_ 本质是一个有实际语义的通用私有标识符，不是专门的丢弃占位符。如果在同一个作用域的函数签名、解构赋值里写两个同名_，编译器会判定你重复定义了同名局部变量，直接抛出“变量_已被定义”的编译错误。
• 当时开发者社区形成的“用_代表不需要使用的值”只是编程约定，并不是语言强制的丢弃逻辑：你完全可以在函数体里正常访问这个_对应的变量值，语言不会做任何限制，自然也做不到和C# discards一致的“不为不需要的值分配可引用内存”的效果。
• 为了绕开重复定义的报错，不少开发者会退而求其次写(_, __) 这种用不同下划线数量做占位的写法，本质还是靠不同名字的局部变量承接值，只是靠开发者自觉不去使用这些变量。

现代Dart的原生Discards支持 #

从Dart 3.0开始，语言正式引入了和C#行为对齐的多占位Discard规则，从语法层面解决了之前的问题：

• 同一个作用域内可以无限制重复使用_作为discard占位，你现在完全可以正常写(_, _) => method()，不会再触发重复定义的报错。
• 这些被标记为discard的_不会在运行时生成可引用的变量绑定，对应的参数、解构值、函数返回值如果没有其他逻辑承接，就不会分配实际的可访问内存槽位，和C# discards的内存优化目标完全一致。
• 目前discard支持的场景覆盖了所有常见的“不需要值”的位置：
  • 函数回调、普通函数的未使用参数
  • 解构赋值、模式匹配中的未使用字段
  • 异常捕获的未使用异常对象
  • 不需要接住返回值的函数调用结果
• 和旧约定写法最核心的区别是：语言级的discard _ 不允许被代码实际引用，如果你不小心在函数体里写了对_的取值逻辑，编译器会直接抛出编译错误，从语法层面保证这个值是完全被丢弃的，不会出现“本来打算不用，结果不小心引用了占位变量”的问题。

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