草庐IT

c# - "Two-level"委托(delegate)的泛型方法参数推断

coder 2024-05-19 原文

考虑以下示例:

class Test
{
    public void Fun<T>(Func<T, T> f)
    {
    }

    public string Fun2(string test)
    {
        return ""; 
    }

    public Test()
    {
        Fun<string>(Fun2);
    }
}

这编译得很好。

我想知道为什么我不能删除 <string>通用参数？我收到无法从用法中推断出的错误。

我知道这样的推断对编译器来说可能具有挑战性，但它似乎是可行的。

我想要对此行为的解释。

编辑回答 Jon Hanna 的回答:

那为什么这样行得通呢？

class Test
{
    public void Fun<T1, T2>(T1 a, Func<T1, T2> f)
    {
    }

    public string Fun2(int test)
    {
        return test.ToString(); 
    }

    public Test()
    {
        Fun(0, Fun2);
    }
}

这里我只用T1 a绑定(bind)了一个参数，但是T2似乎同样困难。

最佳答案

它无法推断类型，因为类型未在此处定义。

Fun2不是 Func<string, string> , 虽然可以分配给 Func<string, string> .

所以如果你使用:

public Test()
{
  Func<string, string> del = Fun2;
  Fun(del);
}

或者:

public Test()
{
  Fun((Func<string, string>)Fun2);
}

然后你明确地创建了一个Func<string, string>来自 Fun2 ，并且泛型类型推断会相应地工作。

相反，当您这样做时:

public Test()
{
  Fun<string>(Fun2);
}

然后是重载集Fun<string>只包含一个接受 Func<string, string> 的并且编译器可以推断你想使用 Fun2因此。

但是您要求它根据参数类型推断泛型类型，并根据泛型类型推断参数类型。这是一个比它可以做的任何一种类型的推理都要大的问题。

(值得考虑的是，在 .NET 1.0 中，不仅委托(delegate)不是通用的——因此您必须定义 delgate string MyDelegate(string test)——而且还需要使用构造函数创建对象 Fun(new MyDelegate(Fun2))。语法已更改以多种方式更轻松地使用委托(delegate)，但将 Fun2 隐式使用为 Func<string, string> 仍然是在幕后构建委托(delegate)对象)。

Then why this works?

class Test
{
    public void Fun<T1, T2>(T1 a, Func<T1, T2> f)
    {
    }

    public string Fun2(int test)
    {
        return test.ToString(); 
    }

    public Test()
    {
        Fun(0, Fun2);
    }
}

因为它可以按顺序推断:

  1. T1是int .
  2. Fun2正在分配给 Func<int, T2>对于一些 T2 .
  3. Fun2可以分配给一个Func<int, T2>如果T2是string .因此T2是字符串。

特别是 Func 的返回类型一旦你有了参数类型，就可以从函数中推断出来。这也很好(并且值得编译器方面的努力)，因为它在 Linq 的 Select 中很重要。 .这提出了一个相关的案例，事实是只有 x.Select(i => i.ToString())我们没有足够的信息来知道 lambda 被转换成什么。一旦我们知道 x是IEnumerable<T>或 IQueryable<T>我们知道我们要么有Func<T, ?>或 Expression<Func<T, ?>>其余的可以从那里推断出来。

这里还值得注意的是，推导返回类型不会像推导其他类型那样存在歧义。考虑一下我们是否同时拥有您的 Fun2 (一个带 string 的那个和一个带 int 的)在同一个类(class)。这是有效的 C# 重载，但会扣除 Func<T, string> 的类型那Fun2可以转换为不可能；两者都有效。

但是，虽然 .NET 允许对返回类型进行重载，但 C# 不允许。因此，任何有效的 C# 程序都不能在 Func<T, TResult> 的返回类型上产生歧义。一旦类型为 T，从方法(或 lambda)创建决心，决意，决定。相对简单，结合强大的实用性，编译器可以很好地为我们推断。

关于c# - "Two-level"委托(delegate)的泛型方法参数推断，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32628344/

c#推断codestringgenericstype-inference

有关c# - "Two-level"委托(delegate)的泛型方法参数推断的更多相关文章

  1. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou

  2. ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  3. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar

  4. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe？ - 2

    exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗？我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何ruby​​gems会支持我的问题？ 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

  5. ruby - RSpec - 使用测试替身作为 block 参数 - 2

    我有一些Ruby代码，如下所示:Something.createdo|x|x.foo=barend我想编写一个测试，它使用double代替block参数x，这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗？ 最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere

  6. ruby - 如何在 Ruby 中拆分参数字符串 Bash 样式？ - 2

    我正在为一个项目制作一个简单的shell，我希望像在Bash中一样解析参数字符串。foobar"helloworld"fooz应该变成:["foo","bar","helloworld","fooz"]等等。到目前为止，我一直在使用CSV::parse_line，将列分隔符设置为""和.compact输出。问题是我现在必须选择是要支持单引号还是双引号。CSV不支持超过一个分隔符。Python有一个名为shlex的模块:>>>shlex.split("Test'helloworld'foo")['Test','helloworld','foo']>>>shlex.split('Test"

  7. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)

  8. ruby-on-rails - 在默认方法参数中使用 .reverse_merge 或 .merge - 2

    两者都可以defsetup(options={})options.reverse_merge:size=>25,:velocity=>10end和defsetup(options={}){:size=>25,:velocity=>10}.merge(options)end在方法的参数中分配默认值。问题是:哪个更好？您更愿意使用哪一个？在性能、代码可读性或其他方面有什么不同吗？编辑:我无意中添加了bang(!)...并不是要询问nobang方法与bang方法之间的区别 最佳答案 我倾向于使用reverse_merge方法:option

  9. ruby-on-rails - 迷你测试错误 : "NameError: uninitialized constant" - 2

    我遵循MichaelHartl的“RubyonRails教程:学习Web开发”，并创建了检查用户名和电子邮件长度有效性的测试(名称最多50个字符，电子邮件最多255个字符)。test/helpers/application_helper_test.rb的内容是:require'test_helper'classApplicationHelperTest在运行bundleexecraketest时，所有测试都通过了，但我看到以下消息在最后被标记为错误:ERROR["test_full_title_helper",ApplicationHelperTest,1.820016791]test

  10. ruby-on-rails - 相关表上的范围为 "WHERE ... LIKE" - 2

    我正在尝试从Postgresql表(table1)中获取数据，该表由另一个相关表(property)的字段(table2)过滤。在纯SQL中，我会这样编写查询:SELECT*FROMtable1JOINtable2USING(table2_id)WHEREtable2.propertyLIKE'query%'这工作正常:scope:my_scope,->(query){includes(:table2).where("table2.property":query)}但我真正需要的是使用LIKE运算符进行过滤，而不是严格相等。然而，这是行不通的:scope:my_scope,->(que

随机推荐