老外畅想C# 5.0这个可以有

C# 5.0 - not quite there yet!
老外大胆的YY了一下，感觉挺有意思转发过来。
回顾C#发展的历史，C#1.0模仿了Java，并保留了C/C++的一些特性如struct，新学者很容易上手；
C#2.0加入了泛型，匿名方法,yield关键字（为啥VB.NET到现在还没有yield?)；
C#3.0加入了一堆语法糖，lambda,linq的加入，让C#变得更加优雅和灵活；
C#4.0增加了动态语言的特性，另外加入的TPL(并行开发库)，PLinq等降低现存并发模型的复杂性也是相当的给力。
C#5.0???? 还会有什么奇思妙想？

1. in 和 between 操作符

C# code?

1 2 3

if (x in (1, 2, 3))  if (x in 1:5) if (x between(1,5))

- 学python的，更加简洁自然的表达式。

2. 数据结构的增强
(1) 一些BCL(base class library)的Collection类型都变成泛型集合
    比如：ControlCollection, XmlAttributeCollection, SqlErrorCollection, StringCollection
    变成：Collection<Control>, Collection<XmlAttribute>，Collection<SqlError> 等
    这使得遍历这种集合的时候，可以直接用 foreach(var x in ...) 目前虽然实现了迭代，但需要类型声明
(2) Tuple类型的自动装箱，拆箱——看上去就像返回多值一样。
 

C# code?

1 2 3 4 5 6 7 8 9

public Tuple<string, int, double> ReturnMyTuple()   {      return "Hello World!", 42, 4.2;   }      // elsewhere: item1 is a string, item2 is an int, item3 is a double.    var item1, item2, item3 = ReturnMyTuple();

(3) yield foreach (详见后面的嵌套迭代子)

3. switch 语法增强
(1) 智能推测case表达式：比如当switch变量是integer时，允许list，range，甚至是表达式

C# code?

1 2 3 4 5 6 7 8 9 10 11 12 13 14

switch (anInt)   {          case 1, 2:               Console.WriteLine("1 or 2");              break;          case 3..9:              Console.WriteLine("3 to 9");              break;          case >= 10:              Console.WriteLine("10 or higher");              break;          default:              ...   }

(2) 支持更多的类型，同时支持case中使用list
 

C# code?

1 2 3 4 5 6 7 8 9 10 11

switch (aString)   {          case "one", "two":              Console.WriteLine("1 or 2");              break;          case "three":              Console.WriteLine("3");              break;          default:              ...   }

(3) 允许在switch语句块中，省略对象访问成员(类似VB.NET的With...End With)

C# code?

1 2 3 4 5 6 7 8 9 10

switch (aString)      {          case .IsNullOrEmpty():              ...          case .Length > 100:              ...          case .Contains("foo"):              ...       }

4. Null 安全
(1) 不可为空操作符

C# code?

1 2 3 4

Void DoX(MyClass! obj) { … } // The following would make the compiler say:  // "Cannot convert string to string!, an explicit conversion exists string! nonNullable = someFunctionThatReturnsAString();

(2) 返回值不可为空的代理，并支持编译检查

C# code?

1	DelegateType! DelegateVar;

(3) "?."类成员Null安全的操作符: 你可以省掉大量的非空判断

C# code?

1 2 3 4 5 6 7 8 9 10

// Instead of doing: var obj = Foo();  Bar value = null;  if(obj.Bar != null && obj.Bar.Something != null)  {    value = obj.Bar.Something.DoSomething();  }  //You can do this with Groovy's null safe member operator ?. var obj = Foo();  var value = obj?.Bar?.Something?.DoSomething();

(4) "???" 空对象链判断结合操作符:从顶级对象判断是否为null
    就像 ?(a.B.C) 如果a==null则返回null

C# code?

1 2 3

MyClass value = null;  int something = value.x.y ??? 0; //something is now 0

(5) IfNull 和 IfNotNull 关键字，使得非空短路判断更加紧凑

C# code?

1 2 3 4

// instead of if (a != null && a.SomeProperty != null  && a.SomeProperty.SomeField != null).  // do this: IfNotNull(a.SomeProperty.SomeField)

5. 更强大的泛型约束
(1) 算法类型的约束？(这个没看懂...难道说是T必须都是数值类型？)

C# code?

1 2 3

public T Foo<T>(T blah) where T : number {    return blah * blah;  }

(2) 枚举类型的约束(目前只支持约束到struct)

C# code?

1	public void DoSomething<T>(T enum) where T : System.Enum { ... }

(3) 操作符约束，即约束T必须都重载了指定的操作符

C# code?

1	public static int Sum<T>(IEnumerable<T> seq) where T : operator(T=T+T){ .. }

(4) 带参数构造方法约束

C# code?

1	where new(int, string)

(5) 约束可以调用某个静态方法？(这个感觉不靠谱，不如允许接口里定义static方法)

C# code?

1 2 3 4

public T Create<T>() where T : static Create()  {       return T.Create();  }

(6) 可以约束代理
(7) 可以区别class还是interface

C# code?

1 2 3 4

Derive from T: class Foo<T> : T where T : class  Constraint for interfaces: class Foo<T> where T : interface

