使用C#9中records作为强类型ID的实例教程

使用C#9中records作为强类型ID可以让程序变得更加健壮和安全，让我们来一步步学习如何使用它。

什么是records？

records是C#9的新特性，它是值类型，用来表示不可变的数据对象，其简洁的语法使得代码更加易读、易写。

在records类型中，可以定义只读属性、可写属性和自动属性，但是不允许定义私有控制器，因为records类型是不可变的。

下面我们来看一下如何使用records类型定义一个强类型的ID，同时保证ID的类型安全。

定义强类型ID

首先我们需要定义一个唯一的、只有在相同类型下才能比较的ID类型。我们可以使用records类型来定义这个ID类型。

public record MyId(int Value);

在这里，我们定义了一个记录类型“MyId”，其中包含一个类型为整型的“Value”属性。我们可以根据具体的需求对属性进行扩展。

使用强类型ID

定义了ID类型后，我们可以开始使用它来实现类型安全。

var id1 = new MyId(1);
var id2 = new MyId(2);

if (id1 == id2)
{
    Console.WriteLine("id1 == id2");
}
else
{
    Console.WriteLine("id1 != id2");
}

在这里，我们创建了两个MyId实例，然后使用“==”运算符进行比较。由于MyId类型是一个records类型，因此只有在两个对象的每个属性都相等的情况下它们才相等。

通过扩展类型以满足需求

我们可以通过扩展records类型来满足具体的需求。

public record PersonName(string FirstName, string LastName)
{
    public override string ToString()
    {
        return $"{LastName}, {FirstName}";
    }
}

在这里我们扩展了records类型“PersonName”，添加了一个ToString方法，将记录类型转换为姓氏和名字的格式。

我们可以使用扩展后的类型定义一个人的名字。

var personName = new PersonName("John", "Doe");
Console.WriteLine(personName);  // 输出 "Doe, John"

在上面的例子中，我们将PersonName记录转换为字符串格式，并输出它。

总结

使用records类型可以使我们定义类型更加清晰，更加强类型。相比于使用常规类型，records类型在类型安全和可读性方面都有较大的优势。

在实践中，我们可以根据需求扩展records类型，以满足具体的需求。