變量與常量
變量表示存儲位置，變量必須有確定的數據類型。C#的類型安全的含義之一就是確保變量的存儲位置容納著合適的類型。可以將C#中的變量分為靜態變量，實例變量，傳值參數，引用參數，輸出參數，數組參數和本地變量共七種。本地變量則是在方法體內的臨時變量。
靜態變量和實例變量主要是針對類或結構內的數據成員（又叫域）而言的。靜態變量在它寄存的類或結構類型被裝載後得到存儲空間，如果沒有對它進行初始化賦值，靜態變量的初始值將是它的類型所持有的缺省值。實例變量在它的類實例被創建後獲得存儲空間，如果沒有經過初始化賦值，它的初始值與靜態變量的定義相同。兩者更詳細的說明我們放在"第六講 域 方法 屬性與索引器"專題裡。
傳值參數，引用參數，輸出參數，數組參數主要針對方法的參數類型而言的。簡單的講傳值參數是對變量的值的一種傳遞，方法內對變量的改變在方法體外不起作用。對於傳值參數本身是引用型的變量稍有不同，方法內對該引用（句柄）變量指向的數據成員即實際內存塊的改變將在方法體外仍然保留改變，但對於引用（句柄）本身的改變不起作用。引用參數是對變量的句柄的一種傳遞，方法內對該變量的任何改變都將在方法體外保留。輸出參數是C#專門為有多個返回值的方法而量身定做的，它類似於引用變量，但可以在進入方法體之前不進行初始化，而其他的參數在進入方法體內C#都要求明確的初始化。數組參數是為傳遞大量的數組元素而專門設計的，它從本質上講是一種引用型變量的傳值參數。它們更詳細的闡述我們也放在"第六講 域 方法 屬性與索引器"專題裡。
本地變量嚴格的講是在C#的塊語句，for語句，switch語句，using語句內聲明的變量，它的生命周期嚴格地被限制在這些語句塊內部。
常量在編譯時便確定它的值，在整個程序中也不許修改。常量聲明的同時必須賦值。由於它的編譯時確定值的特性，引用類型可能的值只能為string和null（除string外，引用類型的構建器必須在運行時才能確定引用類型的值）。
操作符與表達式
C#保留了C++所有的操作符，其中指針操作符（*和->）與引用操作符（&）需要有unsafe的上下文。C#擯棄了范圍辨析操作符（：：），一律改為單點操作符（.）。我們不再闡述那些保留的C++的操作符，這裡主要介紹C#引入的具有特殊意義的幾個操作符：as，is，new， typeof，sizeof，stackalloc。
as操作符用於執行兼容類型之間的轉換，當轉換失敗時，as 操作符結果為null。is 操作符用於檢查對象的運行時類型是否與給定類型兼容，當表達式非null且可以轉化為指定類型時，is操作符結果為true，否則為false。as和is操作符是基於同樣的類型鑒別和轉換而設計的，兩者有相似的應用場合。實際上expression as type相當於expression is type ? (type)expression : (type)null。
作為操作符的new用於在堆上創建對象和調用構造函數，值得注意的是值類型對象（例如結構）是在堆棧上創建的，而引用類型對象（例如類）是在堆上創建的。new也用於修飾符，用於隱藏基類成員的繼承成員。為隱藏繼承的成員，使用相同名稱在派生類中聲明該成員並用 new 修飾符修改它。typeof 運算符用於獲得某一類型的 System.Type 對象,我們將在"第十講 特征與映射"裡結合Microsoft.Net的類型系統對它作詳細的闡述。sizeof 運算符用於獲得值類型（不適用於引用類型）的大小（以字節為單位）。stackalloc用於在堆棧上分配內存塊, 僅在局部變量的初始值設定項中有效，類似於C/C++語言的_alloca。sizeof和statckalloc都由於涉及內存的直接操作而需要unsafe上下文。
C#裡的某些操作符可以像C++裡那樣被重載。操作符重載使得自定義類型（類或結構）可以用簡單的操作符來方便的表達某些常用的操作。
為完成一個計算結果的一系列操作符和操作數的組合稱為表達式。和C++一樣，C#的表達式可以分為賦值表達式和布爾表達式兩種，C#沒有引入新的表達式形式，我們對此不再贅述。
命名空間與語句
C#采用命名空間（namespace）來組織程序。命名空間可以嵌套。using指示符可以用來簡化命名空間類型的引用。using指示符有兩種用法。"using System;"語句可以使我們用簡短的類型名"Console"來代替類型"System.Console"。"using Output = System.Console;"語句可以使我們用別名"Output"來代替類型"System.Console"。命名空間的引入大大簡化了C#程序的組織方式。
C#語句可以分為標號語句，聲明語句，塊語句，空語句，表達式語句，選擇語句，反復語句，跳轉語句，try語句，checked/unchecked語句，lock語句，using語句。
標號語句主要為goto跳轉設計，C#不允許跨方法的跳轉，但允許小規模的方法內的跳轉。聲明語句可以同時進行初始化賦值，對象的實例化聲明需要new關鍵字。塊語句采用"{"和"}"定義語句塊，主要是界定局部變量的作用范圍。空語句在C#中用分號"；"表示，沒有執行語義。表達式語句通過表達式構成語句。
選擇語句有if語句和switch語句兩種，與C++別無二致。反復語句除了while,do,for三種循環結構外引入了foreach語句用於遍歷集合中所有的元素，但這需要特定的接口支持，我們在後面的章節裡對之作詳細闡述。
跳轉語句有break，continue，goto，return，throw五種語句，前四種與C++裡的語義相同，throw語句與後面的try語句我們將在"第十一講 COM互操作 非托管編程與異常處理"闡述。
checked/unchecked語句主要用於數值運算中溢出檢查的上下文。lock語句主要用於線程信號量的鎖控制。using語句主要用於片斷資源管理。這些我們在後續章節裡都會有具體的涉及。
