C#規範解讀之8.2.4 類型系統的統一性

C#提供了一個"統一的類型系統"。所有的類型-包括實值型別在內-都是從object類型繼承而來。

可以在任何變數上調用object類的方法，甚至包括像int這樣的基礎類型在內。

例子：

1 using System;

2 class Test

3 {

4 static void Main() {

5 Console.WriteLine(3.ToString());

6 }

7 }

一個整型的常量調用了object類定義的ToString方法，輸出是"3"。

例子：

1 class Test

2 {

3 static void Main() {

4 int i = 123;

5 object o = i; // 裝箱

6 int j = (int) o; // 拆箱

7 }

8 }

很有意思。

一個int值可以轉化成一個object，然後轉化回來。

這個例子用到了裝箱和拆箱。

當一個實值型別的變數轉化為參考型別時，一個object箱子將被分配來存放這個值。拆箱是相反的過程。

當一個object箱子轉化回它原來的實值型別時，那個值將從箱子裡複製出來，並傳到相應的儲存位置。

這種類型的統一性讓實值型別擁有參考型別的好處，同時去除了不必要的開支。

對於不需要將實值型別當作object類型來用的程式，int類型就只是32位的值。

這種能將實值型別作為object類型的特性，消除了實值型別和參考型別之間的區別，這種區別在大部分其他語言中存在著。

比如說，一個Stack類有Push和Popular方法，它們分別帶一個object類型的參數和返回一個object值：

1 public class Stack

2 {

3 public object Pop() {…}

4 public void Push(object o) {…}

5 }

因為C#擁有統一的類型系統，這個Stack類可以用於任何類型，包括實值型別如int。