為什麼我無法明確地呼叫 C 初始化程序列表中的模板構造函數？

C 中的明確模板構造函數呼叫

在C 中，不可能在初始值設定項列表中明確調用模板建構函式。這是由於模板參數使用的特定語法所致，模板參數遵循函數模板名稱，而不是在建構過程中包含在括號中。

如C 標準(14.8.1/7) 所述：

[注意：因為明確模板實參列表跟在函數模板名稱後面，並且因為轉換成員函數模板和建構函式成員函式模板在呼叫時不使用函式名，所以沒有辦法為這些函式模板。 ]

因此，以下範例將不起作用：

struct T { 
    template<class> T();
};

struct U {
    U() : t<void>() {} //does not work
    T t;
};

在這種情況下，編譯器將嘗試解釋t;作為基類類型，將無法找到匹配的預設構造函數。

解決方法

要解決此限制，可以使用一個函數模板，該模板採用身份類型作為參數：

struct T { 
    template<class U> T(identity<U>);
};

struct U {
    U() : t(identity<void>()) {}
    T t;
};

給出下列身分定義Boost:

template<typename T> struct identity { typedef T type; };

或者，在C 20 中，使用std::type_identity:

using ::std::type_identity;

這種方法有效地允許將模板參數傳遞給初始化列表中的建構子。

以上是為什麼我無法明確地呼叫 C 初始化程序列表中的模板構造函數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！