對(duì)于C++一系的語(yǔ)言，Name Mangling主要用于同名函數(shù)，同名類型和同名變量的重載。編譯器可以在編譯期將同名函數(shù)的不同簽名形式區(qū)分開來。Name Mangling經(jīng)常用于以下場(chǎng)合：函數(shù)同名稱不同簽名（函數(shù)重載）；跨編譯單元的變量、函數(shù)引用；動(dòng)態(tài)鏈接庫(kù)或其他形式的函數(shù)、變量導(dǎo)出。
盡管現(xiàn)階段SASL不打算支持Member Function等比較復(fù)雜的行為，甚至?xí)簳r(shí)不考慮函數(shù)重載。但是作為現(xiàn)代語(yǔ)言編譯的基本要素，SASL在語(yǔ)義分析階段，仍然提供了較為完善的Name Mangling機(jī)制，為以后的編譯器特性擴(kuò)充打下基礎(chǔ)。
SASL的Mangling語(yǔ)法如下：
mangled_name = 'M' basic_name '@' return_value_type parameter_type_list '@' 'Z'
basic_name = string '@'
return_value_type = value_type
parameter_type_list = ( value_type )*
value_type = qualifier_code type_code
qualifier_code = "UN" | "CN" | "NN" | "UC"
type_code = buildin_typecode | struct_class_typecode | array_type_code
buildin_typecode = dimension_code basic_type
dimension_code = scalar | vector | matrix
scalar = 'B'
vector = 'V' (1|2|3|4)
matrix = 'M' (1|2|3|4){2}
basic_type =
'S1' | 'U1' | 'S2' | 'U2' | 'S4' | 'U4' | 'S8' | 'U8' | 'F' | 'D' | 'V' | 'B'
struct_class_typecode = 'S' string '@@'
array_class_typecode = 'A' type_code size '@@'
和主流語(yǔ)言相比，本Mangling暫時(shí)不支持Qualifier（Class Member，Namespace Qualifiers）。以后在需要Qualifier的時(shí)候再酌情添加。也就是說暫時(shí)不會(huì)考慮現(xiàn)有版本和以后版本在二進(jìn)制上的兼容性。
以下是一個(gè)mangling的例子：
double foo(); => Mfoo@@NNBD@Z