[译]C# 7系列，Part 9: ref structs ref结构

原文：

背景

在之前的文章中，我解释了许多新的c#特性，每一个特性都是为了增强语言或者解决问题而引入的。具体来说，我解释了值类型和引用类型、按值传递参数、按引用传递参数、ref局部变量和ref返回结果以及in参数。这其中许多功能是为高性能场景设计的。

ref和in参数可以帮助避免复制值，从而减少内存分配。当你有分配在堆栈的局部变量作为方法的实际参数传递时，这么做是有效率的的，在这种情况下，所有的分配都在堆栈上；不需要堆分配。

对于高性能和原生开发场景，你可能希望“仅限堆栈”类型始终停留在执行堆栈上，因此对这种类型的对象的操作只能发生在堆栈上，在作用域中公开给托管堆的任何对这种类型的外部引用都应该被禁止。

ref结构

ref struct是仅在堆栈上的值类型：

• 表现一个顺序结构的布局；（译注：可以理解为连续内存）
• 只能在堆栈上使用。即用作方法参数和局部变量；
• 不能是类或正常结构的静态或实例成员；
• 不能是异步方法或lambda表达式的方法参数；
• 不能动态绑定、装箱、拆箱、包装或转换。

ref struct也被称为嵌入式引用。

示例

下面的代码定义了一个ref结构。

public ref struct myrefstruct
{
    public int myintvalue1;
    public int myintvalue2;

    [editorbrowsable(editorbrowsablestate.never)]
    public override bool equals(object obj) => throw new notsupportedexception();

    [editorbrowsable(editorbrowsablestate.never)]
    public override int gethashcode() => throw new notsupportedexception();

    [editorbrowsable(editorbrowsablestate.never)]
    public override string tostring() => throw new notsupportedexception();
}

请注意，我已经覆盖了从system.object继承的equals、gethashcode和tostring方法。因为ref结构不允许装箱，所以你将无法调用这两个（译注：原文两个，应该是三个）基方法。

你可以在方法参数或局部变量中使用myrefstruct作为常规值类型，但不能在其他地方使用它。

 你也可以创建只读ref结构，只需将readonly指令添加到ref结构声明中即可。

public readonly ref struct myrefstruct
{
    public readonly int myintvalue1;
    public readonly int myintvalue2;

    public myrefstruct(int value1, int value2)
    {
        this.myintvalue1 = value1;
        this.myintvalue2 = value2;
    }

    [editorbrowsable(editorbrowsablestate.never)]
    public override bool equals(object obj) => throw new notsupportedexception();

    [editorbrowsable(editorbrowsablestate.never)]
    public override int gethashcode() => throw new notsupportedexception();

    [editorbrowsable(editorbrowsablestate.never)]
    public override string tostring() => throw new notsupportedexception();
}

与常规只读结构一样，需要将所有实例字段/属性设置为只读。

元数据

ref结构在c# 7.2中可用。此功能需要编译器级别更改才能工作，以便与以前编译器生成的程序集向后兼容。编译器会为ref结构声明发出[obsolete]和[isbyreflike]特性。

如果任何旧的程序集引用了包含ref结构类型的库，[obsolete]属性将影响并阻止代码编译。

下面是为上面的ref结构声明生成的il。