6. 自动属性的增强
(1) 初始值

C# code?

1	public string Name { get; set; } = "some value";

(2) readonly声明：只能在构造方法中初始化

C# code?

1	public int SomeValue { get; private readonly set; }

7. Dynamic的扩展
(1) 更像javascript，使得不用反射就能获得后期绑定的特性

C# code?

1 2 3 4 5 6 7 8 9 10 11 12 13 14

Currently, this would take: var obj = new Foo();  object temp = obj             .GetType()             .GetProperty(aVariable)             .GetValue(obj, null);     int value = (int)temp                        .GetType()              .GetMethod("Method")              .Invoke(temp, null);  What we want: dynamic obj = new Foo();  int value = obj[aVariable].Method();

(2) 匿名类的属性是只读的，除非通过反射才能修改
希望能像下面：

C# code?

1 2 3 4 5 6 7 8 9

var obj = new dynamic  {    Foo = 1,     Bar = "string"  };     obj.Foo = 2;  obj.NewProperty = Something();  obj["Bar"] = "a new value";

8. 不可变类型
现在只有一个办法封装一个不可变属性(这个不可变还指对属性的公开类成员也不可修改)
比如：使用 ReadOnlyCollection<T> 或者自己包装 ICollection<T> 或者使用 Tuple。
就像 Nullable<T>(?) 一样声明 Immutable<T>(#) 声明属性是不可修改。

C# code?

1 2 3 4 5 6 7 8 9 10 11 12 13 14

class Foo  {    public int ID { get; set; }    public string Name { get; set; }  }    ..     private Foo# _member;     public Foo# Something  {    get   {  return _member; }  }

注意：Foo类型的公开成员ID和Name是可以Set的，但Foo#声明时，就不可以对ID，Name进行修改，这是最终目的。

9. 对于递归的嵌套迭代子
更加简洁有效的递归迭代

C# code?

1 2 3 4 5 6 7 8 9 10 11 12 13

public override IEnumerable<int> Foo()  {    yield return 1;    yield return 2;    foreach(var i in base.Foo()) yield i;  }  //allowing me to write: public override IEnumerable<int> Foo()  {    yield return 1;    yield return 2;    yield foreach base.Foo();  }

* 这里原文直接用 yield base.Foo(); 后面回复有人指出有歧义，我也觉得用yield foreach好理解

10. 特性的增强
(1) lambda表达式可用于特性的参数
(2) 支持泛型的特性
(3) Make attributes first class citizens by allowing any type of parameter type.
    (T___T 这真没看懂)

C# code?

1 2	[SomeCoolAttribute(s=>s.Foo)]  public string MyProp { get; set; }

C# code?

1	11. Enum的扩展

(1) 增加  ToDictionary<Tk,Tv> 和 ToList 扩展方法
(2) 类型化的枚举 (不靠谱，毕竟Enum是ValueType的)

C# code?

1 2 3 4 5

Enum<String>  Options {      Option1 = "xxx"      Option2 = "yyy"  }

12. Property Change Notification
把 INotifyPropertyChanged 接口实现作成语法糖了？

C# code?

1	public Notifyable<int> Foo { get; set; }

13. 静态方法
(1) 静态的扩展方法 (目前的扩展方法，作用于对象实例上)
(2) 静态的抽象或者虚方法

14. Exception grouping
允许分组捕获异常避免重复的逻辑处理

C# code?

1 2 3 4 5 6 7 8

try  {  }  catch (ArgumentOutOfRangeException)  catch (ArgumentNullException)  {     // Catch a ArgumentOutOfRangeException or a ArgumentNullException  }

15. CsharpRepl
允许C#编译器使用一个默认的类，入口主方法以及默认的命名空间

C# code?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

// Instead of: using System;     class Program  {      static void Main(string[] args)      {          Console.WriteLine(fact(10));          Console.ReadLine();      }         static int fact(int n)      {          if (n == 0)              return 1;          else              return n * fact(n - 1);      }  }     // Use this: static int fact(int n)  {      if (n == 0)          return 1;      else          return n * fact(n - 1);  }     Console.WriteLine(fact(10));  Console.ReadLine();

16. 事件
使用一个 Fire 关键字来触发事件，Fire关键字的作用是只当事件有订阅者时才真正调用。
   

C# code?

1 2 3 4 5 6 7 8

// Instead of:     // copy ref to delegate for thread safety      var evt = this.ApplicationTextUpdated;      if (evt != null)          evt(this, new EventArgs<string>(applicationText));         // do this     Fire(this.ApplicationTextUpdated(this, new EventArgs<string>(applicationText));

17. OOP的增强
(1) 鸭子类型
(2) Tuple MustDispose
(3) Binding Contract - 指定源属性和对象属性。(不知道是不是指 ":=:")
(4) Typedef 预定义 (C++有)
(5) methodof/propertyof
(6) Roles -- 或者叫做"traits"而它不是指多重继承
    比如：一个人他可能是“演员”也可能是“爸爸”在不同场景下有不同的角色
(7) make void first class (不懂T_T)
(8) 方法返回匿名类的强类型支持。。。

http://bbs.csdn.net/topics/370033789