博客园-回来了

[Programming IL]泛型, Generic Types

xwang — Sun, 12 Oct 2008 07:23:00 GMT

摘要: 引言: 自从泛型那天诞生起，广大的面向对象程序员对于他的热爱普遍要高于其他数据结构. :). 然而各大面向对象对于他的支持却不太一样。在CPP中用的是静态编译，即在编译器决定泛型的类型，而.Net则是在运行时确定，他们有什么不一样呢? 和周围的同事谈起泛型，发现大伙对于这东西都是似懂非懂，觉得自己有必要作一次应用总结了. :( ，由于范型内容较多，请看这里: 我们从C#总定义一段基本的范型代码阅读全文

[新闻]Silverlight 2正式版SDK可以下载
博客园首页社区新闻频道小组博问网摘闪存

Shared Source CLI 2.0 Internals Draft Released

xwang — Fri, 10 Oct 2008 01:57:00 GMT

Essential Shared Source CLI 的第二版的电子草稿版本出来了，想学习的朋友有福了，下面是地址

查看: http://callvirt.net/blog/entry.aspx?entryid=b9a94d0c-761a-4d6b-bc2f-d6a5f8c1a4a7

书籍下载地址: Shared Source CLI 2.0 Internals DRAFT.pdf.

[新闻]Silverlight对Flash 微软打垮Adobe
博客园首页社区新闻频道小组博问网摘闪存

Understanding Generic Type, 理解泛型

xwang — Fri, 10 Oct 2008 01:45:00 GMT

摘要: 什么是泛型所谓泛型，就是指类型可以为任意. 最常用的泛型当然是用于创建集合了. 1: List list = new List(); 2: list.Add(1); 为什么要用泛型?这个问题可以分为几个分支, 我们一个一个来思考泛型跟传统的集合类比较有什么优势a. 效率好,因为集合类(以ArrayList为例)对于所有对象的操作采用object作为对阅读全文

[新闻]Silverlight对Flash 微软打垮Adobe
博客园首页社区新闻频道小组博问网摘闪存

[Programming IL]虚方法，重载，抽象方法，覆盖 - Virtual Methods, Overload, Abstract, Override

xwang — Sat, 20 Sep 2008 18:20:00 GMT

摘要: 引言前面我们讲到了接口，类，流程控制，那面向对象的一些基本概念，重载，覆盖，抽象/虚方法这些概念在.Net中又是如何实现的呢? 概念可能提了无数次了，然后还是要定义一下, 温故而知新嘛. :) 这些面向对象的基本元素都是和方法联系在一起。方法由方法头(Method Header)和方法体(Method Body)组成，方法头由 ( 修饰符，返回值，方法名，定义域修饰符(internal), 参阅读全文

[新闻]IBM扩大研究规模在上海成立研究院
博客园首页社区新闻频道小组博问网摘闪存

[Programming IL]创建一个接口，How To Declare A Interface

xwang — Thu, 18 Sep 2008 16:09:00 GMT

引言:

大家都知道接口是定义了一组契约，但是你知道接口的存在形式吗? 你想更深一步了解接口吗? Follow me. :)

概念:

Interfaces define a contract that other types can implement. Interfaces can have
static fields and methods, but they shall not have instance fields or methods. Interfaces can define virtual methods.

- From Common Language Infrastructure (CLI) Partition II
"A named group of methods, locations, and other contracts that shall be imple
mented by any object type that supports the interface contract of the same name" - From ECMA / ISO
接口定义了一个契约，并由继承他的类来实现。

可以有静态的字段和方法，但是实际上他们不应该有（只是一种能力，但是不应该使用）。
定义的实例方法都是Virtual的.
不存在内存布局，因为他没有自己的实现. 从而也不知道那个方法占用多少个字节.等等 (有待继续深究)

Q & A - 从问题展开探索

Q: 是否继承接口的类都必须有接口的实现呢？

