7

假设我有一个如下所示的服务接口：

public interface IFooService
{
    FooResponse Foo(FooRequest request);
}

在调用此类服务​​的方法时，我想解决一些横切关注点；例如，我想要统一的请求日志记录、性能日志记录和错误处理。我的方法是拥有一个通用的基础“存储库”类，其中包含一个Invoke方法，该方法负责调用该方法并围绕它做其他事情。我的基类看起来像这样：

public class RepositoryBase<TService>
{
    private Func<TService> serviceFactory;

    public RepositoryBase(Func<TService> serviceFactory)
    {
        this.serviceFactory = serviceFactory;
    }

    public TResponse Invoke<TRequest, TResponse>(
        Func<TService, Func<TRequest, TResponse>> methodExpr,
        TRequest request)
    {
        // Do cross-cutting code

        var service = this.serviceFactory();
        var method = methodExpr(service);
        return method(request);
    }
}

这工作正常。但是，类型推断未按预期工作这一事实阻碍了我使代码更清晰的整个目标。例如，如果我编写这样的方法：

public class FooRepository : BaseRepository<IFooService>
{
    // ...

    public BarResponse CallFoo(...)
    {
        FooRequest request = ...;
        var response = this.Invoke(svc => svc.Foo, request);
        return response;
    }
}

我得到这个编译错误：

方法 ... 的类型参数无法从用法中推断出来。尝试明确指定类型参数。

显然，我可以通过将调用更改为：

var response = this.Invoke<FooRequest, FooResponse>(svc => svc.Foo, request);

但我想避免这种情况。有没有办法重新编写代码以便我可以利用类型推断？

编辑：

我还应该提到，早期的方法是使用扩展方法；对此有效的类型推断：

public static class ServiceExtensions
{
    public static TResponse Invoke<TRequest, TResponse>(
        this IService service, 
        Func<TRequest, TResponse> method, 
        TRequest request)
    {
        // Do other stuff
        return method(request);
    }
}

public class Foo
{
    public void SomeMethod()
    {
        IService svc = ...;
        FooRequest request = ...;
        svc.Invoke(svc.Foo, request);
    }
}
4

3 回答 3

12

您的问题标题是“为什么类型推断在此代码中不起作用？” 让我们简单地讨论有问题的代码。该场景的核心是：

class Bar { }

interface I
{
    int Foo(Bar bar);
}

class C
{
    public static R M<A, R>(A a, Func<I, Func<A, R>> f) 
    { 
        return default(R); 
    }
}

呼叫站点是

C.M(new Bar(), s => s.Foo);

我们必须确定两个事实：什么是A和R？我们必须继续提供哪些信息？那new Bar()对应A和s=>s.Foo对应Func<I, Func<A, R>>。

显然，我们可以确定这A一定是Bar从第一个事实。很明显，我们可以确定s一定是I。所以我们现在知道(I s)=>s.Foo对应于Func<I, Func<Bar, R>>。

现在的问题是：我们可以通过在 lambda 的主体中 R进行int重载解析来推断吗？s.Foo

可悲的是，答案是否定的。你和我都可以做出这样的推断，但编译器不能。当我们设计类型推断算法时，我们考虑添加这种“多级” lambda/delegate/method group 推断，但认为它的成本太高而无法带来好处。

对不起，你在这里不走运；通常，在 C# 方法类型推断中不会进行需要“挖掘”多于一层功能抽象的推断。

那么，为什么在使用扩展方法时会起作用呢？

因为扩展方法没有多于一层的功能抽象。扩展方法案例为：

class C
{
    public static R M<A, R>(I i, A a, Func<A, R> f) { ... }
}

带有呼叫站点

I i = whatever;
C.M(i, new Bar(), i.Foo);

现在我们有什么信息？我们推断和以前A一样Bar。现在我们必须推断出什么R是知道i.Foo映射到Func<Bar, R>。这是一个简单的重载解决问题；我们假装有一个调用i.Foo(Bar)并让重载解析完成它的工作。重载解决方案回来并说i.Foo(Bar)返回int，所以R是int。

请注意，这种推断（涉及方法组）本来打算添加到 C# 3 中，但我搞砸了，我们没有及时完成。我们最终将这种推断添加到 C# 4。

另请注意，要使这种推断成功，所有参数类型都必须已经被推断。我们必须只推断返回类型，因为要知道返回类型，我们必须能够进行重载解析，而要进行重载解析，我们必须知道所有参数类型。我们不会做任何诸如“哦，方法组中只有一个方法，所以让我们跳过重载决议，让那个方法自动获胜”之类的废话。

于 2012-04-19T21:10:05.227 回答
0

在您最后一次编辑之后，我们看到这svc.Foo是一个方法组；这解释了类型推断失败。编译器需要知道类型参数，以便Foo为方法组转换选择正确的重载。

于 2012-04-19T20:49:51.480 回答
0

为什么不直接调用该方法呢？IE：

public class ClassBase<TService>
{
     protected Func<TService> _serviceFactory = null;

     public ClassBase(Func<TService> serviceFactory)
     {
         _serviceFactory = serviceFactory;
     }

     public virtual TResponse Invoke<TResponse>(Func<TService, TResponse> valueFactory)
     {
          // Do Stuff

          TService service = serviceFactory();
          return valueFactory(service);
     }
}

那么理论上你应该能够做到这一点：

public class Sample : ClassBase<SomeService>
{
     public Bar CallFoo()
     {
          FooRequest request = ...
          var response = Invoke(svc => svc.Foo(request));
          return new Bar(response);
     }
}
于 2012-04-19T20:55:03.657 回答