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

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

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

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

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

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

template<typename t> enable_if_t::value, string> stringify(T t){
    return static_cast<ostringstream>(ostringstream() <p>在to_string 不可用的情況下定義模板選擇標準時出現了挑戰。以下嘗試不成功：</p>
<pre class="brush:php;toolbar:false">template<typename t> enable_if_t (T t){
    return static_cast<ostringstream>(ostringstream() <p>要解決此問題，我們可以利用 Walter Brown 引入的 void_t 類型特徵，它允許我們定義一個檢查函數是否存在的類型特徵：</p>
<pre class="brush:php;toolbar:false">template <typename...>
using void_t = void;</typename...>

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

template<typename t typename="void">
struct has_to_string
: std::false_type { };

template<typename t>
struct has_to_string<t void_t>()))>
    > 
: std::true_type { };</t></typename></typename>

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

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

template<typename t>
auto stringify(T t)
-> std::enable_if_t::value, std::string> 
{
    return static_cast<ostringstream>(ostringstream() </ostringstream></typename></has_to_string></typename>

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