值类型(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# 语言规范的以下部分: