在包装的内部异步方法中省略参数？

Question

根据 SonarQube 代码规则S4457 的要求，将异步方法包装在同步部分进行参数检查可能很快变得难以阅读。使用 C# 本地方法，可以省略本地方法的参数。

这种参数的省略对编译器和本地方法有什么缺点或问题吗？

public Task<MyResult> GetMyResultAsync(string myId, string someOption, CancellationToken cancellationToken)
{
    // check arguments synchronously, before entering async context:
    myId = myId ?? throw new ArgumentNullException(nameof(myId));
    someOption = someOption ?? throw new ArgumentNullException(nameof(someOption));
    return InnerAsync();

    // don't replicate the arguments, use from outer method.
    async Task<MyResult> InnerAsync()
    {
        using var httpClient = _httpClientFactory.CreateClient(CfgName);
        var response = await httpClient.GetAsync(
                CreateUrl(myId, someOption), cancellationToken)
            .ConfigureAwait(false);
        return ParseResponse<MyResult>(response);
    }
} 

相比：

public Task<MyResult> GetMyResultAsync(string myId, string someOption, CancellationToken cancellationToken)
{
    // check arguments synchronously, before entering async context:
    myId = myId ?? throw new ArgumentNullException(nameof(myId));
    someOption = someOption ?? throw new ArgumentNullException(nameof(someOption));
    return InnerAsync(myId, someOption, cancellationToken);

    // new arguments for inner async method:
    async Task<MyResult> InnerAsync(
       string myIdInner, string someOptionInner, 
       CancellationToken cancellationTokenInner)
    {
        using var httpClient = _httpClientFactory.CreateClient(CfgName);
        var response = await httpClient.GetAsync(
                CreateUrl(myIdInner, someOptionInner), 
                cancellationTokenInner)
            .ConfigureAwait(false);
        return ParseResponse<MyResult>(response);
    }
} 

背景：规则要求参数检查，抛出Argument(Null/OutOfRange)Exception，在进入异步上下文之前同步发生，这样这些异常在发生火灾时不会丢失——然后忘记；它们甚至会在异步任务创建之前被抛出。这些方法仍被命名为“-Async”，因为它们在应用规则之前。

我知道异步方法基本上被编译成状态机，以局部变量作为属性，所以我不希望使用外部变量有任何缺点。对吗？

Answer 1

如果您将鼠标悬停在 Visual Studio 中的 InnerAsync local function 上，您将看到捕获的变量：

这意味着 C# 编译器必须创建一个 invisible autogenerated struct 的实例，将这些变量保存为字段。请注意，自动生成的结构的字段是可变的。除此之外，捕获变量以简化代码没有任何问题。

如果你因为某种原因不想使用这个语言特性，一定要标记你的本地函数as static，以免你不情愿地错误地创建闭包。