- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
假设我有一个如下所示的服务接口(interface):
public interface IFooService
{
FooResponse Foo(FooRequest request);
}
在调用此类服务的方法时,我想解决一些横切问题;例如,我想要统一的请求日志记录、性能日志记录和错误处理。我的方法是使用一个带有 Invoke
方法的通用基“Repository”类,该方法负责调用该方法并围绕它做其他事情。我的基类看起来像这样:
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;
}
}
我得到这个编译错误:
The type arguments for method ... cannot be inferred from the usage. Try specifying the type arguments explicitly.
显然,我可以通过将调用更改为:
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);
}
}
最佳答案
您问题的标题是“为什么类型推断在此代码中不起作用?”让我们简单地讨论有问题的代码。场景是其核心:
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>>
.
现在的问题是:我们能否推断出 R
是int
通过对 s.Foo
进行重载解析在 lambda 的主体中?
遗憾的是,答案是否定的。你和我可以做那个推理,但编译器不能。当我们设计类型推断算法时,我们考虑过添加这种“多级”lambda/委托(delegate)/方法组推断,但认为这样做的成本太高,无法带来好处。
对不起,你运气不好;通常,C# 方法类型推断中不会进行需要“挖掘”不止一层的函数抽象的推断。
Why did this work when using extension methods, then?
因为扩展方法没有超过一层的功能抽象。扩展方法案例为:
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。
另请注意,要使这种推断成功,必须已经推断出所有参数类型。我们必须只推断返回类型,因为为了知道返回类型,我们必须能够进行重载解析,而要进行重载解析,我们必须知道所有参数类型。我们不会做任何诸如“哦,方法组中只有一个方法,所以让我们跳过重载决议,让那个方法自动获胜”之类的废话。
关于c# - 为什么类型推断在此代码中不起作用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10236479/
我尝试理解[c代码 -> 汇编]代码 void node::Check( data & _data1, vector& _data2) { -> push ebp -> mov ebp,esp ->
我需要在当前表单(代码)的上下文中运行文本文件中的代码。其中一项要求是让代码创建新控件并将其添加到当前窗体。 例如,在Form1.cs中: using System.Windows.Forms; ..
我有此 C++ 代码并将其转换为 C# (.net Framework 4) 代码。有没有人给我一些关于 malloc、free 和 sprintf 方法的提示? int monate = ee; d
我的网络服务器代码有问题 #include #include #include #include #include #include #include int
给定以下 html 代码,将列表中的第三个元素(即“美丽”一词)以斜体显示的 CSS 代码是什么?当然,我可以给这个元素一个 id 或一个 class,但 html 代码必须保持不变。谢谢
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 7 年前。
我试图制作一个宏来避免重复代码和注释。 我试过这个: #define GrowOnPage(any Page, any Component) Component.Width := Page.Surfa
我正在尝试将我的旧 C++ 代码“翻译”成头条新闻所暗示的 C# 代码。问题是我是 C# 中的新手,并不是所有的东西都像 C++ 中那样。在 C++ 中这些解决方案运行良好,但在 C# 中只是不能。我
在 Windows 10 上工作,R 语言的格式化程序似乎没有在 Visual Studio Code 中完成它的工作。我试过R support for Visual Studio Code和 R-T
我正在处理一些报告(计数),我必须获取不同参数的计数。非常简单但乏味。 一个参数的示例查询: qCountsEmployee = ( "select count(*) from %s wher
最近几天我尝试从 d00m 调试网络错误。我开始用尽想法/线索,我希望其他 SO 用户拥有可能有用的宝贵经验。我希望能够提供所有相关信息,但我个人无法控制服务器环境。 整个事情始于用户注意到我们应用程
我有一个 app.js 文件,其中包含如下 dojo amd 模式代码: require(["dojo/dom", ..], function(dom){ dom.byId('someId').i
我对“-gencode”语句中的“code=sm_X”选项有点困惑。 一个例子:NVCC 编译器选项有什么作用 -gencode arch=compute_13,code=sm_13 嵌入库中? 只有
我为我的表格使用 X-editable 框架。 但是我有一些问题。 $(document).ready(function() { $('.access').editable({
我一直在通过本教程学习 flask/python http://blog.miguelgrinberg.com/post/the-flask-mega-tutorial-part-i-hello-wo
我想将 Vim 和 EMACS 用于 CNC、G 代码和 M 代码。 Vim 或 EMACS 是否有任何语法或模式来处理这种类型的代码? 最佳答案 一些快速搜索使我找到了 this vim 和 thi
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 想改进这个问题?更新问题,使其成为 on-topic对于堆栈溢出。 7年前关闭。 Improve this
这个问题在这里已经有了答案: Enabling markdown highlighting in Vim (5 个回答) 6年前关闭。 当我在 Vim 中编辑包含 Markdown 代码的 READM
我正在 Swift3 iOS 中开发视频应用程序。基本上我必须将视频 Assets 和音频与淡入淡出效果合并为一个并将其保存到 iPhone 画廊。为此,我使用以下方法: private func d
pipeline { agent any stages { stage('Build') { steps { e
我是一名优秀的程序员,十分优秀!