通用类型约束不适用

Question

我在写一个模拟器，但遇到一个有趣的错误：

错误CS0311：类型'T'不能用作通用类型或方法'Emulator.Emulator<T>'中的类型参数'T 'Emulator.Emulator<T>' 。 从'T'到'Emulator.Emulator<T>.EmulatorState'没有隐式引用转换。

错误出现在以下代码上（特别是Emulator.IOpcode上的T）：

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
{
}

据我了解的T应当限于Chip8State，它可以转化为EmulatorState（这是模拟器<>要求），但它似乎泛型类型约束不适用于T的Emulator<T>作为错误是“类型'T'”而不是“类型'Chip8State'”。 这是编译中的错误，还是有更好的方法将类型约束应用于继承的泛型？

注意：这与有关类型冲突的类似问题不是重复的，因为从不将T视为约束类型。

另外：通用方法可以使仿真器在以后需要时轻松扩展，尽管很高兴知道是否有更好的方法可以这样做。

Answer 1

解决我使用的问题的另一种方法是为每个类创建一个接口，并让他们实现该接口，从而可以在以后的类中正确应用协方差和逆方差。

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
{ ... }

Answer 2

你不能像这样说吗？

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

另外，请检查有关“泛型的协方差和自变量”的主题。 在某种程度上，只能使用C＃中的接口。