在 C# 中，泛型函数或类知道其泛型参数的类型。这意味着动态类型信息，如 is或 as可用(与 Java 不可用的情况相反)。
我很好奇，编译器如何将这种类型信息提供给泛型方法？对于我可以想象的类，实例可以简单地有一个指向类型的指针，但对于泛型函数我不确定，也许只是一个隐藏的参数？
如果泛型被保留到 IL 级别，我相信它们是，那么我想知道这是如何在该级别完成的。
最佳答案
由于您已经编辑了您的问题以将其从 C# 编译器扩展到 JIT 编译器，这里是该过程的概述，采用 List<T>作为我们的例子。
正如我们所确定的，List<T> 只有一种 IL 表示。类(class)。此表示具有对应于 T 的类型参数在 C# 代码中看到的类型参数。正如 Holger Thiemann 在他的评论中所说，当您使用 List<> 时具有给定类型参数的类，JIT 编译器为该类型参数创建类的 native 代码表示。
但是，对于引用类型，它只编译 native 代码一次，并将其重用于所有其他引用类型。这是可能的，因为在虚拟执行系统(VES，通常称为“运行时”)中，只有一种引用类型，称为 O在规范中(参见第 I.12.1 段，表 I.6，在标准中:http://www.ecma-international.org/publications/standards/Ecma-335.htm)。这种类型被定义为“对托管内存的 native 大小对象引用”。
换句话说，VES 的(虚拟)计算堆栈中的所有对象都由一个“对象引用”(实际上是一个指针)表示，它本身基本上是无类型的。那么 VES 如何确保我们不使用不兼容类型的成员？是什么阻止我们拨打 string.Length System.Random 实例的属性?
为了加强类型安全，VES 使用描述每个对象引用的静态类型的元数据，将方法调用的接收者的类型与方法的元数据 token 标识的类型进行比较(这也适用于其他成员类型的访问)。
例如，要调用对象类的方法，对对象的引用必须位于虚拟计算堆栈的顶部。由于方法的元数据和对“堆栈转换”的分析——每个 IL 指令引起的堆栈状态的变化，这个引用的静态类型是已知的。 call或 callvirt指令然后通过包含表示方法的元数据标记来指示要调用的方法，这当然指示定义方法的类型。
VES 在编译之前“验证”代码，将引用的类型与方法的类型进行比较。如果类型不兼容，验证失败，程序崩溃。
这对于泛型类型参数和非泛型类型都一样有效。为了实现这一点，VES 限制了可以在类型为不受约束的泛型类型参数的引用上调用的方法。唯一允许的方法是定义在 System.Object 上的方法。 ，因为所有对象都是该类型的实例。
对于受约束的参数类型，该类型的引用可以接收对由约束类型定义的方法的调用。例如，如果您编写一个方法，其中约束类型 T源自 ICollection ，您可以拨打ICollection.Count类型为 T 的引用的 getter . VES 知道调用此 getter 是安全的，因为它确保存储到堆栈中该位置的任何引用都是实现 ICollection 的某种类型的实例。界面。因此，无论对象的实际类型是什么，JIT 编译器都可以使用相同的 native 代码。
还要考虑依赖于泛型类型参数的字段。在List<T>的情况下，有一个类型为 T[] 的数组保存列表中的元素。请记住，实际的内存中数组将是 O 的数组。对象引用。无论该数组是否是 List<string> 的成员，构造该数组或读取或写入其元素的 native 代码看起来都一样。或 List<FileInfo> .
因此，在不受约束的泛型类型的范围内，例如 List<T> , T引用文献与 System.Object 一样好引用。不过，泛型的优点是 VES 将类型参数替换为调用方作用域中的类型参数。换句话说，即使 List<string>和 List<FileInfo>在内部对待他们的元素相同，调用者看到 Find方法之一返回 string ，而另一个返回 FileInfo .
最后，因为所有这些都是通过 IL 中的元数据实现的，并且因为 VES 在加载和 JIT 编译类型时使用元数据，所以可以在运行时通过反射提取信息。
关于c# - C#/.Net 泛型如何知道它们的参数类型？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28870696/
我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div
总的来说，我对ruby还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。
给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru
我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t
我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时，rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack
在选择我想要运行操作的频率时，唯一的选项是“每天”、“每小时”和“每10分钟”。谢谢!我想为我的Rails3.1应用程序运行调度程序。 最佳答案 这不是一个优雅的解决方案，但您可以安排它每天运行，并在实际开始工作之前检查日期是否为当月的第一天。 关于ruby-如何每月在Heroku运行一次Scheduler插件？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/8692687/
