如何實現根據 std::to_string 的可用性選擇其實現的模板函數？

元程式設計：根據類型可用性推斷函數定義

在模板元程式設計的上下文中，有必要根據某些標準定義模板。在這個特定場景中，目標是定義一個模板，根據是否為給定類型定義了重載的 to_string 函數來選擇其實作。

最初的嘗試是使用is_arithmetic 作為選擇標準：

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

但是，to_string 可能不適用於非算術類型，導致需要額外的template:

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

在to_string 不可用的情況下定義模板選擇標準時出現了挑戰。以下嘗試不成功：

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

要解決此問題，我們可以利用 Walter Brown 引入的 void_t 類型特徵，它允許我們定義一個檢查函數是否存在的類型特徵：

template <typename...>
using void_t = void;

使用它，我們可以建構所需的類型特徵，如下所示：

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 { };

與這種類型特徵，我們隨後可以定義根據to_string 的可用性選擇其實現的模板：

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

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

以上是如何實現根據 std::to_string 的可用性選擇其實現的模板函數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！