C#7.3 新增功能

系列目录    【已更新最新开发文章，点击查看详细】

C# 7.3 版本有两个主要主题。 第一个主题提供使安全代码的性能与不安全代码的性能同样好的功能。 第二个主题提供对现有功能的增量改进。 此外，在此版本中添加了新的编译器选项。

如下新增功能支持使安全代码得到更好的性能的主题：

• 无需固定便可访问固定的字段。
• 能够从新分配 ref 本地变量。
• 能够使用 stackalloc 数组上的初始值设定项。
• 能够对支持模式的任何类型使用 fixed 语句。
• 能够使用其余泛型约束。

对现有功能进行了如下加强：

• 能够使用元组类型测试 == 和 !=。
• 能够在多个位置使用表达式变量。
• 能够将属性附加到自动实现的属性的支持字段。
• 由 in 区分的参数的方法解析获得了改进。
• 重载解析的多义状况如今变得更少。

新的编译器选项为：

• -publicsign，用于启用程序集的开放源代码软件 (OSS) 签名。
• -pathmap用于提供源目录的映射。

 

01 启用更高效的安全代码

你应可以安全地编写性能与不安全代码同样好的 C# 代码。 安全代码可避免错误类，例如缓冲区溢出、杂散指针和其余内存访问错误。 这些新功能扩展了可验证安全代码的功能。努力使用安全结构编写更多代码。 这些功能使其更容易实现。

1.1 索引 fixed 字段不须要进行固定

定义一个结构体

unsafe struct S
{
    public fixed int myFixedField[10];
}

在早期版本的 C# 中，须要固定变量才能访问属于 myFixedField 的整数之一。 如今，如下代码进行编译，而不将变量 p 固定到单独的 fixed 语句中：

class C
{
    static S s = new S();

    unsafe public void M()
    {
        int p = s.myFixedField[5];
    }
}

变量 p 访问 myFixedField 中的一个元素。 无需声明单独的 int* 变量。 请注意，你仍然须要 unsafe 上下文。 在早期版本的 C# 中，须要声明第二个固定的指针：

class C
{
    static S s = new S();

    unsafe public void M()
    {
        fixed (int* ptr = s.myFixedField)
        {
            int p = ptr[5];
        }
    }
}

有关详细信息，请参阅有关 fixed 语句的文章。

1.2 可能会从新分配 ref 局部变量

如今，在对 ref 局部变量进行初始化后，可能会对其从新分配，以引用不一样的实例。 如下代码如今编译：

ref VeryLargeStruct refLocal = ref veryLargeStruct; // 初始化
refLocal = ref anotherVeryLargeStruct;              // 从新分配后，反射引用不一样的存储。

有关详细信息，请参阅有关 ref 返回和 ref 局部变量以及 foreach 的文章。

1.3 stackalloc 数组支持初始值设定项

当你对数组中的元素的值进行初始值设定时，你已可以指定该值：

var arr =  new int[3] {1, 2, 3};
var arr2 = new int[] {1, 2, 3};

如今，可向使用 stackalloc 进行声明的数组应用同一语法：

int* pArr = stackalloc int[3] {1, 2, 3};
int* pArr2 = stackalloc int[] {1, 2, 3};
Span<int> arr = stackalloc [] {1, 2, 3};

有关详细信息，请参阅stackalloc运算符一文。

1.4 更多类型支持 fixed 语句

fixed 语句支持有限的一组类型。 从 C# 7.3 开始，任何包含返回 ref T 或 ref readonly T的 GetPinnableReference() 方法的类型均有可能为 fixed。 添加此功能意味着 fixed 可与 System.Span<T> 和相关类型配合使用。

有关详细信息，请参阅语言参考中的 fixed 语句一文。

1.5 加强的泛型约束

如今，能够将类型 System.Enum 或 System.Delegate 指定为类型参数的基类约束。

