无法从用法中推断出方法的类型参数

Question

也许我工作过度,但这不是编译(CS0411).为什么？

interface ISignatur<T>
{
    Type Type { get; }
}

interface IAccess<S, T> where S : ISignatur<T>
{
    S Signature { get; }    
    T Value { get; set; }
}

class Signatur : ISignatur<bool>
{
    public Type Type
    {
        get { return typeof(bool); }
    }
}

class ServiceGate
{
    public IAccess<S, T> Get<S, T>(S sig) where S : ISignatur<T>
    {
        throw new NotImplementedException();
    }
}

static class Test
{
    static void Main()
    {
        ServiceGate service = new ServiceGate();
        var access = service.Get(new Signatur()); // CS4011 error
    }
}

任何人都知道为什么不呢？或者如何解决？

Answer 1

Get<S, T>采用两种类型的参数.当你打电话时service.Get(new Signatur());编译器怎么知道是什么T？您必须明确地传递它或更改有关您的类型层次结构的其他内容.明确地传递它看起来像:

service.Get<Signatur, bool>(new Signatur());

Answer 2

柯克的回答是正确的.作为一项规则,你不会有当你的方法签名具有较少的类型推断任何侥幸类型的参数比它的泛型类型参数.

在您的特定情况下,似乎你可以有可能的移动T类型参数类级别,然后在你拿到类型推断Get的方法:

class ServiceGate<T>
{
    public IAccess<S, T> Get<S>(S sig) where S : ISignatur<T>
    {
        throw new NotImplementedException();
    }
}

然后,您使用CS0411错误发布的代码可以重写为:

static void Main()
{
    // Notice: a bit more cumbersome to write here...
    ServiceGate<SomeType> service = new ServiceGate<SomeType>();

    // ...but at least you get type inference here.
    IAccess<Signatur, SomeType> access = service.Get(new Signatur());
}