IDE0059 Incorrectly reported for out arguments

仓库指标

星标

20,414 个星标 (20,414 个星标)

PR 合并指标

平均合并 6天 17小时 (平均合并 6天 17小时)30 天内合并 256 个 PR (30 天内合并 256 个 PR)

描述

class Test
{
		public static void Foo ()
		{
			int i;
			OutFoo (out i, 9); // error IDE0059: Unnecessary assignment of a value to 'i'
			OutFoo (out i, i);
            Console.WriteLine (i);
		}

		public static void OutFoo (out int i, int arg)
		{
			i = ++arg;
		}
}

贡献者指南

研究方向

该问题是 IDE0059（不必要的赋值）对于 out 参数的一个误报。首先在 Roslyn 仓库中找到 IDE0059 分析器，很可能位于 src/Analyzers/CSharp 目录下。审查该分析器如何跟踪赋值并识别 out 变量的使用。提供的代码显示，在调用 OutFoo 之前对 'i' 的首次赋值被错误地标记，但该变量随后通过 out 在 OutFoo 内部被重新赋值。检查针对 out 参数的控制流图逻辑，并确认分析器是否正确识别出 out 参数会写入变量。查找 IDE0059 的现有测试，并添加一个能复现此场景的测试用例。

技术栈

csharp

领域

developer experience

议题类型

缺陷

难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。

2

预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。

半天

活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。

活跃

清晰度议题是否清楚说明期望改动、验收标准和下一步。

清晰

前置要求

C#out parameters

新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。

70