ทำไมพารามิเตอร์ทางเลือก C # 4 ที่กำหนดไว้ในส่วนต่อประสานไม่ได้ถูกบังคับใช้ในการใช้งานคลาส?

ฉันสังเกตเห็นว่าด้วยพารามิเตอร์ที่เป็นตัวเลือกใน C # 4 หากคุณระบุพารามิเตอร์ที่เป็นตัวเลือกบนอินเทอร์เฟซที่คุณไม่ต้องทำให้พารามิเตอร์นั้นเป็นตัวเลือกในชั้นเรียนการใช้งานใด ๆ :

public interface MyInterface
{
    void TestMethod(bool flag = false);
}

public class MyClass : MyInterface
{
    public void TestMethod(bool flag)
    {
        Console.WriteLine(flag);
    }
}

และดังนั้นจึง:

var obj = new MyClass();        
obj.TestMethod(); // compiler error

var obj2 = new MyClass() as MyInterface;
obj2.TestMethod(); // prints false

ไม่มีใครรู้ว่าทำไมพารามิเตอร์ที่ไม่จำเป็นได้รับการออกแบบมาเพื่อทำงานในลักษณะนี้?

ในมือข้างหนึ่งฉันคิดว่าความสามารถในการแทนที่ค่าเริ่มต้นใด ๆ ที่ระบุบนอินเทอร์เฟซมีประโยชน์แม้ว่าจะซื่อสัตย์ฉันไม่แน่ใจว่าคุณควรจะสามารถระบุค่าเริ่มต้นบนอินเทอร์เฟซได้เช่นกัน

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

ปรับปรุง: คำถามนี้เป็นเรื่องของบล็อกของฉันเมื่อวันที่ 12 พฤษภาคม 2011 ขอบคุณสำหรับคำถามที่ยอดเยี่ยม!

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

สมมติว่าเราทำอย่างนั้น ตอนนี้สมมติว่านักพัฒนาไม่มีซอร์สโค้ดสำหรับการใช้งาน

// in metadata:
public class B 
{ 
    public void TestMethod(bool b) {}
}

// in source code
interface MyInterface 
{ 
    void TestMethod(bool b = false); 
}
class D : B, MyInterface {}
// Legal because D's base class has a public method 
// that implements the interface method

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

นั่นจะไม่บิน ถ้าคนสองคนเรียกผู้แต่ง B ขึ้นมาและหนึ่งในนั้นต้องการให้ค่าเริ่มต้นเป็นจริงและหนึ่งในนั้นต้องการให้เป็นเท็จ เกิดอะไรขึ้นถ้าผู้แต่งขเพียงปฏิเสธที่จะเล่นพร้อม?

บางทีในกรณีนั้นพวกเขาจะต้องพูดว่า:

class D : B, MyInterface 
{
    public new void TestMethod(bool b = false)
    {
        base.TestMethod(b);
    }
}

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

ปรับปรุง: ในความคิดเห็นด้านล่าง supercat แนะนำคุณสมบัติภาษาที่จะเพิ่มพลังให้กับภาษาอย่างแท้จริงและเปิดใช้งานบางสถานการณ์คล้ายกับที่อธิบายไว้ในคำถามนี้ FYI คุณลักษณะนั้น - การใช้งานวิธีการเริ่มต้นในอินเตอร์เฟส - จะถูกเพิ่มไปยัง C # 8

พารามิเตอร์ทางเลือกถูกติดแท็กด้วยแอททริบิวต์ คุณลักษณะนี้บอกคอมไพเลอร์เพื่อแทรกค่าเริ่มต้นสำหรับพารามิเตอร์ที่ไซต์การโทร

การโทรobj2.TestMethod();จะถูกแทนที่ด้วยobj2.TestMethod(false);เมื่อรหัส C # ได้รับการรวบรวมเป็น IL ไม่ใช่เวลา JIT

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

ในทางกลับกันการตัดการเชื่อมต่อนี้หมายความว่าคุณไม่สามารถใช้คลาสคอนกรีตและอินเทอร์เฟซแทนกันได้เสมอ

แล้วคุณไม่สามารถทำว่าถ้าวิธีการอินเตอร์เฟซที่ได้รับการดำเนินการอย่างชัดเจน

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

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