共用方式為


使用語法

語法樹狀結構是編譯器 API 公開的基本固定資料結構。 這些樹狀結構代表原始程式碼的語彙和語法結構。 它們有兩個重要用途:

  • 允許 IDE、增益集、程式碼分析工具及重構等工具查看與處理使用者專案中的原始程式碼語法結構。
  • 讓重構和 IDE 等工具以自然的方式建立、修改及重新整理原始程式碼,不用直接編輯文字。 透過建立和管理樹狀結構,工具可以輕鬆建立及重新整理程式碼。

語法樹

語法樹是用於編譯、程式碼分析、繫結、重構、IDE 功能與產生程式碼的主要結構。 若不先找到並分類成許多已知的結構化語言項目之一,原始程式碼的任何部分均無法解讀。

注意

RoslynQuoter 是一個開放原始碼工具,可顯示用來建構程式語法樹狀結構的語法 Factory API 呼叫。 若要即時試用,請參閱 http://roslynquoter.azurewebsites.net

語法樹有三個索引鍵屬性:

  • 它們會以完全逼真的方式保存所有來源資訊。 完全逼真表示語法樹狀結構包含在原始程式文字中找到的所有資訊片段、所有文法建構、所有語彙權杖,以及介於兩者之間的所有其他項目,包括空白字元、註解和前置處理器指示詞。 例如,來源中提及的每個常值都和鍵入的一般無二。 當程式因為表示略過或遺漏權杖而不完整或格式不正確時,語法樹狀結構也會擷取原始程式碼中的錯誤。
  • 它們可以產生其剖析來源的確切文字。 從任何語法節點,都有可能取得以該節點為根的樹狀子目標的文字表示法。 這表示語法樹狀結構可以用來建構和編輯原始程式文字。 建立以隱含方式建立對等文字的樹狀結構,以及從現有的樹狀結構變更中製造新的樹狀結構,實際上即已編輯文字。
  • 它們不可變且安全執行緒。 取得樹狀結構之後,它就是目前程式碼狀態的快照集,永遠不會變更。 這可讓多位使用者在不同的執行緒中同時與同一語法樹互動,不會鎖定或重複。 因為樹狀結構是不變的,而且不能直接對樹狀結構進行任何修改,所以 Factory 方法透過建立樹狀結構的其他快照集來協助建立和修改語法樹。 樹狀結構重複使用基礎節點很有效率,因此新版本重建迅速且只佔一點額外的記憶體。

語法樹實際上是樹狀資料結構,在此,其他項目的父代為非結尾結構化項目。 每一個語法樹都是由節點、權杖和邏輯所組成。

語法節點

語法節點是語法樹主要項目的其中之一。 這些節點代表語法建構,例如宣告、陳述式、子句和運算式。 每個語法節點類別都是由衍生自 Microsoft.CodeAnalysis.SyntaxNode 的個別類別代表。 節點類別集不可擴充。

所有語法節點都是語法樹中的非結尾節點,這表示它們一律有其他子系節點和權杖。 身為另一個節點的子系,每個節點都有父節點,可透過 SyntaxNode.Parent 屬性存取。 因為節點和樹狀結構不可變,所以節點的父代永遠不會變更。 樹狀結構的根有 null 父代。

每個節點都有 SyntaxNode.ChildNodes() 方法,根據子節點在原始程式文字中的位置,傳回它們的循序清單。 本清單不包含權杖。 每個節點也有方法可檢查子系,例如 DescendantNodesDescendantTokensDescendantTrivia,代表所有節點、權杖或邏輯的清單,存在於以該節點為根的子樹狀結構中。

此外,每個語法節點的子類別會透過強型別屬性公開所有相同的子系。 例如,BinaryExpressionSyntax 節點類別有三個針對二元運算子的額外屬性:LeftOperatorTokenRightLeftRight 的類型是 ExpressionSyntaxOperatorToken 的類型是 SyntaxToken

某些語法節點有選擇性的子系。 例如,IfStatementSyntax 有選擇性的 ElseClauseSyntax。 如果子系不存在,則屬性會傳回 null。

語法權杖

語法權杖是語言文法的結尾,代表最小的程式碼語法片段。 它們永遠不是其他節點或權杖的父代。 語法權杖是由關鍵字、識別碼、常值和標點符號所組成。

基於效率考量,SyntaxToken 類型是 CLR 值類型。 因此,不像語法節點,所有種類的混合屬性權杖只有一種結構,這些屬性具有依賴要代表之權杖種類的意義。

例如,整數常值權杖代表數值。 除了權杖跨越的未經處理原始程式文字,常值權杖有 Value 屬性會告訴您精確的已解碼整數值。 此屬性歸類為 Object,因為它可能是眾多基本類型之一。

