オーバーロードの解決に基づいてテンプレートを特殊化するにはどうすればよいですか?

メタプログラミング: オーバーロードの解決に基づく特殊化

メタプログラミングでは、型のプロパティに基づいてテンプレートを定義するのが一般的です。ただし、特定の型に対して特定のオーバーロードが定義されているかどうかに基づいて 2 つのテンプレート定義のどちらかを選択しようとすると、課題が発生します。

Walter Brown は、テンプレート引数が指定されない場合に void を返す便利な型 void_t を導入しました。 。この概念に基づいて、特定の型の 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 中国語 Web サイトの他の関連記事を参照してください。