值类型(C# 参考)

值类型引用类型是 C# 类型的两个主要类别。 值类型的变量包含类型的实例。 它不同于引用类型的变量,后者包含对类型实例的引用。 默认情况下,在分配中,通过将实参传递给方法并返回方法结果来复制变量值。 对于值类型变量,会复制相应的类型实例。 以下示例演示了该行为:

using System;

public struct MutablePoint
{
    public int X;
    public int Y;

    public MutablePoint(int x, int y) => (X, Y) = (x, y);

    public override string ToString() => $"({X}, {Y})";
}

public class Program
{
    public static void Main()
    {
        var p1 = new MutablePoint(1, 2);
        var p2 = p1;
        p2.Y = 200;
        Console.WriteLine($"{nameof(p1)} after {nameof(p2)} is modified: {p1}");
        Console.WriteLine($"{nameof(p2)}: {p2}");

        MutateAndDisplay(p2);
        Console.WriteLine($"{nameof(p2)} after passing to a method: {p2}");
    }

    private static void MutateAndDisplay(MutablePoint p)
    {
        p.X = 100;
        Console.WriteLine($"Point mutated in a method: {p}");
    }
}
// Expected output:
// p1 after p2 is modified: (1, 2)
// p2: (1, 200)
// Point mutated in a method: (100, 200)
// p2 after passing to a method: (1, 200)

如前面的示例所示,对值类型变量的操作只影响存储在变量中的值类型实例。

如果值类型包含引用类型的数据成员,则在复制值类型实例时,只会复制对引用类型实例的引用。 副本和原始值类型实例都具有对同一引用类型实例的访问权限。 以下示例演示了该行为:

using System;
using System.Collections.Generic;

public struct TaggedInteger
{
    public int Number;
    private List<string> tags;

    public TaggedInteger(int n)
    {
        Number = n;
        tags = new List<string>();
    }

    public void AddTag(string tag) => tags.Add(tag);

    public override string ToString() => $"{Number} [{string.Join(", ", tags)}]";
}

public class Program
{
    public static void Main()
    {
        var n1 = new TaggedInteger(0);
        n1.AddTag("A");
        Console.WriteLine(n1);  // output: 0 [A]

        var n2 = n1;
        n2.Number = 7;
        n2.AddTag("B");

        Console.WriteLine(n1);  // output: 0 [A, B]
        Console.WriteLine(n2);  // output: 7 [A, B]
    }
}

注意

若要使代码更不易出错、更可靠,请定义并使用不可变的值类型。 本文仅为演示目的使用可变值类型。

值类型的种类以及类型约束

值类型可以是以下种类之一:

  • 结构类型,用于封装数据和相关功能
  • 枚举类型,由一组命名常数定义,表示一个选择或选择组合

可为 null 值类型T? 表示其基础值类型 T 的所有值及额外的 null 值。 不能将 null 分配给值类型的变量,除非它是可为 null 的值类型。

你可使用 struct 约束指定类型参数为不可为 null 的值类型。 结构类型和枚举类型都满足 struct 约束。 可在基类约束中使用 System.Enum(称为枚举约束),以指定类型参数为枚举类型。

内置值类型

C# 提供以下内置值类型,也称为“简单类型”

所有简单值都是结构类型,它们与其他结构类型的不同之处在于,它们允许特定的额外操作:

  • 可以使用文字为简单类型提供值。 例如,'A' 是类型 char 的文本,2001 是类型 int 的文本。

  • 可以使用 const 关键字声明简单类型的常数。 不能具有其他结构类型的常数。

  • 常数表达式的操作数都是简单类型的常数,在编译时进行评估。

值元组是值类型,而不是简单类型。

C# 语言规范

有关更多信息,请参阅 C# 语言规范的以下部分:

另请参阅