如今也能够使用新的 unmanaged 约束来指定类型参数必须为“非托管类型” 。 “非托管类型” 不是引用类型，且在任何嵌套级别都不包含任何引用类型。

有关详细信息，请参阅有关 where 泛型约束和类型参数的约束的文章。

将这些约束添加到现有类型是不兼容的更改。 封闭式泛型类型可能再也不知足这些新约束的要求。

02 提高了现有功能

如下功能提供了对语言中的功能的改进。 这些功能提高了在编写 C# 时的效率。

2.1 元组支持 == 和 !=

C# 元组类型如今支持 == 和 !=。 有关详细信息，请参阅有关元组一文中的转换等式部分。

2.2 将特性添加到自动实现的属性的支持字段

如今支持此语法：

[field: SomeThingAboutFieldAttribute]
public int SomeProperty { get; set; }

属性 SomeThingAboutFieldAttribute 应用于编译器生成的 SomeProperty 的支持字段。 有关详细信息，请参阅 C# 编程指南中的属性。

2.3 in 方法重载解析决胜属性

在添加 in 参数修饰符时，这两个方法将致使多义性：

static void M(S arg);
static void M(in S arg);

如今，经过值（前面示例中的第一个）的重载比经过只读引用版本的重载更好。 若要使用只读引用参数调用版本，必须在调用方法前添加 in 修饰符。

有关详细信息，请参阅有关 in 参数修饰符的文章。

2.4 扩展初始值设定项中的表达式变量

已对在 C# 7.0 中添加的容许 out 变量声明的语法进行了扩展，以包含字段初始值设定项、属性初始值设定项、构造函数初始值设定项和查询子句。 它容许使用如如下示例中所示的代码：

public class B
{
   public B(int i, out int j)
   {
      j = i;
   }
}

public class D : B
{
   public D(int i) : base(i, out var j)
   {
      Console.WriteLine($"The value of 'j' is {j}");
   }
}

2.5 改进了重载候选项

在每一个版本中，对重载解析规则进行了更新，以解决多义方法调用具备“明显”选择的状况。此版本添加了三个新规则，以帮助编译器选取明显的选择：

1. 当方法组同时包含实例和静态成员时，若是方法在不含实例接收器或上下文的状况下被调用，则编译器将丢弃实例成员。 若是方法在含有实例接收器的状况下被调用，则编译器将丢弃静态成员。 在没有接收器时，编译器将仅添加静态上下文中的静态成员，不然，将同时添加静态成员和实例成员。 当接收器是不明确的实例或类型时，编译器将同时添加二者。 静态上下文（其中隐式 this 实例接收器没法使用）包含未定义 this 的成员的正文（例如，静态成员），以及不能使用 this 的位置（例如，字段初始值设定项和构造函数初始值设定项）。
2. 当一个方法组包含类型参数不知足其约束的某些泛型方法时，这些成员将从候选集中移除。
3. 对于方法组转换，返回类型与委托的返回类型不匹配的候选方法将从集中移除。

你将注意到此更改，由于当你肯定哪一个方法更好时，你将发现多义方法重载具备更少的编译器错误。

03 新的编译器选项

新的编译器选项支持 C# 程序的新版本和 DevOps 方案。

3.1 公共或开放源代码签名

-publicsign 编译器选项指示编译器使用公钥对程序集进行签名。 程序集被标记为已签名，但签名取自公钥。 此选项使你可以使用公钥在开放源代码项目中构建签名的程序集。

有关详细信息，请参阅 -publicsign 编译器选项一文。

3.2 pathmap

-pathmap 编译器选项指示编译器将生成环境中的源路径替换为映射的源路径。 -pathmap 选项控制由编译器编写入 PDB 文件或为 CallerFilePathAttribute 编写的源路径。

有关详细信息，请参阅 -pathmap 编译器选项一文。

 

系列目录    【已更新最新开发文章，点击查看详细】