सी # जेनरिक के साथ सुरक्षित क्लोनिंग

इसके लिए काम करने के लिए (मुझे लगता है) आपने उम्मीद की थी, आपके पास अमूर्त वर्ग पर सामान्य परिभाषा होनी चाहिए

public abstract class VehiclePart<T> where T: new() {
    public abstract T cloneTypesafe();
}

public class Gearstick : VehiclePart<Gearstick> { // L2

    public Gearstick() { }

    public override Gearstick cloneTypesafe() {
        var res2 = new Gearstick();
        return res2; 
    }
}

यह जेनरिक का दुरुपयोग है। यदि आप जेनरिक का उपयोग करते हैं, तो आप कह रहे हैं कि विधि का कॉलर किसी भी प्रकार से गुजर सकता है (कुछ बाधाओं के साथ), और आपकी विधि अभी भी काम करेगी। स्पष्ट रूप से यहाँ ऐसा नहीं है। आपकी cloneTypesafe विधि Gearstick में केवल काम करेगी यदि T Gearstick है। अगर T है, उदा. Engine, या Wheel, तो कास्ट विफल हो जाएगी।

cloneTypesafe को वास्तव में "उस वर्ग के प्रकार" को वापस करना चाहिए, लेकिन हमारे पास सी # में यह कहने का कोई तरीका नहीं है। हालांकि आप इसे एक कामकाज के रूप में कर सकते हैं:

public abstract class VehiclePart<T> 
    where T : VehiclePart<T>, new(){ // implementers are supposed to replace T with their class
    public abstract T cloneTypesafe();
}

// you are not "forced" to say ": VehiclePart<Gearstick>", hence why this is only a workaround
public class Gearstick : VehiclePart<Gearstick> {
    public override Gearstick cloneTypesafe() {
        var res2 = new Gearstick();
        // copy some properties...
        return res2;
    }
}

C#9 के साथ आप यहां जेनरिक की आवश्यकता को हटा सकते हैं और सहसंयोजक वापसी प्रकार:

public abstract class VehiclePart
{
    public abstract VehiclePart cloneTypesafe();
}    

public class Gearstick : VehiclePart {

    public Gearstick() { }

    public override Gearstick cloneTypesafe()
    {
        return new Gearstick(); // your actual implementation
    }
}