A: 抽象类除外. (Abstract Class Excluded)

   1: public interface ITest   2:     {   3:         void Run();   4:     }   5:        6:     public abstract class MyTest : ITest   7:     {   8:         public abstract void Run();   9:           10:     }

更进一步，为什么Abstract的方法也可以呢？

换个角度如果不是Abstract的方法自然是可以的，但是为什么Abstract也行呢?

区别在于一个有具体的实现，而另一个无。然而对于最后生成的元数据结构来说，对于每个方法都存在自己的签名，实例方法如此，Abstract的方法也如是，而对于Abstract的实现类来说必定存在Abstract方法的具体实现，于是乎，这样的实现也是可以并且也是有道理的，权当一种.Net面向对象的一种特征好了. :). BTW: 不知道其他的面向对象语言怎样约定的？

举个例子:

   1: ITest test = new DerivedClass(); // Derived lass --> Abstract Class --> ITest   2:     3: test.Call();

方法\类型执行顺序 ->	Interface	Abstract class	Derived Class
实例::方法	ITest:: Call()	AbstractInstance::Call()	DerivedInstance::Call()

依此类推, 这样也是对的

   1: public class MyVirtualTest: ITest   2:     {   3:         public virtual void Run(){}   4:     }

Q: 定义上写可以定义静态的字段和方法? 那么为什么编译会报错

   1: public interface ITest   2:     {   3:         static void Run();   4:     }

错误: The modifier 'static' is not valid for this item

这样也不行

   1: public interface ITest   2: {   3:     static int Count = 5;   4: }

错误: Interfaces cannot contain fields

