Tag: 推理

为什么不能推断出这些generics类型参数？

给定以下接口/类： public interface IRequest { } public interface IHandler where TRequest : IRequest { TResponse Handle(TRequest request); } public class HandlingService { public TResponse Handle(TRequest request) where TRequest : IRequest { var handler = container.GetInstance<IHandler>(); return handler.Handle(request); } } public class CustomerResponse { public Customer Customer { get; set; } } public class GetCustomerByIdRequest : […]

为什么C＃不对generics做“简单”类推理？

只是好奇：当然，我们都知道generics类型推断的一般情况是不可判定的。 所以C＃根本不做任何类型的子类型：如果Foo 是generics的， Foo 不是Foo 的子类型，或Foo 或其他任何你可能的类型做饭。 当然，我们都用丑陋的界面或抽象的类定义来解决这个问题。 但是……如果你不能解决一般问题，为什么不把解决方案限制在容易的情况下。 例如，在上面的列表中，显然Foo 是Foo 的子类型，并且检查它是微不足道的。 对于Foo 进行检查也是如此。 如果他们只是说，那么还有其他一些深深的恐怖会从深渊蔓延出来，我们会尽我们所能吗？ 或者这只是微软语言人员的某种宗教纯洁？ 更新： 这是一个非常古老的线程。 这些天，C＃有var，它解决了我抱怨的一半，然后使用Linq风格的匿名代表，有一个很好的表示法，不需要输入相同的东西两次。 因此，我反对的所有方面都已经通过最近对C＃的更改得到了解决（或者我只是花了一些时间来了解我刚发布post时刚刚介绍的内容……）我使用这些新内容现在在Isis2系统中可靠的云计算function（isis2.codeplex.com），我认为该库具有非常干净的外观和感觉。 看看它，让我知道你的想法）。 – Ken Birman（2014年7月）