ValueText 屬性告訴您的資訊和 Value 屬性一樣,但這個屬性一律歸類為 String。 C# 原始程式文字中的識別碼可能包含 Unicode 逸出字元,但逸出序列本身的語法不視為識別碼名稱的一部分。 所以,雖然權杖跨越的原始文字確實包含逸出序列,但 ValueText 屬性則否。 它反而會包含逸出所識別的 Unicode 字元。 例如,如果原始程式文字包含寫為 \u03C0 的識別碼,則此權杖的 ValueText 屬性會傳回 π

語法邏輯

語法邏輯代表的原始程式文字部分,主要是一般的程式碼,例如空白字元、註解和前置處理器指示詞。 像語法權杖一樣,邏輯為實值型別。 單一 Microsoft.CodeAnalysis.SyntaxTrivia 類型用以描述所有種類的邏輯。

因為邏輯不屬於一般的語言語法,而且會出現在任兩個權杖之間的任何位置,所以它們未被納入語法樹成為子節點。 但因為它們在實作重構等功能以維護完整的原始程式文字不失真時很重要,所以它們又是語法樹的一部分。

您可以檢查權杖的 SyntaxToken.LeadingTriviaSyntaxToken.TrailingTrivia 集合存取邏輯。 剖析原始程式文字後,邏輯的順序就與權杖產生關聯。 一般情況下,權杖擁有自同一行到下一個權杖的任何邏輯。 該行之後的所有邏輯都與接續的權杖建立關聯。 原始程式檔中的第一個權杖取得所有初始邏輯,檔案中邏輯的最後一個序列會跟到檔案結尾的權杖,這本來會是零寬度。

不同於語法節點和權杖,語法邏輯沒有父代。 但因為它們屬於樹狀結構,而且每一個都與單一權杖建立關聯,所以您可以存取它使用 SyntaxTrivia.Token 屬性來建立關聯的權杖。

跨越

每個節點、權杖或邏輯都知道其在原始程式文字內的位置及其組成字元數。 文字位置是以 32 位元的整數表示,也就是以零起始的 char 索引。 TextSpan 物件是起始位置和字元計數,兩個都以整數表示。 如果 TextSpan 長度為零,即指兩個字元之間的位置。

每個節點均有兩個 TextSpan 屬性:SpanFullSpan

Span 屬性是從節點子樹狀結構的第一個權杖開頭到最後一個權杖結尾的文字範圍。 此範圍不包含任何開頭或尾端邏輯。

FullSpan 屬性是包含節點正常範圍的文字範圍,加上任何開頭或尾端邏輯的範圍。

例如:

      if (x > 3)
      {
||        // this is bad
          |throw new Exception("Not right.");|  // better exception?||
      }

區塊內的陳述式節點有單一分隔號 (|) 所指示的範圍。 它包括字元 throw new Exception("Not right.");。 完整範圍以雙分隔號 (|) 表示。 當範圍和字元與開頭和尾端邏輯建立關聯時,它會包含相同字元。

種類

每個節點、權杖或邏輯都有 System.Int32 類型的 SyntaxNode.RawKind 屬性,可識別所代表的確切語法項目。 這個值可以轉換成語言特定的列舉。 每種語言,C# 或 Visua; Basic,都有單一 SyntaxKind 列舉 (分別是 Microsoft.CodeAnalysis.CSharp.SyntaxKindMicrosoft.CodeAnalysis.VisualBasic.SyntaxKind),會列出文法中所有可能的節點、權杖和邏輯項目。 可透過存取 CSharpExtensions.KindVisualBasicExtensions.Kind 擴充方法來自動完成這項轉換。

RawKind 屬性允許共用相同節點類別的語法節點類型簡單去除混淆。 對權杖和邏輯而言,這個屬性是區別某項目類型的唯一方式。

例如,單一 BinaryExpressionSyntax 類別有 LeftOperatorTokenRight 子系。 Kind 屬性可區別其為 AddExpressionSubtractExpressionMultiplyExpression 種類的語法節點。

提示

建議使用 IsKind (適用於 C#) 或 IsKind (適用於 Visual Basic) 擴充方法檢查類型。

錯誤

即使原始程式文字包含語法錯誤,仍會公開可往返來源的完整語法樹。 當剖析器遇到不符合已定義語言語法的程式碼時,它會使用兩種技術之一來建立語法樹狀結構:

  • 如果剖析器找不到預期的特定種類權杖,它可能會將遺漏的權杖插入到語法樹狀結構中該權杖本應出現的位置。 遺漏的權杖代表預期的實際權杖,但具有空的範圍,且其 SyntaxNode.IsMissing 屬性會傳回 true

  • 剖析器可能會略過權杖,直到它找到可繼續剖析的權杖。 在此情況下,略過的權杖會附加為種類為 SkippedTokensTrivia 的邏輯節點。