C#8.0本质论第九章--值类型

C#8.0本质论第九章–值类型

迄今为止所有类型分为两个类别，引用类型和值类型，区别在于拷贝策略。

值类型的变量直接包含数据，变量名称直接和值的存储位置关联。引用类型变量的值是对一个对象实例的引用。

引用(reference)是地址，解引用是从地址获取资源。（取自299页脚注）

9.1结构

9.1.1初始化结构

除了属性和字段，结构还可以包含方法和构造函数，但不可以包含用户自定义的默认（无参）构造函数。C#编译器自动生成默认构造函数将所有字段初始化为默认值。为了确保局部值类型变量被构造函数完整初始化，结构中的每个构造函数都必须初始化结构的所有字段，否则将发生编译时错误。C#不允许在结构声明中初始化字段。

为引用类型使用new操作符，“运行时”会在托管堆上创建对象的新实例，将所有字段初始化为默认值，再调用构造函数，将对实例的引用以this的形式传递。

值类型使用new操作符，“运行时”会在临时存储池中创建对象的新实例，将所有字段初始化为默认值，再调用构造函数，将临时存储位置作为ref变量以this的形式传递。

C++中struct和class区别在于默认的访问性是公共还是私有，两者在C#中的区别则大得多，在于类型的实例时以值还是引用的形式拷贝。

9.1.2值类型的继承和接口

所有值类型都隐式密封。此外，除枚举之外的所有值类型都派生自System.ValueType。

9.2装箱

装箱(boxing)，从值类型的变量转换为引用类型会涉及以下几个步骤：

1.首先在堆上分配内存。它将用于存放值类型的数据以及少许额外开销。

2.接着发生一次内存拷贝，当前存储位置的值类型数据拷贝到堆上分配好的位置。

3.最后，转换结果是对堆上的新存储位置的引用。

相反的过程称为拆箱(unboxing)

必须先拆箱为基础类型

// ...
int number;
object thing;
double bigNumber;
 
number = 42;
thing = number;
// ERROR: InvalidCastException
// bigNumber = (double)thing;
bigNumber = (double)(int)thing;
// ...

容易忽视的装箱问题

interface IAngle
{
    void MoveTo(int degrees, int minutes, int seconds);
}
 
struct Angle : IAngle
{
    // ...
    // NOTE:  This makes Angle mutable, against the general
    //        guideline
    public void MoveTo(int degrees, int minutes, int seconds)
    {
        _Degrees = degrees;
        _Minutes = minutes;
        _Seconds = seconds;
    }
    // ...
}
public class Program
{
    public static void Main()
    {
        Angle angle = new(25, 58, 23);
        // Example 1: Simple box operation
        object objectAngle = angle;  // Box
        Console.Write(((Angle)objectAngle).Degrees);
 
        // Example 2: Unbox, modify unboxed value,
        //            and discard value
        ((Angle)objectAngle).MoveTo(26, 58, 23);
        Console.Write(", " + ((Angle)objectAngle).Degrees);
 
        // Example 3: Box, modify boxed value,
        //            and discard reference to box
        ((IAngle)angle).MoveTo(26, 58, 23);
        Console.Write(", " + ((Angle)angle).Degrees);
 
        // Example 4: Modify boxed value directly
        ((IAngle)objectAngle).MoveTo(26, 58, 23);
        Console.WriteLine(", " + ((Angle)objectAngle).Degrees);
    }
}

一般不会这样写，所以很少遇到这样的问题，但还是应该避免可变值类型。

9.3枚举

枚举总是具有一个基础类型，可以是除char之外的任意整型，默认是int，可用继承语法指定其他类型，但并没有真正建立继承关系，所有枚举的基类都是System.Enum，后者从System.ValueType派生。

值能转换成基础类型，就能转换成枚举类型。该设计的优点在于可在未来的API版本中为枚举添加新值，同时不破坏早期版本，允许在运行时分配未知的值。在枚举中部插入枚举值会使其后的所有枚举值发生顺移。

9.3.1枚举之间的类型兼容性

9.3.2在枚举和字符串之间转换

枚举的一个好处是ToString()方法会输出枚举值标识符。

9.3.3枚举作为标志使用

很多时候不希望枚举值独一无二，还希望可以对其进行组合表示复合值。

如决定用位标志枚举，枚举的声明应该用FlagsAttribute来标记。

[Flags]
public enum FileAttributes
{
    None = 0,                       // 000000000000000
    ReadOnly = 1 << 0,              // 000000000000001
    Hidden = 1 << 1,                // 000000000000010
    System = 1 << 2,                // 000000000000100
    Directory = 1 << 4,             // 000000000010000
    Archive = 1 << 5,               // 000000000100000
    Device = 1 << 6,                // 000000001000000
    Normal = 1 << 7,                // 000000010000000
    Temporary = 1 << 8,             // 000000100000000
    SparseFile = 1 << 9,            // 000001000000000
    ReparsePoint = 1 << 10,         // 000010000000000
    Compressed = 1 << 11,           // 000100000000000
    Offline = 1 << 12,              // 001000000000000
    NotContentIndexed = 1 << 13,    // 010000000000000
    Encrypted = 1 << 14,            // 100000000000000
}

public class Program
{
    public static void Main()
    {
        string fileName = @"enumtest.txt";
            System.IO.FileInfo file = new(fileName);

        	//按位与
            file.Attributes = FileAttributes.Hidden |
                FileAttributes.ReadOnly;
 
            Console.WriteLine($"{file.Attributes} = {(int)file.Attributes}");
 
            // Only the ReadOnly attribute works on Linux
            // (The Hidden attribute does not work on Linux)
            if (!System.Runtime.InteropServices.RuntimeInformation.IsOSPlatform(System.Runtime.InteropServices.OSPlatform.Linux))
            {
                // Added in C# 4.0/Microsoft .NET Framework  4.0
                if (!file.Attributes.HasFlag(FileAttributes.Hidden))
                {
                    throw new Exception("File is not hidden.");
                }
            }
 
            if ((file.Attributes & FileAttributes.ReadOnly) !=
            FileAttributes.ReadOnly)
            {
                throw new Exception("File is not read-only.");
            }
        // ...
    }
}

一个好习惯是在标志枚举中包含值为0的None成员，因为默认就是0。避免最后一个枚举值对应像Maximum这样的东西，有可能被解释成有效枚举值。检查枚举是否包含某个值，请使用System.Enum.IsDefined()方法。

[Flags]
enum DistributedChannel
{
    None = 0,
    Transacted = 1,
    Queued = 2,
    Encrypted = 4,
    Persisted = 16,
    FaultTolerant =
        Transacted | Queued | Persisted
}