เมื่อใดที่จะใช้ [บริสุทธิ์] บนตัวสร้าง?

ฉันกำลังเรียนรู้เกี่ยวกับสัญญารหัสใน. NET และฉันพยายามเข้าใจแนวคิดของผู้สร้างที่บริสุทธิ์ สัญญารหัสเอกสารฯ :

วิธีการทั้งหมดที่เรียกว่าภายในสัญญาจะต้องบริสุทธิ์ นั่นคือพวกเขาจะต้องไม่ปรับปรุงสถานะก่อนหน้าใด ๆ วิธีบริสุทธิ์ได้รับอนุญาตให้แก้ไขวัตถุที่สร้างขึ้นหลังจากเข้าสู่วิธีบริสุทธิ์

และPureAttributeเอกสารประกอบฯ :

บ่งชี้ว่าชนิดหรือเมธอดนั้นบริสุทธิ์นั่นคือมันไม่ได้ทำการเปลี่ยนแปลงสถานะใด ๆ ที่มองเห็นได้

ฉันเข้าใจข้อความเหล่านี้เมื่อพูดถึงวิธีการ แต่สิ่งที่เกี่ยวกับตัวสร้าง สมมติว่าคุณมีชั้นเรียนเช่นนี้:

public class Foo
{
    public int Value { get; set; }

    public Foo(int value) {
        this.Value = value;
    }
}

คอนสตรัคเตอร์นี้เห็นได้ชัดว่ามีผลต่อสถานะของFooวัตถุใหม่แต่ไม่มีผลข้างเคียงอื่น ๆ (เช่นมันไม่ได้ใช้พารามิเตอร์ใด ๆ หรือเรียกวิธีการที่ไม่บริสุทธิ์) เป็นผู้สมัคร[Pure]หรือไม่? อะไรคือความสำคัญของการวางแอ[Pure]ททริบิวต์ลงในคอนสตรัคเตอร์และเมื่อไหร่ที่ฉันควรทำสิ่งนี้ในโค้ดของตัวเอง?

คุณตกแต่งวิธีด้วย[Pure]:

• หากวิธีการไม่มีผลข้างเคียง ตัวอย่างเช่นหากวิธีการเข้าถึงฐานข้อมูลและแก้ไขหรือผลลัพธ์ขึ้นอยู่กับฐานข้อมูลมันไม่บริสุทธิ์

• และถ้าคุณคาดว่าจะใช้มันในสัญญาโค้ด ตัวอย่างเช่นหากวิธีนี้บริสุทธิ์แต่คุณไม่มีความตั้งใจที่จะใช้ในสัญญารหัสการเพิ่ม[Pure]จะไม่มีประโยชน์และจะไม่ทำให้โค้ดของคุณเร็วขึ้น

เท่าที่มันเกี่ยวข้องกับคอนสตรัคเตอร์ดูเหมือนว่าพวกเขาจะถือว่าบริสุทธิ์ใน. NET และไม่ต้องการคุณลักษณะที่ชัดเจน ฉันดูตัวสร้างหลายตัวในซอร์ส. NET Framework เช่นDateTimeและพวกเขาไม่มี[Pure]คุณสมบัติ

ฉันคิดว่าจะทำด้วยเหตุผลหลายประการ:

• มันอาจจะเป็นไปไม่ได้ที่จะเขียนตัวสร้างแบบไร้พารามิเตอร์ที่มี[Pure]แอ็ตทริบิวต์เพื่อใช้คลาส / โครงสร้างในสัญญา

• บางคนเช่นStringไม่มีตัวสร้างที่ชัดเจน

• ตัวสร้างได้รับการดูแลเป็นพิเศษแม้จะอยู่นอกรหัสสัญญา ตัวอย่างเช่นคุณไม่ได้คาดหวังว่าจะโยนข้อยกเว้นในพวกเขา

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

  ปัจจุบันไม่มีองค์ประกอบของสัญญารหัสที่ตรวจสอบว่าวิธีการที่ประกาศบริสุทธิ์นั้นบริสุทธิ์หรือไม่ ดังนั้นหากโปรแกรมเมอร์ตกแต่งวิธีด้วย [บริสุทธิ์] ก็เชื่อว่า

  ^{จากCode Contracts # 5: ความบริสุทธิ์ของวิธีการ}

• .NET Framework นั้นมีคอนสตรัคเตอร์ที่ไม่บริสุทธิ์ ตัวอย่างเช่นList<T>(IEnumerable<T> collection)ไม่จริงถ้าวนลูปผ่านการรวบรวมมีผลข้างเคียง

• การตะโกนสัญญานั้นง่ายมาก ฉันสามารถจินตนาการสัญญาเช่นContract.Requires(!string.IsNullOrEmpty(name))ดังนั้นจึงมีเหตุผลที่ดีที่จะประกาศคงที่string.IsNullOrEmptyบริสุทธิ์

  ในทางกลับกันหากคุณต้องการStringBuilderสร้างสตริงคุณจะต้องตรวจสอบบางสิ่งโดยเรียกวิธีการอินสแตนซ์ของชั้นธุรกิจของคุณคุณอาจใช้สัญญาผิดวัตถุประสงค์ นั่นเป็นเหตุผลที่StringBuilder.ToStringไม่ได้ระบุว่าบริสุทธิ์แม้ว่าอาจจะเป็น (มันคืออะไร)

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