.class public sequential ansi sealed beforefieldinit demo.myrefstruct
extends [system.runtime]system.valuetype
{
.custom instance void [system.runtime]system.runtime.compilerservices.isbyreflikeattribute::.ctor() = (
        01 00 00 00
    )
.custom instance void [system.runtime]system.obsoleteattribute::.ctor(string, bool) = (
        01 00 52 54 79 70 65 73 20 77 69 74 68 20 65 6d
        62 65 64 64 65 64 20 72 65 66 65 72 65 6e 63 65
        73 20 61 72 65 20 6e 6f 74 20 73 75 70 70 6f 72
        74 65 64 20 69 6e 20 74 68 69 73 20 76 65 72 73
        69 6f 6e 20 6f 66 20 79 6f 75 72 20 63 6f 6d 70
        69 6c 65 72 2e 01 00 00
    )
.custom instance void [system.runtime]system.runtime.compilerservices.isreadonlyattribute::.ctor() = (
        01 00 00 00
    )
// fields
.field public initonly int32 myintvalue1
.field public initonly int32 myintvalue2
// methods
.method public hidebysig specialname rtspecialname
instance void .ctor (
int32 value1,
int32 value2
        ) cil managed
    {
// method begins at rva 0x2090
// code size 16 (0x10)
.maxstack 8
// (no c# code)
        il_0000: nop
// this.myintvalue1 = value1;
        il_0001: ldarg.0
        il_0002: ldarg.1
        il_0003: stfld int32 demo.myrefstruct::myintvalue1
// this.myintvalue2 = value2;
        il_0008: ldarg.0
        il_0009: ldarg.2
        il_000a: stfld int32 demo.myrefstruct::myintvalue2
// (no c# code)
        il_000f: ret
    } // end of method myrefstruct::.ctor
.method public hidebysig virtual
instance bool equals (
object obj
        ) cil managed
    {
// method begins at rva 0x20a1
// code size 6 (0x6)
.maxstack 8
// throw new notsupportedexception();
        il_0000: newobj instance void [system.runtime]system.notsupportedexception::.ctor()
// (no c# code)
        il_0005: throw
    } // end of method myrefstruct::equals
.method public hidebysig virtual
instance int32 gethashcode () cil managed
    {
.custom instance void [system.runtime]system.componentmodel.editorbrowsableattribute::.ctor(valuetype [system.runtime]system.componentmodel.editorbrowsablestate) = (
            01 00 01 00 00 00 00 00
        )
// method begins at rva 0x20a8
// code size 6 (0x6)
.maxstack 8
// throw new notsupportedexception();
        il_0000: newobj instance void [system.runtime]system.notsupportedexception::.ctor()
// (no c# code)
        il_0005: throw
    } // end of method myrefstruct::gethashcode
.method public hidebysig virtual
instance string tostring () cil managed
    {
.custom instance void [system.runtime]system.componentmodel.editorbrowsableattribute::.ctor(valuetype [system.runtime]system.componentmodel.editorbrowsablestate) = (
            01 00 01 00 00 00 00 00
        )
// method begins at rva 0x20af
// code size 6 (0x6)
.maxstack 8
// throw new notsupportedexception();
        il_0000: newobj instance void [system.runtime]system.notsupportedexception::.ctor()
// (no c# code)
        il_0005: throw
    } // end of method myrefstruct::tostring
} // end of class demo.myrefstruct

span<t>和memory<t>

有了类ref类型的支持，现在就可以为所有连续内存访问提供统一的类型。system.span<t>表示内存的连续空间，可用于执行堆栈、托管堆和非托管堆的通用内存操作。

下面是readonlyspan<t>的一个简单用法，用于去掉字符串的开始的空格。

internal class program
{
    private static void main(string[] args)
    {
        string text = "  i am using c# 7.2 span<t>!";
        console.writeline(trimstart(text).toarray());
    }

    private static readonlyspan<char> trimstart(readonlyspan<char> text)
    {
        if (text.isempty)
        {
            return text;
        }

        int i = 0;
        char c;

        while ((c = text[i]) == ' ')
        {
             i++;
        }

        return text.slice(i);
    }
}

结论

c# 7.2为高性能场景添加了语言特性，并为低级别的原生开发和互操作性场景提供了效率。ref结构还可以与stackalloc、span<t>、fixed buffers和ranges(c# 7.3)一起用于生产力。

注意：要使用这个特性，需要visual studio 2017 15.5或更高版本。

 

系列文章：

• [译]c# 7系列，part 1: value tuples 值元组
• [译]c# 7系列，part 2: async main 异步main方法
• [译]c# 7系列，part 3: default literals 默认文本表达式
• [译]c# 7系列，part 4: discards 弃元
• [译]c# 7系列，part 5: private protected 访问修饰符
• [译]c# 7系列，part 6: read-only structs 只读结构
• [译]c# 7系列，part 7: ref returns ref返回结果
• [译]c# 7系列，part 8: in parameters in参数