dotnet/roslyn

Lifted relational operators returning true should inform nullability tracking that neither operand can be null

開放

#56,517 建立於 2021年9月18日

在 GitHub 查看貢獻者指南
 (1 則留言) (0 個反應) (0 位負責人)C# (4,257 個分叉)batch import
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted

倉庫指標

星標
 (20,414 顆星)
PR 合併指標
 (PR 指標待抓取)

描述

Version Used: 17.0.0-p4.0

These two CS8629 diagnostics should not be generated:

#nullable enable

using System;

class C
{
    void M(DateTime? a, DateTime? b)
    {
        if (a < b) // If this is true, neither variable can be null
        {
            // ⚠ CS8629 Nullable value type may be null.
            //  ↓
            _ = a.Value;
            //  ↓
            _ = b.Value;
        }
    }
}

https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/expressions#lifted-operators:

For the relational operators < > <= >=, [...t]he lifted operator produces the value false if one or both operands are null.

貢獻者指南

研究方向
檢查 Roslyn 程式碼庫中的 `NullableWalker` 或 `NullableFlowAnalysis` 類別（例如 `src/Features/Core/Portable/Nullable/`）。問題是，在返回 true 的關係運算子比較（例如 `a < b`）之後，`a` 和 `b` 的可空性狀態應更新為非空，但目前並未更新。查找可空性分析中如何處理提升運算子，並相應地修改狀態。引用的規範部分確認，如果提升的關係運算子返回 true，則兩個運算元都不為 null。此修復可能涉及修改 `NullableWalker`，以在此類比較後傳播非空狀態。
技術棧
csharp
領域
tooling
議題類型
錯誤
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
3
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
1-2 天
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
活躍
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
清晰
前置要求
C#Nullable reference types
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
30