草庐IT

c# - 上界/下界推理和修复

coder 2024-06-03 原文

在 C# 4.0 规范 7.5.2.9 中:

A lower-bound inference from a type U to a type V is made as follows:

  • 如果 V 是未固定的 Xi 之一，则将 U 添加到 Xi 的下限集合中。
  • [...]

这个部分我已经看了很多遍了。缺少部分引用，这个定义读起来就像一个循环引用。所以，我希望在附近找到语法制作或章节引用来澄清……我没有。本节还与 Fixing 相关，后者也存在类似的定义问题。

什么是上限推断 与下限推断？

最佳答案

我会尽力描述得更清楚。最坏的情况，我以不同的方式描述它。

上限/下限推断是针对用于特定泛型方法调用的类型参数进行类型推断的分阶段方法的一部分。显然，如果在第一阶段显式输入参数 (E)，则不会应用上/下推断。例如:

给予

public static T Choose<T>(T first, T second) {
        return (rand.Next(2) == 0)? first: second;
    }

我可以调用 Choose带有显式类型参数:

Choose<String>("first", "second");

关于上界或下界推理，贯穿 7.5.2 的一些暗示决定下界或上界推理是否适用。例如，7.5.2.9(和 .10)详细说明类型参数未固定，以便进行上限或下限推断。 7.5.2.5 详细说明一个类型参数只有在该类型参数依赖于另一个未固定类型参数时才是不固定的。例如

IEnumerable<TResult> Select<TSource, TResult>(IEnumerable<TSource> e,
    Func<TSource, Result> f)

TResult “取决于”TSource ，因为 TSource 的类型可能会确定 TResult 的类型.例如像Select(c, e->Name)这样的电话, TResult取决于 Name 的类型在TSource .

在上界和下界推理方面，对于给定的未固定类型参数 (X)，其类型 (V) 未明确声明(请参阅第一段)，上界 或 推导出类型 U 的类型参数 (E)。如果类型参数是协变的(具有 out 修饰符)并且下界集中的一种类型是该参数的候选者，则发生下界推理。相反，如果类型参数是逆变的(具有“in”修饰符)并且上限集合中的一种类型是该参数的候选者，则发生上限推断。例如与 Select(c, e->e.Name)和 c是IEnumerable<Mammal>那么编译器会推断出 Mammal 的下限因为 IEnumerable 中的类型参数是协变的(例如它被声明为 IEnumerable<out T> 。如果它被声明为 IEnumerable<in T> 则将推断出上限。如果它被声明为 Enumerabale<T> - 没有 in 或 out 那么它将是 < em="">不变 并且上界和下界推理都不适用。)

显然，如果参数类型既不能协变也不能逆变，则必须发生精确匹配

关于c# - 上界/下界推理和修复，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/14938337/

c#上界code推断section

