ประเภทนี้จะต้องเป็นประเภทอ้างอิงเพื่อใช้เป็นพารามิเตอร์ 'T' ในประเภทหรือวิธีการทั่วไป

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

using System;
using System.Collections.Generic;


namespace Example
{
    public class ViewContext
    {
        ViewContext() { }
    }

    public interface IModel
    {
    }

    public interface IView<T> where T : IModel 
    {
        ViewContext ViewContext { get; set; }
    }

    public class SomeModel : IModel
    {
        public SomeModel() { }
        public int ID { get; set; }
    }

    public class Base<T> where T : IModel
    {

        public Base(IView<T> view)
        {
        }
    }

    public class Derived<SomeModel> : Base<SomeModel> where SomeModel : IModel
    {

        public Derived(IView<SomeModel> view)
            : base(view)
        {
            SomeModel m = (SomeModel)Activator.CreateInstance(typeof(SomeModel));
            Service<SomeModel> s = new Service<SomeModel>();
            s.Work(m);
        }
    }

    public class Service<SomeModel> where SomeModel : IModel
    {
        public Service()
        {
        }

        public void Work(SomeModel m)
        {

        }
    }
}

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

public class Derived<SomeModel> : Base<SomeModel> where SomeModel : class, IModel
                                                                    ^^^^^
                                                                 see this bit

คุณได้รับข้อผิดพลาดนี้หากคุณTถูกจำกัดให้เป็นclass

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