with expression (c # 參考)

在 c # 9.0 和更新版本中提供, with 運算式會產生其 記錄 運算元的複本,並已修改指定的屬性和欄位:

using System;

public class WithExpressionBasicExample
{
    public record NamedPoint(string Name, int X, int Y);

    public static void Main()
    {
        var p1 = new NamedPoint("A", 0, 0);
        Console.WriteLine($"{nameof(p1)}: {p1}");  // output: p1: NamedPoint { Name = A, X = 0, Y = 0 }
        
        var p2 = p1 with { Name = "B", X = 5 };
        Console.WriteLine($"{nameof(p2)}: {p2}");  // output: p2: NamedPoint { Name = B, X = 5, Y = 0 }
        
        var p3 = p1 with 
            { 
                Name = "C", 
                Y = 4 
            };
        Console.WriteLine($"{nameof(p3)}: {p3}");  // output: p3: NamedPoint { Name = C, X = 0, Y = 4 }

        Console.WriteLine($"{nameof(p1)}: {p1}");  // output: p1: NamedPoint { Name = A, X = 0, Y = 0 }
    }
}

如先前的範例所示,您可以使用 物件初始化運算式 語法來指定要修改的成員及其新值。 在 with 運算式中,左邊運算元必須是記錄類型。

運算式的結果與 with 運算式的運算元具有相同的執行時間類型,如下列範例所示:

using System;

public class InheritanceExample
{
    public record Point(int X, int Y);
    public record NamedPoint(string Name, int X, int Y) : Point(X, Y);

    public static void Main()
    {
        Point p1 = new NamedPoint("A", 0, 0);
        Point p2 = p1 with { X = 5, Y = 3 };
        Console.WriteLine(p2 is NamedPoint);  // output: True
        Console.WriteLine(p2);  // output: NamedPoint { X = 5, Y = 3, Name = A }
        
    }
}

在參考型別成員的案例中,複製記錄時,只會複製實例的參考。 複製和原始記錄都可以存取相同的參考型別實例。 下列範例示範了該行為:

using System;
using System.Collections.Generic;

public class ExampleWithReferenceType
{
    public record TaggedNumber(int Number, List<string> Tags)
    {
        public string PrintTags() => string.Join(", ", Tags);
    }

    public static void Main()
    {
        var original = new TaggedNumber(1, new List<string> { "A", "B" });

        var copy = original with { Number = 2 };
        Console.WriteLine($"Tags of {nameof(copy)}: {copy.PrintTags()}");
        // output: Tags of copy: A, B

        original.Tags.Add("C");
        Console.WriteLine($"Tags of {nameof(copy)}: {copy.PrintTags()}");
        // output: Tags of copy: A, B, C
    }
}

任何記錄類型都有 複製 的函式。 這是具有包含記錄類型之單一參數的函式。 它會將其引數的狀態複製到新的記錄實例。 在評估運算式時 with ,會呼叫複製函式以根據原始記錄具現化新的記錄實例。 之後,會根據指定的修改更新新的實例。 根據預設,複製的函式是隱含的,也就是編譯器產生的。 如果您需要自訂記錄複製語義,請使用所需的行為明確宣告複製的函式。 下列範例會使用明確的複製函式來更新上述範例。 複製記錄時,新的複製行為是複製清單專案,而不是清單參考:

using System;
using System.Collections.Generic;

public class UserDefinedCopyConstructorExample
{
    public record TaggedNumber(int Number, List<string> Tags)
    {
        protected TaggedNumber(TaggedNumber original)
        {
            Number = original.Number;
            Tags = new List<string>(original.Tags);
        }

        public string PrintTags() => string.Join(", ", Tags);
    }

    public static void Main()
    {
        var original = new TaggedNumber(1, new List<string> { "A", "B" });

        var copy = original with { Number = 2 };
        Console.WriteLine($"Tags of {nameof(copy)}: {copy.PrintTags()}");
        // output: Tags of copy: A, B

        original.Tags.Add("C");
        Console.WriteLine($"Tags of {nameof(copy)}: {copy.PrintTags()}");
        // output: Tags of copy: A, B
    }
}

C# 語言規格

如需詳細資訊,請參閱下列 記錄功能的建議事項附注

另請參閱