本文提供此 API 參考文件的補充備註。
Add 方法會傳回一個 BinaryExpression,其 Method 屬性設為該實作方法。 屬性 Type 會設定為節點的類型。 如果節點被取消,IsLifted 和 IsLiftedToNull 屬性都是 true。 否則,它們是 false。 IsEditable 屬性為 true。
下列資訊描述實作方法、節點類型,以及節點是否已解除。
實作方法
下列規則會決定作業的選取實作方法:
- 如果 Type 或
left的right屬性代表重載加法運算子的使用者定義型別,則 MethodInfo 所表示的方法為實作方法。 - 否則,如果
left.類型 和right.類型是數值類型,則實作方法為null。
節點類型和提升與非提升的比較
如果實作方法不是 null:
如果
left.型別和right.型別可以指派給實作方法的對應參數型別,則節點不會被解除。 節點的類型是實作方法的傳回型別。如果符合下列兩個條件,則節點會提升,並且該節點的類型是對應至實作方法傳回型別的可空類型:
-
left.型別 與right.型別 都是實值型別,其中至少一個可為 Null,而對應的不可為 Null 型別等於實作方法的對應參數類型。 - 實作方法的傳回型別是不可為 Null 的實值型別。
-
如果實作方法為 null:
- 如果
left.類型與right.類型都是不可為 Null 的,節點不會被提升。 節點的類型是預先定義加法運算子的結果類型。 - 如果
left.Type 和right.Type 都是可為 null 的,則該節點會提升。 節點的類型是可為 Null 的類型,對應至預先定義加法運算子的結果類型。