C++ - User-defined literals

Wed, 01 Mar 2023 03:10:00 +0800

C++ 11 新增 User-defined literals 可以經由程式定義的字面常量後綴，讓我們寫出可讀性更加的程式碼。

簡單的說，我們可以透過有意義的字面常量後綴將常數或是字串轉換自訂的型別來提高可讀性。

User-defined literals

目前 User-defined literals 支援以下 8 種語法格式：

編譯器在遇到 User-defined literals 的時候會依據 ud-suffix 前面的文字的型別推導適當的函式進行轉換。

首先會透過 unqualified name lookup 找到所有名稱符合的函式集合。

如果是整數格式：
- 如果符合的函式集合有參數型別為 unsigned long long 時，會選擇此函式並呼叫 operator ""X(nULL)。
- 否則，如果有參數型別為 raw literal operators (const char*)時，會選擇此函式並呼叫 operator ""X("n")。
- 否則，如果有參數型別為 numeric literal operator template (template<char ...> X operator ""X()) 時會選擇此函式並呼叫 operator ""X<'C1', 'C2', ..., 'CK'>()。
如果是浮點數格式：
- 如果符合的函式集合有參數型別為 long double 時，會選擇此函式並呼叫 operator ""X(fL)。
- 否則，如果有參數型別為 raw literal operators (const char*)時，會選擇此函式並呼叫 operator ""X("f")。
- 否則，如果有參數型別為 numeric literal operator template (template<char ...> X operator ""X()) 時會選擇此函式並呼叫 operator ""X<'C1', 'C2', ..., 'CK'>()。
如果是字串格式：
- (C++ 20) 如果有符合的 non-type template parameter of class type (string literal operator template)時，會選擇此函式並呼叫 operator ""X<str>()。
- 否則會選擇此函式並呼叫 operator ""X (str, len)。
如果是字元格式：
- 會選擇此函式並呼叫 operator ""X(ch)。