编译期间未发出编译器警告 CS4014

Question

当调用的方法位于引用的程序集中时，编译器警告 CS4014（调用异步方法而不等待结果）在构建期间不会作为警告发出。

当被调用的方法在 same 程序集中时，会​​正确发出警告。

当两个项目包含在同一个解决方案中时，Visual Studio 中会发出编译器警告。

差异似乎是由于编译器只有已编译的引用程序集，而 Visual Studio 具有这两个程序集的源代码。

问题是：为什么会有这两种不同的行为？有没有办法在编译期间发出 CS4014 警告？

要复制此行为，请设置两个类库，它们都有一个代码文件：

TestClassLibrary1

public class Class1
{
    public static async Task<string> DoSomething()
    {
        return await Task.FromResult("test");
    }
}

TestClassLibrary2（引用 TestClassLibrary1）

public class Class2
{
    public void CallingDoSomething()
    {
        Class1.DoSomething();
    }
}

编译这些项目将在没有警告的情况下完成。在 Visual Studio 中以相同的解决方案打开它们将导致错误列表中显示 1 个错误，并在 Class1.DoSomething() 下显示一条红色波浪线。

Answer 1

async 修饰符允许您编写更方便地返回 Task 的代码（使用 await），但它在 IL^* 中没有表示形式。在已编译的程序集中，该方法在编译器看来就像public static Task<string> DoSomething，并且在不等待其结果的情况下调用它们不会触发警告（即使这些方法位于同一个程序集中）。将Class1.DoSomething 替换为返回任务且应该等待的其他内容（例如Task.Delay(2000)），您同样会看到编译器不会发出警告。但是，当所有源代码都可用时，编译器（我指的是 Roslyn 编译器）可以将方法识别为 async，因为修饰符仍然是语法树的一部分。

那么为什么当你调用一个返回Task的方法而不使用结果时编译器不总是发出警告，不管它是否碰巧是用async编写的？好问题。虽然有很多合法的场景，您不等待 Task（例如，因为您想将其传递给 Task.WhenAll）所有这些都涉及将 Task 存储在其他地方，这不会提高警告。调用返回 Task 的方法并完全丢弃结果几乎可以肯定是一个错误（如果是故意的，则有 elegant ways 抑制警告），这就是为什么首先存在此警告的原因。

我怀疑这个警告的实现可以使用调整（或用新警告替换），但只有从事编译器工作的人才能确定。

---

*：这不是真的； async 方法有一个 AsyncStateMachineAttribute 应用于它们以便更方便的调试。但是，无论出于何种原因，编译器都不会使用它来识别程序集中的async 方法。可以说，它也不应该：就方法返回的Task 而言，async 没有什么特别之处。但是，如果他们想准确地保留 CS4104 的规定语义（如果 async 方法的结果未使用，则发出警告），这将是一种方法。