这样的例子是在C#中运行的，我们用IL试一下

   1:     2: .class interface public abstract auto ansi Roger.Testing.ITest   3: {   4:   .method public hidebysig newslot abstract virtual    5:           instance void  Run() cil managed   6:   {   7:   } // end of method ITest::Run   8:     9:   .field private static int32 id  10:    11: } // end of class Roger.Testing.ITest

编译成功, 我们反编译一下:

那定义一个静态方法呢?

   1: .class interface public abstract auto ansi Roger.Testing.ITest   2: {   3:   .method public hidebysig newslot abstract virtual    4:           instance void  Run() cil managed   5:   {   6:   } // end of method ITest::Run   7:     8:   .field private static int32 id   9:    10:   .method public static void MyStaticFun() cil managed  11:   {  12:     ret  13:   }  14:    15: } // end of class Roger.Testing.ITest

编译成功后继续反编译:

题外话：我们都知道Java里接口是可以定义静态变量，我想这是不是.Net设计时的一种考量，在CLI基础上内建了支持，而后根据语言特性定制，而C#不支持接口定义静态变量与方法. :)

再扯偏一点, 既然接口可以定义静态变量和方法，这些方法和变量需要在实现这个接口的类中再实现一次吗?

   1:     2: .class public auto MyClass extends [mscorlib]::System.Object   3:                implements Roger.Testing.ITest   4: {   5:     // Implement the override methods   6: }

答案: 不需要

原因: static变量为这个interface的l类型拥有，不需要继续实现，此例即为: ITest.id

[新闻]eWeek评Google八大“20%项目”
博客园首页社区新闻频道小组博问网摘闪存

[Programming IL]创建一个类，How To Declare A Class

xwang — Thu, 18 Sep 2008 16:08:00 GMT

摘要: 引言在.Net平台中，面向对象是一个非常重要的概念，那么在IL是怎样对面向对象进行支持的呢? 让我们从创建一个类开始例子 1: .assembly extern mscorlib {} 2: .assembly MyClass {} 3: .class public auto unicode XWang extends [mscorlib]System.Object 4: { 5: .meth 阅读全文

[新闻]eWeek评Google八大“20%项目”
博客园首页社区新闻频道小组博问网摘闪存

[Programming IL] 从Hello World开始

xwang — Fri, 12 Sep 2008 01:21:00 GMT

名词解释

IL = Intermediate Language, 在.Net的设计中成为CIL = Common Intermediate Language, 而因为CIL本身是通用的，而微软为他设计了一种实现，在微软平台上我们也可以称他为MSIL

目标

为.Net平台的底层设计提供一个具体实现，基本编程语言的特性，如流程控制，判断，算术计算，地址等等。还有面向对象的具体设计，类和类之间的关系，隐藏，继承，接口等等。更有一些对函数式语言的支持，了解IL不仅仅是对程序的深一步理解，更是对.Net Framework产生框架性认识的重要依据。个人认为 :)

基础知识

每一个.Net应用程序或者是程序集都实际上一个PE(Portable Execution)文件, 关于PE文件格式等等的详细说明将在后面讲述

实例 - 从HelloWrold开始

代码:

   1: .assembly extern mscorlib {}   2: .assembly hello {}   3: .method static public void main() cil managed   4: {   5:     .entrypoint   6:     .maxstack 1   7:     ldstr "Hello world!"   8:     call void [mscorlib]System.Console::WriteLine(class System.String)   9:     ret  10: }

1. mscorlib位于 %Windows%/Microsoft.NET/Framework/v2.0.50727 下，他是.Net程序和API交互的基础，包含了基础类库(BCL)的实现

2. 设置程序集名称为hello

3. ...

5. .entrypoint 入口点

6. 分配栈

7. 加载string

8. 调用方法

9. 返回

了解IL很久了，最近探索下.Net设计等等东西，开始看IL也有一段时间了，工作比较忙，反而搁置了，写这个东西也不是为了啥，只是督促自己一下.

参考书籍:

Expert.NET 2.0 IL Assembler

Common Language Infrastructure Partition II

[新闻]微软终于发布Silverlight 2正式版
博客园首页社区新闻频道小组博问网摘闪存

装饰者模式(Decorator pattern)

xwang — Mon, 08 Sep 2008 15:49:00 GMT

说起来惭愧，在某群解答别人问题时居然回答错误，羞煞我也。为此特地补习一下。 :(

装饰者模式

作用:

动态给对象添加职责

典型案例:

在一般的留言本中(支持UBB)输入文本，按B设置为粗体，I为斜体，实际上就是给文本动态的加上了文本，等文字环绕，而后通过解释器进行替换于是就有了最终页面的效果。这样的思路是很简单的，然而对于面向对象的实现方式来说其实还是有点麻烦的. 鉴于关于文本的例子过多，我们这里举的例子采用Stream的简化版本

类图:

对于.Net Framework中存在N种流, FileStream, MemoryStream, BinaryStream, NullStream等等，无非这些Stream都是Stream的确定实例，而通过CryptoStream的子类来对各种流进行加密解密等等功能的操作，在我们的类图里使用SecurityStream和子类HashedStreamDecorator, SHAStreamDecorator等来表示

关于实现的代码的方式则很简单，相信读者通过类图即可得到程序。实际BCL中的Stream会麻烦许多，会有很多的虚方法，Read, Seek,同步流，异步流等等，然而架构是一样的

关于动态职责的添加还有很多实现，这里还有一种AOP的方法， :)

http://msdn.microsoft.com/en-us/magazine/cc163741.aspx

关于AOP的简述:

http://msdn.microsoft.com/en-us/library/system.runtime.remoting.proxies.realproxy.aspx

CodeProject- Using AOP in C#. Free source code and programming help

http://www.geocities.com/aspectdotnet/

AOP Introducation

本来想写一个AOP实现的例子，无奈功力似乎浅了点，对于AOP的三种实现缺乏整体的把握，想想还是暂时搁浅好了, 也太晚了点 :) 。

[新闻]微软首次打破先例 Windows 7不再改名
博客园首页社区新闻频道小组博问网摘闪存

我眼中的Scrum和MSF

xwang — Wed, 20 Aug 2008 05:48:00 GMT

使用Scrum也有几个星期了，和之前难忘的MSF流程比较，有些感触，一起分享. :)

概念:

什么是SCRUM?

SCRUM是一种流程，有人说是方法论，而他自己则说自己是框架。是新兴的敏捷过程的一种。

什么是MSF?

MSF也是流程, 传统的软件开发过程，广泛运用于微软内部流程改进, 分为CMMI版本和Agile版本。

他们都关注沟通，反思，需求，不同的是我觉得SCRUM更加人性化并且给出了具体的实施指南。MSF则更讲求框架，但是实际上可实施上并不够好，每一层都要求很严格，而SCRUM则将对质量的关注涉及到每一个方方面面，同时结合XP的开发方式，也很COOL哦。听说微软一些团队也开始使用SCRUM了。

关于MSF的流程在安装TFS时就已经安装好了，他的人员组成，文档模板都已经设计好了，需要的是具体管理人员在不同情况下的不同反应而已。

而对于SCRUM虽然没有具体的模板，但是一些技巧和解决问题的方式确实很值得提倡的，每日15分钟例会，Sprint, Story, 产品经理，发布计划，评估等等。SCRUM可以应用于各种团队的管理而不仅仅是软件开发。

从几个方面做一下比较好了

	需求	文档	编程方式	会议	测试	实施	团队	演示
MSF(Agile)	确定签字后无法更改	强调文档	传统方式，可结合TDD	自行安排	始终伴随	有实施部署阶段	沟通与改进	交付时
SCRUM	可以修改	弱化文档	TDD + XP	每天15分钟，方式不限, 2~4星期的Sprit	始终伴随	持续集成	沟通与改进，提倡固定的Team	2~4星期就会沟通演示，同时反思，修改下一步计划

图1: 我眼中的异同

当然了实际情况中，MSF也可以有持续集成，本身是一个不同的概念，我喜欢的是里面提供的实践指南，当然了有了实际指南，理论也不能丢，知之敏捷为何也很重要。感谢INFOQ和李剑的翻译。

有几段觉得很好玩的话一起enjoy一下, :o)

