(2)分?jǐn)?shù)的減法運(yùn)算。TADA方法通過加法實(shí)現(xiàn)減法計(jì)算，如下所示。

語義：分?jǐn)?shù)相減并約分，即：

(3)單位相乘。分別將3個(gè)量綱分?jǐn)?shù)相加，然后使用BuildUnit生成新單位。

語義：單位Ua與單位Ub相乘后的新單位。
(4)單位相除。與乘法處理方式相似。

語義：若單位ua與單位Ub等價(jià)則不產(chǎn)生任何效果，否則產(chǎn)生編譯期錯(cuò)誤。
2．3 單位和量綱標(biāo)注的原理和語法
與Osprey等方法類似，TADA方法也在待檢測源程序進(jìn)行單位標(biāo)注，以使得檢測器能夠知道每個(gè)變量的單位。由于經(jīng)過單位標(biāo)注的待檢測程序仍然是合法的可編譯的程序，所以標(biāo)注信息必須由語言自身已有的語法要素構(gòu)成；標(biāo)注信息還不能影響被標(biāo)注變量的任何計(jì)算特性及使用方式，只有滿足這兩點(diǎn)要求的標(biāo)注方式才能使標(biāo)注工作量最小化。此外，已標(biāo)注變量應(yīng)該禁止從未標(biāo)注變量進(jìn)行各種隱含的類型轉(zhuǎn)換，這樣嚴(yán)格的限制才能有效進(jìn)行單位量綱的匹配檢測。對于C++語言來說，可以采用模板類的方式實(shí)現(xiàn)。
標(biāo)注實(shí)質(zhì)上是把語言原始的數(shù)據(jù)類型替換成TADA方法預(yù)定義的模板類，而模板類實(shí)現(xiàn)了各種運(yùn)算符號的重載，同時(shí)禁止了任何隱含的類型轉(zhuǎn)換，使得量綱標(biāo)注既滿足語法要素的要求，又滿足計(jì)算兼容性的要求和禁止隱含轉(zhuǎn)換的要求。TADA方法中標(biāo)注的實(shí)現(xiàn)如下所示。