如何根據重載解析來專門化模板？

元程式設計：基於重載解析的專業化

在元程式設計中，基於型別屬性定義範本是很常見的。然而，當嘗試根據是否為給定類型定義特定重載來在兩個模板定義之間進行選擇時，就會出現挑戰。

Walter Brown 引入了一個有用的類型 void_t，如果沒有提供模板參數，它會傳回 void 。基於這個概念，我們可以定義一個類型特徵來檢查給定類型的std::to_string 重載是否存在：

template<typename T, typename = void>
struct has_to_string
: std::false_type { };

template<typename T>
struct has_to_string<T, 
    void_t<decltype(std::to_string(std::declval<T>()))>>
: std::true_type { };

有了這個類型特徵，我們現在可以輕鬆編寫一個模板專門基於std ::to_string:

template<typename T>
enable_if_t<has_to_string<T>::value, string> stringify(T t){
    return std::to_string(t);
}

template<typename T>
enable_if_t<!has_to_string<T>::value, string> stringify(T t){
    return static_cast<ostringstream&>(ostringstream() << t).str();
}

的重載解析

以上是如何根據重載解析來專門化模板？的詳細內容。更多資訊請關注PHP中文網其他相關文章！