奴役式做法：对他们说，“你们今天可以给大伙儿干干杂活。倒咖啡、做按摩、清理垃圾、做午饭，一切一切大家今天让你们做的事情。”你会惊讶的发现 Joe 和 Lisa 在霎那之间就找出了有用的技术任务 )

本文右边的插图即是一本大伙都推荐的SCRUM书籍, Go(中文版):

http://www.infoq.com/resource/minibooks/scrum-xp-from-the-trenches/zh/pdf/scrum-and-xp-chinese-version.pdf

另外CodePlex 上也有了SCRUM for TFS的模板: Go:

VSTS Scrum Process Template

[新闻]亚马逊EC2云计算计划支持Windows操作系统
博客园首页社区新闻频道小组博问网摘闪存

Understanding Struct, 理解Struct

xwang — Tue, 19 Aug 2008 16:02:00 GMT

在.Net 中各种基本类型都是由struct定义，他与引用类型相有一些不同，有自己的特色，这篇BLOG由ECMA335中关于Value Type的定义开始

用Class定义的类型不一定都是引用类型，实际上，值类型就不是(例如：ValueType).用Class定义的ValueType包含了拆箱的值类型和关联的装箱类型. (ECMA335 Partition I, 8.9.7)

当调用ValueType上的非静态方法时, this 指针是指向一个托管实例的引用，他会调用关联的装箱类型的方法.
值类型本身不支持接口，但是他关联的装箱的类型会.
值类型不能继承
装箱类型的基类不应该包含任何字段.
与引用类型不一样，值类型在创建实例时不需要调用构造函数. 默认他会把所有的字段根据类型设置为null或者0.

关于Struct类型使用的一般规则:

1. 不能定义无参数默认构造函数

public struct Employee
    {
        public string Name;
        
        public Employee(string name)
        {
            this.Name = name;
        }
        
        public Employee()
        {
        }
        
        public void Run()
        {
            Console.WriteLine("HI, I am {0}", Name);
        }
    }

错误信息: Structs cannot contain explicit parameterless constructors (Structs 不能包含显示的无参构造)

