Typy hodnot (Referenční dokumentace jazyka C#)

  • Článek
  • 2 min ke čtení

Typy hodnot a odkazové typy jsou dvě hlavní kategorie typů C#. Proměnná typu hodnoty obsahuje instanci typu. To se liší od proměnné typu odkazu, který obsahuje odkaz na instanci typu. Ve výchozím nastavení, při přiřazení, předávání argumentu metodě a vrácení výsledku metody, jsou zkopírovány hodnoty proměnných. V případě proměnných typu hodnoty jsou zkopírovány odpovídající instance typu. Následující příklad ukazuje toto chování:

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)

Jak ukazuje předchozí příklad, operace s proměnnou typu hodnoty ovlivňují pouze tuto instanci typu hodnoty, která je uložena v proměnné.

Pokud typ hodnoty obsahuje datový člen typu odkazu, je při zkopírování instance typu hodnota zkopírován pouze odkaz na instanci typu odkazu. Kopie i původní instance typu hodnoty mají přístup ke stejné instanci typu odkazu. Následující příklad ukazuje toto chování:

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

Poznámka

Aby byl kód méně odolnější a robustnější, definujte a používejte neměnné typy hodnot. Tento článek používá proměnlivé typy hodnot pouze pro demonstrační účely.

Druhy hodnotových typů a omezení typů

Typ hodnoty může být jeden z těchto dvou typů:

  • typ struktury, který zapouzdřuje data a související funkce
  • typ výčtu, který je definován sadou pojmenovaných konstant a představuje volbu nebo kombinaci voleb

Typ hodnoty s možnou hodnotou null T? reprezentuje všechny hodnoty svého základního typu hodnoty T a další hodnotu null . Nemůžete přiřadit null proměnné typu hodnoty, pokud se nejedná o typ hodnoty s možnou hodnotou null.

struct Omezení můžete použít k určení, že parametr typu je typ hodnoty, která není null. Omezení jsou typu struktura i výčet struct . Počínaje jazykem C# 7,3 můžete použít System.Enum omezení základní třídy (označované jako omezení výčtu) a určit tak, že parametr typu je výčtový typ.

Předdefinované typy hodnot

Jazyk C# poskytuje následující předdefinované typy hodnot, označované také jako jednoduché typy:

Všechny jednoduché typy jsou struktury typy a liší se od jiných typů struktury v tom, že umožňují určité další operace:

  • Můžete použít literály k poskytnutí hodnoty jednoduchého typu. Například 'A' je literál typu, který char 2001 je literálem typu int .

  • Můžete deklarovat konstanty jednoduchých typů pomocí klíčového slova const . Není možné mít konstanty jiných typů struktury.

  • Konstantní výrazy, jejichž operandy jsou všechny konstanty jednoduchých typů, jsou vyhodnocovány v době kompilace.

Počínaje jazykem C# 7,0 podporuje C# n-tice hodnot. Hodnota řazené kolekce členů je hodnotový typ, ale ne jednoduchý typ.

specifikace jazyka C#

Další informace naleznete v následujících oddílech specifikace jazyka C#:

Viz také