อะไรคือ ?[]? ไวยากรณ์ใน C #?

ขณะที่ผมกำลังศึกษาผู้ร่วมประชุมที่เป็นจริงในระดับนามธรรมDelegate.csผมเห็นวิธีการต่อไปในที่ที่ฉันไม่เข้าใจ

• เหตุใดค่าส่งคืนจึง?ถึงแม้ว่ามันเป็นชนิดการอ้างอิง ( คลาส ) อยู่แล้ว
• ?[]? ความหมายกับพารามิเตอร์

คุณอธิบายได้ไหม

public static Delegate? Combine(params Delegate?[]? delegates)
{
    if (delegates == null || delegates.Length == 0)
        return null;

    Delegate? d = delegates[0];
    for (int i = 1; i < delegates.Length; i++)
        d = Combine(d, delegates[i]);

    return d;
}

คำอธิบายทีละขั้นตอน:

params Delegate?[] delegates - มันเป็นอาร์เรย์ของ nullable Delegate

params Delegate?[]? delegates - อาร์เรย์ทั้งหมดสามารถเป็นโมฆะได้

เนื่องจากแต่ละพารามิเตอร์เป็นประเภทDelegate?และคุณส่งคืนดัชนีของDelegate?[]?อาร์เรย์ดังนั้นจึงเป็นความรู้สึกว่าประเภทที่ส่งคืนเป็นDelegate?อย่างอื่นคอมไพเลอร์จะส่งกลับข้อผิดพลาดราวกับว่าคุณกำลังเก็บและintจากวิธีการส่งกลับสตริง

คุณสามารถเปลี่ยนอินสแตนซ์ของรหัสของคุณเพื่อส่งคืนDelegateประเภทดังนี้:

public static Delegate Combine(params Delegate?[]? delegates)
{
    Delegate defaulDelegate = // someDelegate here
    if (delegates == null || delegates.Length == 0)
        return defaulDelegate;

    Delegate d = delegates[0] ?? defaulDelegate;
    for (int i = 1; i < delegates.Length; i++)
        d = Combine(d, delegates[i]);

    return d;
}

ประเภทการอ้างอิงที่ Nullableเป็นสิ่งใหม่ใน C # 8.0 ซึ่งไม่มีอยู่ก่อนหน้านี้

มันเป็นเรื่องของเอกสารประกอบและการสร้างคำเตือน ณ เวลารวบรวม

ข้อยกเว้น "วัตถุที่ไม่ได้ตั้งค่าเป็นอินสแตนซ์ของวัตถุ" ข้อยกเว้นคือเงียบทั่วไป แต่นี่เป็นข้อยกเว้นรันไทม์สามารถค้นพบบางส่วนในเวลารวบรวมแล้ว

สำหรับการควบคุมDelegate dคุณสามารถโทรหาได้ตลอดเวลา

 d.Invoke();

ความหมายคุณสามารถรหัสได้ในเวลารวบรวมไม่มีอะไรจะเกิดขึ้น มันอาจเพิ่มข้อยกเว้นที่รันไทม์

สำหรับDelegate? pรหัสใหม่นี้

 p.Invoke();

จะสร้างคำเตือนคอมไพเลอร์ CS8602: Dereference of a possibly null reference ถ้าคุณไม่เขียน:

 p?.Invoke();

สิ่งที่หมายถึงโทรเฉพาะในกรณีที่ไม่เป็นโมฆะ

ดังนั้นเอกสารของตัวแปรอาจมีค่าว่างหรือไม่ เตือนก่อนหน้านี้และสามารถหลีกเลี่ยงการทดสอบหลายรายการสำหรับค่า Null สิ่งที่คุณมีเหมือนกันสำหรับ int และ int? คุณรู้แน่ว่าไม่มีใครว่าง - และคุณรู้วิธีแปลงหนึ่งเป็นอีก

ใน C # 8 หนึ่งควรทำเครื่องหมายประเภทการอ้างอิงเป็น nullable อย่างชัดเจน

โดยค่าเริ่มต้นประเภทเหล่านั้นจะไม่สามารถมีโมฆะชนิดคล้ายกับประเภทค่า แม้ว่าสิ่งนี้จะไม่เปลี่ยนวิธีการทำงานของสิ่งต่าง ๆ ภายใต้ประทุนเครื่องตรวจสอบชนิดจะกำหนดให้คุณทำสิ่งนี้ด้วยตนเอง

รหัสที่ได้รับจะถูก refactored ให้ทำงานร่วมกับ C # 8 แต่มันไม่ได้รับประโยชน์จากคุณสมบัติใหม่นี้

public static Delegate? Combine(params Delegate?[]? delegates)
{
    // ...[]? delegates - is not null-safe, so check for null and emptiness
    if (delegates == null || delegates.Length == 0)
        return null;

    // Delegate? d - is not null-safe too
    Delegate? d = delegates[0];
    for (int i = 1; i < delegates.Length; i++)
        d = Combine(d, delegates[i]);

    return d;
}

นี่คือตัวอย่างของรหัสที่ได้รับการอัปเดต (ไม่ทำงานเป็นเพียงแนวคิด) ใช้ประโยชน์จากคุณลักษณะนี้ มันช่วยเราจากการตรวจสอบแบบ null และทำให้วิธีนี้ง่ายขึ้นเล็กน้อย

public static Delegate? Combine(params Delegate[] delegates)
{
    // `...[] delegates` - is null-safe, so just check if array is empty
    if (delegates.Length == 0) return null;

    // `d` - is null-safe too, since we know for sure `delegates` is both not null and not empty
    Delegate d = delegates[0];

    for (int i = 1; i < delegates.Length; i++)
        // then here is a problem if `Combine` returns nullable
        // probably, we can add some null-checks here OR mark `d` as nullable
        d = Combine(d, delegates[i]);

    return d;
}