2. 不能初始化

public struct Employee
    {
        public string Name = "Hello";
    }

错误信息: 'Roger.Testing.Employee.Name': cannot have instance field initializers in structs (Structs中不能包含有初始化后的字段)

3. Read-Only状态不能更改

static readonly Employee emp = new Employee("Roger");
        
        public static void Main()
        {
            emp.Name = "New Roger";
            
            Console.Read();
        }

错误信息: Fields of static readonly field 'Roger.Testing.Testing.emp' cannot be assigned to (except in a static constructor or a variable initializer) readonly类型的Struct不能被赋值, 除非在静态构造函数或者变量初始化时可以修改

例子:

static readonly Employee emp = new Employee("Roger");
        
        public static void Main()
        {            
            
            Console.Read();
        }
        
        static Testing()
        {
            emp.Name = "New Roger";
        }

4. 不能继承

public struct Manager : Employee
    {
        public string Title;
    }

错误信息: 类型'Employee' 在接口列表中但不是接口

5. Struct可以继承无数接口

public struct Manager : IComparable, ICloneable
        {
  
            #region IComparable Members
  
            public int CompareTo(object obj)
            {
                throw new NotImplementedException();
            }
  
            #endregion
  
            #region ICloneable Members
  
            public object Clone()
            {
                throw new NotImplementedException();
            }
  
            #endregion
        }

6. StructLayout

详细解释: http://www.cnblogs.com/happyhippy/articles/717028.html

7. 序列化Struct

public static byte[]
    RawSerialize(object anything)
{
    int rawsize =
        Marshal.SizeOf(anything);
    IntPtr buffer =
        Marshal.AllocHGlobal(rawsize);
    Marshal.StructureToPtr(anything,
        buffer, false);
    byte[] rawdata = new byte[rawsize];
    Marshal.Copy(buffer, rawdata,
        0, rawsize);
    Marshal.FreeHGlobal(buffer);
    return rawdata;
}

8. 调用API

详细解释: http://www.yesky.com/165/1621165.shtml

Struct类型上的方法调用

using System;
using System.Collections.Generic;
  
namespace Roger.Testing
{
    public class Testing
    {    
        public static void Main()
        {
            Employee e = new Employee("www.xwang.org");
            e.Run();
            
            Console.Read();
        }
    }
    
    public struct Employee
    {
        public string Name;
        
        public Employee(string name)
        {
            this.Name = name;
        }
        
        public void Run()
        {
            Console.WriteLine("HI, I am {0}", Name);
        }
    }
}

编译IL

.method public hidebysig static void  Main() cil managed
{
  .entrypoint
  // Code size       26 (0x1a)
  .maxstack  2
  .locals init (valuetype Roger.Testing.Employee V_0)
  IL_0000:  ldloca.s   V_0
  IL_0002:  ldstr      "www.xwang.org"
  IL_0007:  call       instance void Roger.Testing.Employee::.ctor(string)
  IL_000c:  ldloca.s   V_0
  IL_000e:  call       instance void Roger.Testing.Employee::Run()
  IL_0013:  call       int32 [mscorlib]System.Console::Read()
  IL_0018:  pop
  IL_0019:  ret
} // end of method Testing::Main

大家可以看到

IL_0007: call instance void Roger.Testing.Employee::.Run()

实际上就是调用了开头所说的第一条. :).

和朋友讨论，说难道是每一次方法调用就会产生一次装箱而后调用方法吗？
正如开文所言，Struct的this指针会指向在内存中的方法，将Struct作为第一个参数传给方法，而后执行 (自己没有去内存布局里面看，也没有确认了 :))。

int, double等都属于值类型范畴，所以本身调用方式一致

再看看WINDBG 中方法表的组成

WinDBG Run 方法代码

方法表中包含了RUN方法的调用，进一步证实了一个Associated Boxed Type的存在.

[新闻]亚马逊EC2云计算计划支持Windows操作系统
博客园首页社区新闻频道小组博问网摘闪存