値型 (C# リファレンス)Value types (C# reference)

C# 型の 2 つの主なカテゴリは、値型参照型です。Value types and reference types are the two main categories of C# types. 値型の変数には、その型のインスタンスが含まれます。A variable of a value type contains an instance of the type. これは、その型のインスタンスへの参照を含む参照型の変数とは異なります。This differs from a variable of a reference type, which contains a reference to an instance of the type. 既定では、代入時、引数がメソッドに渡され、メソッドの結果が返され、変数値がコピーされます。By default, on assignment, passing an argument to a method, and returning a method result, variable values are copied. 値型の変数の場合、対応する型のインスタンスがコピーされます。In the case of value-type variables, the corresponding type instances are copied. 次の例は、その動作を示します。The following example demonstrates that behavior:

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)

前の例のとおり、値型変数に対する操作は、その変数に格納されている値型のインスタンスのみに影響します。As the preceding example shows, operations on a value-type variable affect only that instance of the value type, stored in the variable.

値型に参照型のデータ メンバーが含まれている場合は、値型のインスタンスがコピーされるとき、その参照型のインスタンスへの参照のみがコピーされます。If a value type contains a data member of a reference type, only the reference to the instance of the reference type is copied when a value-type instance is copied. コピーと元の値型のインスタンスの両方が、同じ参照型のインスタンスにアクセスできます。Both the copy and original value-type instance have access to the same reference-type instance. 次の例は、その動作を示します。The following example demonstrates that behavior:

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]
    }
}

注意

ご自分のコードをエラーがより発生しにくく、より堅牢にするには、変更できない値型を定義して使用します。To make your code less error-prone and more robust, define and use immutable value types. この記事では、デモンストレーションの目的でのみ、変更可能な値型を使用します。This article uses mutable value types only for demonstration purposes.

値型の種類Kinds of value types

値型には、次の 2 種類のいずれかを指定できます。A value type can be one of the two following kinds:

  • データと関連機能をカプセル化する構造体の型a structure type, which encapsulates data and related functionality
  • 名前付き定数のセットによって定義され、選択肢または選択肢の組み合わせを表す、列挙型an enumeration type, which is defined by a set of named constants and represents a choice or a combination of choices

null 許容値型 T? は、基になる値型のすべての値 T と、追加の null 値を表します。A nullable value type T? represents all values of its underlying value type T and an additional null value. 値型の変数には、Null 許容値型でない限り null を割り当てることはできません。You cannot assign null to a variable of a value type, unless it's a nullable value type.

組み込みの値型Built-in value types

C# には、単純型とも呼ばれる次の組み込み値型が用意されています。C# provides the following built-in value types, also known as simple types:

すべての単純型は構造体型で、それらには他の構造体型とは異なる特定の追加操作があります。All simple types are structure types and differ from other structure types in that they permit certain additional operations:

  • 単純型の値の指定には、リテラルを使用できます。You can use literals to provide a value of a simple type. たとえば、'A'char 型のリテラルで、2001int 型のリテラルです。For example, 'A' is a literal of the type char and 2001 is a literal of the type int.

  • 単純型の定数は、const キーワードを使用して宣言できます。You can declare constants of the simple types with the const keyword. 他の構造体型の定数は使用できません。It's not possible to have constants of other structure types.

  • オペランドがすべて単純型の定数の定数式は、コンパイル時に評価されます。Constant expressions, whose operands are all constants of the simple types, are evaluated at compile time.

C# は C# 7.0 以降で、値のタプルをサポートしています。Beginning with C# 7.0, C# supports value tuples. 値のタプルは単純型ではない値型です。A value tuple is a value type, but not a simple type.

C# 言語仕様C# language specification

詳細については、「C# 言語仕様」の次のセクションを参照してください。For more information, see the following sections of the C# language specification:

関連項目See also