C# 弃元使用方法 C#如何使用下划线_忽略变量

弃元是c# 7.0引入的语法特性，用下划线“_”表示不使用的值，编译器识别后跳过分配与引用，不占内存、不触发未使用警告，仅在特定上下文（如解构、out、模式匹配）中生效。

什么是 C# 中的弃元（discard）

弃元是 C# 7.0 引入的语法特性，用单个下划线 _ 表示一个“不打算使用的变量”。它不是关键字，而是一个特殊标识符，编译器会识别并跳过对其的分配和后续引用。它不占用内存，也不参与作用域检查——本质上，_ 告诉编译器：“这个值我明确不要，别报错，也别管它。”

什么时候必须用 _ 而不是随便起个变量名

常见于解构、模式匹配、out 参数、事件订阅等场景，当语言要求你提供变量名但你又不需要该值时，用普通变量名（比如 temp 或 unused）会触发 ide 警告（CS0219：变量已赋值但从未使用），而弃元可彻底消除这类警告和冗余。

• 解构元组时忽略部分元素：(int x, _) = (1, 2);
• 调用带 out 参数的方法且只关心返回值：int.TryParse("42", out _);
• 匹配 switch 表达式中不关心的具体值：shape switch { Circle _ => "circular", _ => "other" };
• 事件处理中忽略 sender 和 e：button.Click += (_, _) => console.WriteLine("clicked");

_ 不是万能的：不能重复声明或用于 ref/out 以外的上下文

弃元不是变量，所以不能在同一个作用域里多次出现独立的 _ 作为左值（C# 9 开始允许在某些场景下“重用”，但仍有严格限制）。更重要的是，它不能用于需要实际变量引用的地方：

• 不能写 ref int r = ref _; —— 报错 CS8171：“无法对弃元使用 ref”
• 不能在 foreach 中写 foreach (var _ in list) —— 编译失败，必须用有效标识符
• 不能在属性初始化器或字段声明中使用 _ 作为占位符（如 private int _ = 0; 是合法的，但这不是弃元，而是普通字段名）
• 多个弃元在同一个表达式中是允许的，但语义上它们彼此无关，比如 (_, _, var z) = GetTriple();

与旧写法对比：为什么弃元比 unused 更安全

过去常用 var unused = ...; 或 int dummy; 来“吃掉”无用值，但这会带来真实变量开销、可能意外被读取、IDE 提示干扰，甚至引发静态分析工具误报。弃元从语法层面切断了所有误用路径：

• _ 在任何位置被读取都会编译错误（CS0103：“名称‘_’不存在于当前上下文中”）
• 它不会出现在调试器变量窗口中，也不会出现在反编译后的 IL 中
• 在模式匹配中，_ 是唯一能表示“匹配任意值且不绑定”的符号；写 var x 会绑定，写 var _ 是非法的
• 注意：C# 7.0–8.0 中，_ 只能在特定上下文（如 out、解构、is 模式）中作为弃元；C# 9+ 才支持更通用的“目标类型弃元”，比如 _ = SomeMethod();

真正容易被忽略的是弃元的“上下文敏感性”：它只有在编译器明确支持弃元的语法位置才生效；在其他地方敲下 _，它就是个普通（但不推荐的）变量名，既不省事，也不安全。