Zabalení a rozbalení (Průvodce programováním v C#)
Boxing je proces převodu typu hodnoty na typ object nebo na jakýkoli typ rozhraní implementovaný tímto typem hodnoty. Když modul CLR (Common Language Runtime) zabalí hodnotu do System.Object instance a uloží ji do spravované haldy. Rozbalení extrahuje typ hodnoty z objektu. Boxing je implicitní; unboxing is explicit. Koncept boxování a rozbalování je základem sjednoceného zobrazení systému typů jazyka C#, ve kterém může být hodnota libovolného typu považována za objekt.
V následujícím příkladu je celočíselná proměnná i boxována a přiřazena k objektu o.
int i = 123;
// The following line boxes i.
object o = i;
Objekt o lze pak rozbalit a přiřadit k celočíselné proměnné i:
o = 123;
i = (int)o; // unboxing
Následující příklady ukazují, jak se boxování používá v jazyce C#.
// String.Concat example.
// String.Concat has many versions. Rest the mouse pointer on
// Concat in the following statement to verify that the version
// that is used here takes three object arguments. Both 42 and
// true must be boxed.
Console.WriteLine(String.Concat("Answer", 42, true));
// List example.
// Create a list of objects to hold a heterogeneous collection
// of elements.
List<object> mixedList = new List<object>();
// Add a string element to the list.
mixedList.Add("First Group:");
// Add some integers to the list.
for (int j = 1; j < 5; j++)
{
// Rest the mouse pointer over j to verify that you are adding
// an int to a list of objects. Each element j is boxed when
// you add j to mixedList.
mixedList.Add(j);
}
// Add another string and more integers.
mixedList.Add("Second Group:");
for (int j = 5; j < 10; j++)
{
mixedList.Add(j);
}
// Display the elements in the list. Declare the loop variable by
// using var, so that the compiler assigns its type.
foreach (var item in mixedList)
{
// Rest the mouse pointer over item to verify that the elements
// of mixedList are objects.
Console.WriteLine(item);
}
// The following loop sums the squares of the first group of boxed
// integers in mixedList. The list elements are objects, and cannot
// be multiplied or added to the sum until they are unboxed. The
// unboxing must be done explicitly.
var sum = 0;
for (var j = 1; j < 5; j++)
{
// The following statement causes a compiler error: Operator
// '*' cannot be applied to operands of type 'object' and
// 'object'.
//sum += mixedList[j] * mixedList[j];
// After the list elements are unboxed, the computation does
// not cause a compiler error.
sum += (int)mixedList[j] * (int)mixedList[j];
}
// The sum displayed is 30, the sum of 1 + 4 + 9 + 16.
Console.WriteLine("Sum: " + sum);
// Output:
// Answer42True
// First Group:
// 1
// 2
// 3
// 4
// Second Group:
// 5
// 6
// 7
// 8
// 9
// Sum: 30
Výkon
Ve vztahu k jednoduchým přiřazením jsou boxování a rozbalení výpočetními procesy náročné. Pokud je typ hodnoty v rámečku, musí být nový objekt přidělen a vytvořen. Do menší míry je přetypování potřebné pro rozbalení také nákladné výpočty. Další informace najdete v tématu Výkon.
Zabalení
Boxing se používá k ukládání hodnotových typů v haldě s uvolňováním paměti. Boxing je implicitní převod typu hodnoty na typ object nebo na jakýkoli typ rozhraní implementovaný tímto typem hodnoty. Boxing a value type přiděluje instanci objektu v haldě a zkopíruje hodnotu do nového objektu.
Představte si následující deklaraci proměnné typu hodnota:
int i = 123;
Následující příkaz implicitně použije operaci boxingu na proměnnou i:
// Boxing copies the value of i into object o.
object o = i;
Výsledkem tohoto příkazu je vytvoření odkazu na oobjekt , v zásobníku, který odkazuje na hodnotu typu int, v haldě. Tato hodnota je kopií hodnoty typu hodnoty přiřazené proměnné i. Rozdíl mezi těmito dvěma proměnnými i a o, je znázorněn na následujícím obrázku převodu boxingu:
Boxování je také možné provést explicitně jako v následujícím příkladu, ale explicitní balení není nikdy nutné:
int i = 123;
object o = (object)i; // explicit boxing
Příklad
Tento příklad převede celočíselnou proměnnou i na objekt o pomocí boxingu. Pak se hodnota uložená v proměnné i změní z 123 na 456. Příklad ukazuje, že původní typ hodnoty a boxovaný objekt používají samostatná umístění paměti, a proto mohou ukládat různé hodnoty.
class TestBoxing
{
static void Main()
{
int i = 123;
// Boxing copies the value of i into object o.
object o = i;
// Change the value of i.
i = 456;
// The change in i doesn't affect the value stored in o.
System.Console.WriteLine("The value-type value = {0}", i);
System.Console.WriteLine("The object-type value = {0}", o);
}
}
/* Output:
The value-type value = 456
The object-type value = 123
*/
Unboxing
Rozbalení je explicitní převod z typu object na typ hodnoty nebo z typu rozhraní na typ hodnoty, který implementuje rozhraní. Operace rozbalení se skládá z:
Zkontrolujte instanci objektu a ujistěte se, že se jedná o boxovanou hodnotu daného typu hodnoty.
Kopírování hodnoty z instance do proměnné typu hodnota.
Následující příkazy ukazují operace boxingu i rozbalení:
int i = 123; // a value type
object o = i; // boxing
int j = (int)o; // unboxing
Následující obrázek znázorňuje výsledek předchozích příkazů:
Aby bylo rozbalení typů hodnot úspěšné v době běhu, musí být položka, která byla rozbalována, odkazem na objekt, který byl dříve vytvořen boxováním instance tohoto typu hodnoty. Pokus o rozbalení null způsobí chybu NullReferenceException. Pokus o rozbalení odkazu na nekompatibilní typ hodnoty způsobí chybu InvalidCastException.
Příklad
Následující příklad ukazuje případ neplatné unboxing a výsledné InvalidCastException. Při použití try a catchzobrazí se chybová zpráva, když dojde k chybě.
class TestUnboxing
{
static void Main()
{
int i = 123;
object o = i; // implicit boxing
try
{
int j = (short)o; // attempt to unbox
System.Console.WriteLine("Unboxing OK.");
}
catch (System.InvalidCastException e)
{
System.Console.WriteLine("{0} Error: Incorrect unboxing.", e.Message);
}
}
}
Tento program vypíše:
Specified cast is not valid. Error: Incorrect unboxing.
Pokud příkaz změníte:
int j = (short)o;
na:
int j = (int)o;
převod se provede a zobrazí se výstup:
Unboxing OK.
specifikace jazyka C#
Další informace najdete v tématu Specifikace jazyka C#. Specifikace jazyka je úplným a rozhodujícím zdrojem pro syntaxi a použití jazyka C#.
