C メタプログラミングで関数の不在に基づいてテンプレート選択を実装するにはどうすればよいでしょうか?

メタプログラミング: 関数のオーバーロードに基づくテンプレートの選択

C メタプログラミングでは、型プロパティに基づいて条件付きでテンプレート関数を定義するのが一般的な手法です。ただし、場合によっては、特定の関数が存在しないことに基づいてテンプレートが選択されるという、逆のシナリオを定義するのが難しい場合があります。

具体的には、提供されている例では、目標はテンプレートを定義することです。 2 つの実装の間で選択する関数 stringify:

• 指定された型に対して std::to_string が定義されている場合は、to_string(t) を使用して値を文字列に変換します。
• If std ::to_string がその型に対して定義されていません。ostringstream()

後者の条件を表現しようとするときに問題が発生します。次の失敗した試みは、ネストされたenable_if テンプレートを使用して to_string が定義されていないことを確認しようとします:

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...>

これを使用すると、次のように has_to_string 特性を定義できます:

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>

これで、has_to_string 特性に基づいた条件付きテンプレートの特殊化を使用して stringify テンプレートを定義できます:

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

template<typename t>
enable_if_t::value, string> stringify(T t){
    return static_cast<ostringstream>(ostringstream() <p>この解決策std::to_string が指定された型に対して定義されているかどうかに基づいて、stringify の適切な実装を効果的に選択します。</p></ostringstream></typename></has_to_string></typename>

以上がC メタプログラミングで関数の不在に基づいてテンプレート選択を実装するにはどうすればよいでしょうか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。