标签：tps   lock   内容   接收   概念   静态   级别   动态类型   执行   

C#4.0

• 动态绑定
• 命名实参/可选参数
• 泛型协变和逆变
• 嵌入的互操作类型

动态绑定

C#4.0引入了一个新的关键字dynamic，用来表示动态类型。dynamic的出现让C#具有了弱语言类型的特性。

关于dynamic的主要规则：

• 几乎所有CLR类型都可以隐式转换为dynamic
• 所有dynamic类型的表达式都可以隐式转换为CLR类型
• 使用dynamic类型值得表达式通常会动态的求值
• 动态求值表达式的静态类型通常被视为dynamic

编译器对待dynamic的方式与普通的CLR类型不同。任何使用了动态值的表达式都会从根本上改变编译器的行为。编译器不会试图弄懂代码的确切含义，不会恰当的绑定各个成员的访问，不会执行重载决策。它只是通过解析源代码，找出要执行的操作的种类、名称、所设计的参数以及其他相关信息。编译器也不会发出(emit)IL来直接执行代码，而是使用所有必要的信息生成调用DLR的代码。剩下的工作将在执行时进行。

DLR（Dynamic Language Runtime），动态语言运行时，是所有动态语言和C#编译器用来动态执行代码的库。

DLR虽然以运行时为名，但与CLR不在同一个级别(它不涉及JIT编译、本地API奉送、GC等内容)。而是建立在大量.NET 2.0 和 .NET 3.5 的功能之上，特别是DynamicMethod和Expression类型。.NET4还扩展了表达式树的API，DLR可以使用它来表示更多的概念。

尽管DLR不直接操作本地代码，但在在某种程度上我们可以认为它做着与CLR类似的工作：正如CLR将IL转换为本地代码一样，DLR将用绑定器、调用点、元对象以及其他各种概念表示的代码转换为表达式树，然后将表达式树编译为IL，最终由CLR编译为本地代码。

不要混淆dynamic和var。用var声明局部变量只是一种简化语法，它要求编译器根据表达式推断出具体数据类型。var关键字只能在方法内部声明局部变量，而dynamic关键字可用于局部变量、字段和参数。表达式不能转型为var，但能转型为dynamic。必须显式初始化用var声明的变量，但无需初始化用dynamic声明的变量。

命名实参/可选参数

命名实参

named argument

有了命名实参，你将不再需要记住或查找形参在所调用方法的形参列表中的顺序。 每个实参的形参都可按形参名称进行指定。

SetName(firstName:"first",middleName:‘middle‘,LastName:‘last‘);

//可以按任意顺序设置实参
SetName(LastName:‘last‘,firstName:"first",middleName:‘middle‘);

可选参数

optional parameter

方法、构造函数、索引器或委托的定义可以指定其形参为必需还是可选。 任何调用都必须为所有必需的形参提供实参，但可以为可选的形参省略实参。

每个可选形参都有一个默认值作为其定义的一部分。 如果没有为该形参发送实参，则使用默认值。

可选参数意味着一些参数是可选的，调用者不必显式指定它们的值，但是必须给可选参数一个默认值。默认值必须为数字或字符串字面量、null、const常量、枚举成员和default(T)操作符。

可选参数必须出现在必需参数之后。

命名实参常常与可选参数同时出现。

public void ExampleMethod(int required, string optionalstr = "default string",
    int optionalint = 10)
{

}
//调用
anExample.ExampleMethod(3, optionalint: 4);

泛型协变和逆变

可变性是指以一种类型安全的方式，将一个对象作为另一个对象来使用。

可变性分为两种：

• 协变性(Covariance)：指返回类型的兼容性，用于向调用者返回某项操作的值，能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型。
• 逆变性(Contravariance)：指参数的兼容性，用于调用者向某项操作传入的值，指能够使用比原始指定的派生类型的派生程度更小（不太具体的，更抽象的）的类型。

可变性摘要：

• 在 .NET Framework 4 中，可变性参数仅限于泛型接口和泛型委托类型。
• 泛型接口或泛型委托类型可以同时具有协变和逆变类型参数。
• 可变性参数仅适用于引用类型；如果为可变性参数指定值类型，则该类型参数对于生成的构造类型是不变的。
• 可变性参数不适用于委托组合。

在泛型接口或委托的声明中，C#4使用out修饰符来指定类型参数的协变性，使用in修饰符来指定逆变性。声明完成后，就可以对相关的类型进行隐式转换了。

如果有一个泛型参数标记为out,则代表它是用来输出的，只能作为结果返回；而如果有一个泛型参数标记为in,则代表它是用来输入的，只能作为参数传入。

可变性的转换是引用转换：任何使用了协变和逆变的转换都是引用转换，这意味着转换之后将返回相同的引用。它不会创建新的对象，只是认为现有的引用与目标类型匹配。

我们熟知的Action和Func就分别使用了逆变跟协变。

//泛型参数具有逆变性
public delegate void Action(T obj);
public interface IComparer
{
    int Compare(T x, T y);
}

//泛型参数具有协变性
public delegate T Func();
public interface IEnumerable : IEnumerable
{
    new IEnumerator GetEnumerator();
}

//**************逆变性***************
//明明object不可以转换为string，为啥strComparer可以接收IComparer

嵌入的互操作类型

从 .NET Framework 4 开始，公共语言运行时支持将 COM 类型的类型信息直接嵌入到托管程序集中，而不要求托管程序集从互操作程序集中获取 COM 类型的类型信息。 由于嵌入式类型信息仅包含托管程序集实际使用的类型和成员，因此两个托管程序集可能具有相同 COM 类型的不同视图。 每个托管程序集都有不同的 Type 对象来表示其 COM 类型视图。 公共语言运行时支持接口、结构、枚举和委托等不同视图之间的类型等效性。

类型等效性意味着从一个托管程序集传递到另一个托管程序集的 COM 对象可以转换为接收程序集中适当的托管类型。

备注：类型等效性和嵌入式互操作类型简化了使用 COM 组件的应用程序和加载项的部署，因为无需与应用程序一起部署互操作程序集。 如果共享 COM 组件的开发人员希望较早版本的 .NET Framework 使用其组件，他们仍须创建主互操作程序集 (PIA)。

C#4.0

标签：tps   lock   内容   接收   概念   静态   级别   动态类型   执行   

原文地址：https://www.cnblogs.com/yu_xing/p/csharp4.html