Generic тип ограничения не прилагая

Question

Я пишу эмулятор, и я наткнулся на интересную ошибку:

error CS0311: The type 'T' cannot be used as type parameter 'T' in the generic type or method 'Emulator.Emulator<T>' . There is no implicit reference conversion from 'T' to 'Emulator.Emulator<T>.EmulatorState' .

Ошибка на следующий код (в частности Т на Emulator.IOpcode):

protected abstract class Chip8Opcode<T> : Emulator<T>.IOpcode where T : Chip8.Chip8State 

упрощенный код ниже (ideone):

public abstract class Emulator<T> where T : Emulator<T>.EmulatorState 
{ 
    public abstract class EmulatorState { } 
    public interface IOpcode 
    { 
     bool IsValid(T state); 
     void Execute(T state); 
    } 
} 

public class Chip8 : Emulator<Chip8.Chip8State> 
{ 
    public class Chip8State : EmulatorState { } 
} 

abstract class Chip8Opcode<T> : Emulator<T>.IOpcode where T : Chip8.Chip8State 
{ 
} 

в моем понимании Т ш ould должен быть ограничен Chip8State, который может быть преобразован в EmulatorState (что и требует эмулятор <>), однако, похоже, что ограничение общего типа не применяется к T в Emulator<T>, так как ошибка является «Тип« T », «а не« Тип «Chip8State» ». Является ли это ошибкой в ​​компиляции или есть лучший способ применить ограничения типа к унаследованным генерикам?

Примечание: это не дубликат подобных вопросов о столкновениях типов, поскольку T никогда не рассматривается как ограниченный тип.

Кроме того: существуют общие возможности, позволяющие легко расширить эмулятор, если потребуется, хотя было бы неплохо узнать, есть ли лучший способ сделать это.

Answer 1

Разве вы не можете просто положить его люблю:

abstract class Chip8Opcode<T> : Emulator<Chip8.Chip8State>.IOpcode 
    where T : Chip8.Chip8State 

Кроме того, проверьте, что предмет о «ковариации и контрвариации в дженериков». Это возможно только с интерфейсами в C#.

Answer 2

Еще один способ решить проблему, которую я использовал, - создать интерфейс для каждого класса и реализовать его, что позволило бы корректно применять ковариацию и контравариантность в последующих классах.

interface IEmulator<out T> where T : IEmulatorState 
{ ... } 
public interface IEmulatorState 
{ ... } 

, которая позволяет:

public abstract class Emulator<T> : IEmulator<T> where T : IEmulatorState 
{ ... } 

public interface IOpcode<in T> where T : IEmulatorState 
{ ... } 

и самое главное

abstract partial class Chip8Opcode<T> : IOpcode<T> where T : Chip8<T>.Chip8State 
{ ... }