有关c# - 上界/下界推理和修复的更多相关文章

  1. c# - 如何在 ruby​​ 中调用 C# dll？ - 2

    如何在ruby​​中调用C#dll？ 最佳答案 我能想到几种可能性:为您的DLL编写(或找人编写)一个COM包装器，如果它还没有，则使用Ruby的WIN32OLE库来调用它；看看RubyCLR,其中一位作者是JohnLam，他继续在Microsoft从事IronRuby方面的工作。(估计不会再维护了，可能不支持.Net2.0以上的版本)；正如其他地方已经提到的，看看使用IronRuby，如果这是您的技术选择。有一个主题是here.请注意，最后一篇文章实际上来自JohnLam(看起来像是2009年3月)，他似乎很自在地断言RubyCL

  2. C# 到 Ruby sha1 base64 编码 - 2

    我正在尝试在Ruby中复制Convert.ToBase64String()行为。这是我的C#代码:varsha1=newSHA1CryptoServiceProvider();varpasswordBytes=Encoding.UTF8.GetBytes("password");varpasswordHash=sha1.ComputeHash(passwordBytes);returnConvert.ToBase64String(passwordHash);//returns"W6ph5Mm5Pz8GgiULbPgzG37mj9g="当我在Ruby中尝试同样的事情时，我得到了相同sha

  3. 基于C#实现简易绘图工具【100010177】 - 2

    C#实现简易绘图工具一.引言实验目的:通过制作窗体应用程序(C#画图软件),熟悉基本的窗体设计过程以及控件设计,事件处理等,熟悉使用C#的winform窗体进行绘图的基本步骤,对于面向对象编程有更加深刻的体会.Tutorial任务设计一个具有基本功能的画图软件**·包括简单的新建文件,保存,重新绘图等功能**·实现一些基本图形的绘制,包括铅笔和基本形状等,学习橡皮工具的创建**·设计一个合理舒适的UI界面**注明:你可能需要先了解一些关于winform窗体应用程序绘图的基本知识,以及关于GDI+类和结构的知识二.实验环境Windows系统下的visualstudio2017C#窗体应用程序三.

  4. ruby - 如何修复 RVM gem "[ missing bin/ruby ]" - 2

    执行rvmlist后，我得到以下输出:rvmrubiesgems[missingbin/ruby]=*ruby-2.0.0-p645[x86_64]ruby-2.1.6[x86_64]ruby-2.2.1[x86_64]gems[missingbin/ruby]是什么意思？gems是某种系统gemset吗？它不是我创建的，我不知道我是否可以或应该删除它。 最佳答案 在我跑完之后:rvmfix-permissions然后我能够卸载具有[缺少bin/ruby]的版本。 关于ruby-如何修复

  5. c# - C# 中的 Flatten Ruby 方法 - 2

    我如何做Ruby方法"Flatten"RubyMethod在C#中。此方法将锯齿状数组展平为一维数组。例如:s=[1,2,3]#=>[1,2,3]t=[4,5,6,[7,8]]#=>[4,5,6,[7,8]]a=[s,t,9,10]#=>[[1,2,3],[4,5,6,[7,8]],9,10]a.flatten#=>[1,2,3,4,5,6,7,8,9,10 最佳答案 递归解决方案:IEnumerableFlatten(IEnumerablearray){foreach(variteminarray){if(itemisIEnume

  6. ruby - 可以像在 C# 中使用#region 一样在 Ruby 中使用 begin/end 吗？ - 2

    我最近从C#转向了Ruby，我发现自己无法制作可折叠的标记代码区域。我只是想到做这种事情应该没问题:classExamplebegin#agroupofmethodsdefmethod1..enddefmethod2..endenddefmethod3..endend...但是这样做真的可以吗？method1和method2最终与method3是同一种东西吗？还是有一些我还没有见过的用于执行此操作的Ruby惯用语？ 最佳答案 正如其他人所说，这不会改变方法定义。但是，如果要标记方法组，为什么不使用Ruby语义来标记它们呢？您可以使用

  7. c# - Ruby 等效于 C# Linq 聚合方法 - 2

    什么是Linq聚合方法的ruby​​等价物。它的工作原理是这样的varfactorial=new[]{1,2,3,4,5}.Aggregate((acc,i)=>acc*i);每次将数组序列中的值传递给lambda时，变量acc都会累积。 最佳答案 这在数学以及几乎所有编程语言中通常称为折叠。它是更普遍的变形概念的一个实例。Ruby从Smalltalk中继承了这个特性的名称，它被称为inject:into:(像aCollectioninject:aStartValueinto:aBlock一样使用。)所以，在Ruby中，它称为inj

  8. c# - 先学什么？ - 2

    关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭8年前。Improvethisquestion几年前我去学校学习编程，毕业后我找到了一份系统管理方面的工作，这就是我职业生涯的方向。我想重新开始某种开发，并且一直在“玩”C#和ASP.NET，但我已经听到很多关于其他"new"语言的讨论(新的意思是它们是新的)我)喜欢Ruby和F#。我想我想知道我是否在浪费时间学习主要的MS语言，而不是成为一名通才。很长一段时间没有离开开发社区(如果我曾经离开过的话)让我在潮流中挣扎，我不想落在时代的

  9. c# - 在 C# 中重现 Ruby OpenSSL private_encrypt 输出 - 2

    我有一个简单的Ruby脚本，我用它在某些HTTPheader上执行private_encrypt以签署要发送到ruby​​RESTAPI的Web请求，该API会根据Base64编码字符串测试Base64编码字符串生成而不是解码Base64和解密数据然后测试原始字符串。我使用的脚本是require"openssl"require"base64"path_to_cert=ARGV[0].dupplain_text=Base64.decode64(ARGV[1].dup)private_key=OpenSSL::PKey::RSA.new(File.read(path_to_cert))pu

  10. ruby - 处理 gem 依赖项中错误修复的最佳方法是什么？ - 2

    我有一个依赖于另一个gem的gem(在RubyGems上可用)。那个依赖的gem有一个我最近修复的错误。不幸的是，那个依赖的gem几乎已经死了；它已经很多年没有更新了，而且所有者不再在GitHub上活跃，根本，更不用说提交这个gem了，所以我不希望我的补丁会被接受——肯定不会很快。鉴于此，处理此依赖gem的补丁版本的最佳方法是什么？我是否将它fork并上传一个新的gem(使用新名称)到RubyGems，并依赖它？我是否以某种方式将我的固定版本与我自己的gem打包在一起？ 最佳答案 首先，检查有问题的gem的许可证(以及您的代码的许可

随机推荐