- 浏览: 3018150 次
- 性别:
- 来自: 海外
文章分类
- 全部博客 (430)
- Programming Languages (23)
- Compiler (20)
- Virtual Machine (57)
- Garbage Collection (4)
- HotSpot VM (26)
- Mono (2)
- SSCLI Rotor (1)
- Harmony (0)
- DLR (19)
- Ruby (28)
- C# (38)
- F# (3)
- Haskell (0)
- Scheme (1)
- Regular Expression (5)
- Python (4)
- ECMAScript (2)
- JavaScript (18)
- ActionScript (7)
- Squirrel (2)
- C (6)
- C++ (10)
- D (2)
- .NET (13)
- Java (86)
- Scala (1)
- Groovy (3)
- Optimization (6)
- Data Structure and Algorithm (3)
- Books (4)
- WPF (1)
- Game Engines (7)
- 吉里吉里 (12)
- UML (1)
- Reverse Engineering (11)
- NSIS (4)
- Utilities (3)
- Design Patterns (1)
- Visual Studio (9)
- Windows 7 (3)
- x86 Assembler (1)
- Android (2)
- School Assignment / Test (6)
- Anti-virus (1)
- REST (1)
- Profiling (1)
- misc (39)
- NetOA (12)
- rant (6)
- anime (5)
- Links (12)
- CLR (7)
- GC (1)
- OpenJDK (2)
- JVM (4)
- KVM (0)
- Rhino (1)
- LINQ (2)
- JScript (0)
- Nashorn (0)
- Dalvik (1)
- DTrace (0)
- LLVM (0)
- MSIL (0)
最新评论
-
mldxs:
虽然很多还是看不懂,写的很好!
虚拟机随谈(一):解释器,树遍历解释器,基于栈与基于寄存器,大杂烩 -
HanyuKing:
Java的多维数组 -
funnyone:
Java 8的default method与method resolution -
ljs_nogard:
Xamarin workbook - .Net Core 中不 ...
LINQ的恶搞…… -
txm119161336:
allocatestlye1 顺序为 // Fields o ...
最近做的两次Java/JVM分享的概要
既然装上了Visual Studio 2010 Beta 1,正好可以试试.NET Framework 4.0里的一些新东西。我比较关注的是Expression Tree的部分,到底哪些功能进到了.NET 4,哪些还得到CodePlex的DLR站上去找呢?试用一下找找感觉。
我暂时没试这个beta里的C#对dynamic的支持,是因为暂时还没想到啥有趣的场景能写点简单的代码来玩的。对.NET类型故意使用dynamic的玩法在之前CTP的时候就玩过了,不过瘾了。回头针对.NET 4来编译一个IronPython来看看,到时就能好好把玩一番dynamic了。
回到Expression Tree。在.NET Framework 4.0里它叫Expression Tree v2,简称ETv2。它兼容于.NET Framework 3.5里LINQ的Expression Tree,但实际上是从DLR的DLR tree发展而来的。时至今日DLR的代码仍在快速变化中,而ETv2作为LINQ与DLR的公共部分要放到标准库里,等不到DLR稳定下来。折中的解决方案就是在标准库里的版本砍掉一些DLR里还没定下来的东西和低优先级的东西。像是LoopExpression进入了标准库,但特化版本的ForEach、While等就只有CodePlex上的版本才有。
.NET Framework 4.0中,ETv2位于System.Core.dll程序集中,在System.Linq.Expressions命名空间下。CodePlex的DLR的ETv2则位于Microsoft.Scripting.Core.dll程序集中,Microsoft.Linq.Expressions命名空间下。CodePlex的DLR之所以要用不同的命名空间是为了避免与标准库冲突,但这样一来由编译器生成的ET就与CodePlex的DLR中的ET不兼容了。所以我才那么期待.NET 4.0赶紧出……为了能用上标准库里的ETv2。
昨天装好VS2010 Beta后写的代码如下。
就是先做了个简单的in-memory LINQ查询,然后用ETv2来构造出一个遍历并输出查询结果的函数,并调用之。
用ETv2构造出来的函数基本等价于一个含有普通foreach循环的lambda:
注意到foreach循环可以被展开为while循环:
我用ETv2实现的lambda实际上是这样的:
后来想了想,我应该把vI放在if里的block来声明的,会更符合foreach的语义。不过懒得开虚拟机去改了……
写成while (true)是因为ETv2里的LoopExpression就是代表一个无限循环,外加用户可自定义的条件分支及跳转目标(BreakTarget和ContinueTarget)。在C-like语言里,基本循环结构可以分为条件前置的while/for和条件后置的do...while两种。但总有些时候我们希望既不是在开头也不是在结尾,而是在循环体的中间来判断循环条件;在C-like语言里我们就只好用无限循环+条件语句来模拟这种半中腰的循环结构。ETv2为了提供最大的弹性,提供的基本循环结构就是这种代表无限循环的LoopExpression。但这样的基本结构用起来总让人嫌麻烦,还好CodePlex上的DLR里有特化版本的循环结构,只是没赶上.NET 4这趟车而已。
我暂时没试这个beta里的C#对dynamic的支持,是因为暂时还没想到啥有趣的场景能写点简单的代码来玩的。对.NET类型故意使用dynamic的玩法在之前CTP的时候就玩过了,不过瘾了。回头针对.NET 4来编译一个IronPython来看看,到时就能好好把玩一番dynamic了。
回到Expression Tree。在.NET Framework 4.0里它叫Expression Tree v2,简称ETv2。它兼容于.NET Framework 3.5里LINQ的Expression Tree,但实际上是从DLR的DLR tree发展而来的。时至今日DLR的代码仍在快速变化中,而ETv2作为LINQ与DLR的公共部分要放到标准库里,等不到DLR稳定下来。折中的解决方案就是在标准库里的版本砍掉一些DLR里还没定下来的东西和低优先级的东西。像是LoopExpression进入了标准库,但特化版本的ForEach、While等就只有CodePlex上的版本才有。
.NET Framework 4.0中,ETv2位于System.Core.dll程序集中,在System.Linq.Expressions命名空间下。CodePlex的DLR的ETv2则位于Microsoft.Scripting.Core.dll程序集中,Microsoft.Linq.Expressions命名空间下。CodePlex的DLR之所以要用不同的命名空间是为了避免与标准库冲突,但这样一来由编译器生成的ET就与CodePlex的DLR中的ET不兼容了。所以我才那么期待.NET 4.0赶紧出……为了能用上标准库里的ETv2。
昨天装好VS2010 Beta后写的代码如下。
就是先做了个简单的in-memory LINQ查询,然后用ETv2来构造出一个遍历并输出查询结果的函数,并调用之。
using System; using System.Collections; using System.Collections.Generic; using System.Linq; using System.Linq.Expressions; namespace ConsoleApplication1 { static class Program { static void Main(string[] args) { var list = from i in Enumerable.Range(0, 100) where i % 9 == 0 orderby i descending select i; var vIter = Expression.Variable(typeof(IEnumerator<int>), "iter"); var vI = Expression.Variable(typeof(int), "i"); var lBreak = Expression.Label(); var eForeach = Expression.Lambda<Action>( Expression.Block( new[] { vIter, vI }, // IEnumerator<int> iter; int i; Expression.Assign( // iter = list.GetEnumerator(); vIter, Expression.Call( Expression.Constant(list), typeof(IEnumerable<int>).GetMethod("GetEnumerator"))), Expression.Loop( // while (true) Expression.IfThenElse( // if Expression.Call( // (iter.MoveNext()) vIter, typeof(IEnumerator).GetMethod("MoveNext")), Expression.Block( // { Expression.Assign( // i = iter.Current; vI, Expression.Property(vIter, "Current")), Expression.Call( // Console.WriteLine(i); typeof(Console).GetMethod("WriteLine", new[] { typeof(int) }), new[] { vI })), Expression.Break(lBreak)), // } else break; } lBreak)), new ParameterExpression[0]); eForeach.Compile()(); } } }
用ETv2构造出来的函数基本等价于一个含有普通foreach循环的lambda:
() => { foreach (var i in list) { Console.WriteLine(i); } }
注意到foreach循环可以被展开为while循环:
() => { var iter = list.GetEnumerator(); while (iter.MoveNext()) { var i = iter.Current; Console.WriteLine(i); } }
我用ETv2实现的lambda实际上是这样的:
() => { var iter = list.GetEnumerator(); int i; while (true) if (iter.MoveNext()) { i = iter.Current; Console.WriteLine(i); } else break; }
后来想了想,我应该把vI放在if里的block来声明的,会更符合foreach的语义。不过懒得开虚拟机去改了……
写成while (true)是因为ETv2里的LoopExpression就是代表一个无限循环,外加用户可自定义的条件分支及跳转目标(BreakTarget和ContinueTarget)。在C-like语言里,基本循环结构可以分为条件前置的while/for和条件后置的do...while两种。但总有些时候我们希望既不是在开头也不是在结尾,而是在循环体的中间来判断循环条件;在C-like语言里我们就只好用无限循环+条件语句来模拟这种半中腰的循环结构。ETv2为了提供最大的弹性,提供的基本循环结构就是这种代表无限循环的LoopExpression。但这样的基本结构用起来总让人嫌麻烦,还好CodePlex上的DLR里有特化版本的循环结构,只是没赶上.NET 4这趟车而已。
发表评论
-
对象的重量
2011-08-21 17:15 0http://domino.research.ibm.com/ ... -
IronRuby 1.1系的自适应执行(解释/编译的混合模式)
2010-10-29 14:12 0IronRuby自身的compiler部分基本上还是保持不变的 ... -
Expression Tree中的Constant被编译后放到哪里去了?
2010-02-28 16:21 0Expression.Constant()可以放任意对象进去作 ... -
拿ETv2来生成方法体的两种阳春办法
2009-09-22 06:03 0System.Type System.Reflection.E ... -
C#的语言结构到Expression Tree v2的映射
2009-05-21 03:11 0在.NET Framework 4 Beta 1中,Expre ... -
用Iron-*语言来探索.NET
2009-05-15 23:21 3352刚才写代码的时候又是在不停查文档,甚是心烦。一怒,拿出Iron ... -
自己关于VM的帖的目录
2009-04-07 14:02 68842JavaEye的blog系统只允许把帖放到单一类别下,而不能用 ... -
MIX09上关于DLR解释器消息的一段听记(3月26更新IronPython 2.6A1消息)
2009-03-23 21:09 1804John Lam在MIX 09上做了一个关于动态语言与Silv ... -
答复: C# 4 DLR & Java 7 Invokedynamic
2009-03-22 17:12 2973原帖地址:C# 4 DLR & Java 7 Invo ... -
通过get或set方法的MethodInfo获得相应的PropertyInfo的方式
2009-02-01 22:41 3503在IronPython 46307的MemberExpress ... -
同一个ParameterExpression被用在不同嵌套层次的lambda里会怎样?
2009-01-16 00:22 2562今天写代码的时候不小心写错了几个地方,把同一个Paramete ... -
CodePlex上放出DLR v0.9 beta
2008-11-27 14:34 1943之前提到过DLR会在CodePlex上拥有自己独立的项目页面, ... -
IronRuby (r170)中respond_to?的实现
2008-11-13 23:29 0IronRuby.Libraries/Builtins/Ker ... -
DLR中的binder的演变
2008-11-11 23:29 0从模糊的“标准消息”转变为明确完整的MetaObject Pr ... -
DLR即将在Codelex开设独立的站点
2008-10-29 23:01 1409DLR官网:Dynamic Language Runtime ... -
IronPython放出RC1
2008-10-23 09:59 1789下载链接:http://www.codep ... -
新的DLR tree改变了Visitor的设计
2008-10-09 00:35 1585之前的一帖提到过访问DLR tree所使用的visitor的实 ... -
对比DLR
2008-10-08 04:32 0Managed JScript: // // AST: E ... -
目前DLR执行一棵DLR tree的过程(针对10月3日的ChangeSet 41087)
2008-10-07 01:46 1737先在Microsoft.Scripting.Actions.C ... -
LINQ与DLR的Expression tree(4):创建静态类型的LINQ表达式树节点
2008-09-27 00:18 9313(Disclaimer:如果需要转载请先与我联系;文中图片请不 ...
相关推荐
.Net Framework 目标包是VS2019开发下载的目标包,包括.net framework3.5 、 .net framework4.0 、 .net framework4.5 vs2022使用.Net Framework4.0方法:,将上述.Net Framework包直接复制粘贴到如下目录下即可:C...
Microsoft .NET Framework 4.0 Beta 1 (x86)_dotnetfx40_full_x86
Kafka .Net Framework4.0 版本 有完整的依赖包 Visual C++ Redistributable Packages for Visual Studio 2013
office 2016安装.NET Framework4.0失败
.net framework 4.0 离线安装包,下载后可以离线安装,安装过程中不需要联网。
.NET Framework 4.0 常用类库参考手册 [微软官方 MSDN] MSDN Library - .NET Framework 4.0 - 命名空间 (节选版) 制作成了chm格式,方便离线状态下学习! ======================================= 原文地址:...
.net framework4.0离线版安装包,解决证书过期问题
.net FrameWork4.0安装包.net FrameWork4.0安装包
.NET Framework 4.0 离线安装包 dotNetFx40_Full_x86_x64.exe
好多人在照这个东西吧,赫赫。 至于是什么东西,编程的人都知道的。 Microsoft dotNet framework 4.0 简体中文语言包 Microsoft .net framework 4.0 简体中文语言包
该文件是Microsoft .NET 4.0.30319.1的安装文件,它支持XP、32位的Win7、64位的Win7。
增加Microsoft .NET Framework 4.0 补丁包-安装过程非常简单,根据步骤提示安装即可,即装即用非常方便,由于这台电脑已经安装了这个软件,所以就不做详细介绍
.net framework 4.0 安装文件,web开发必备组件
.net framework 4.0 资料 比较全 新内容 官方 C#新加入的内容也在里面。
Microsoft .NET Framework 3.0 是一个新的Windows编程框架,它包含了.NET Framework version 2.0的所有技术,并融入了大量新技术,例如Windows Presentation Foundation, Windows Communication Foundation, Windows ...
.NET Framework 4.0 离线安装包
.NET Framework 4.0官方版将强大功能与新技术结合起来,用于构建具有视觉上引人注目的用户体验的应用程序,实现跨技术边界的无缝通信。.NET Framework 4.0增加了许多新的功能,例如持续忽略、POCO支持、延迟加载,...
Windows Development with MS .NET Framework 4.0. A very good book for beginner to start with.
Newtonsoft.Json dotnet框架4.0版,官方原版下载,珍藏版,确实是.net framework的4.0版支持32和64位操作系统
[其他类别]Microsoft .NET Framework 4.0 Beta 1 (x86)_dotnetfx40_full_x86