メタプログラミング: 関数定義の代替テンプレート選択基準

この質問では、型の変換能力に基づいてテンプレートを定義する概念について説明します。文字列に。元のコードでは is_arithmetic 型特性を使用していますが、代わりに、その型に対して to_string が定義されているかどうかを評価する基準を使用することが提案されています。挑戦的。次のコードは失敗します:

templateenable_if_t (T t){ // ... }

template enable_if_t
template
構造体 has_to_string
: std::false_type { };

テンプレート
struct has_to_string()))>
    > 
: std::true_type { };
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 { };