C++のVariadicテンプレートで、呼び出し可能な型と呼び出し不可能な型を選択するための洗練されたソリューションがありますか？

Question

クラス用の単純なテキストフォーマッタを実装しています。その中のmain関数は、連結される値のリストを受け取ることができます。または、オプションで、パラメータがostreamのフレンズでない場合は、他のすべてのパラメータをstd :: stringに変換する最初のパラメータとして変換関数を受け入れます。

次のコードはアイデアを示していますが、コンパイルされません。わかりやすくするために、この例ではcoutに出力します。

struct formater{ 
    template<typename P, typename... PS> 
    void format(const P& p, const PS&... ps){ 
     if (std::is_convertible<P, std::function<void()>>::value){ 
      cout << p(ps...) << endl; 
     } else { 
      cout << p; 
      log(ps...); 
     } 
    } 
}; 

コードがコンパイルされない理由は、Pが呼び出し可能であるならば、それは「他」ブランチでcoutに出力することができません、あり、そしてPは呼び出し可能でない場合、それはPを教えてくれますです呼び出し可能でなく、 "then"ブランチのps ...パラメータを受け取ることができません。

私はenable_ifを使用すると考えましたが、条件の両方のケース（TとF）を定義しているので、同じ関数の再定義を得てコンパイルも失敗します。

私はstatic_ifを模倣しようとする可能性がありますが、それは全くエレガントに見えません。

Pが呼び出し可能でSFINAEであることを確認するうまい方法があるのだろうかと思います。たぶん、P、（PS ...） - > std :: stringのパラメータ型を知っていることを利用しているかもしれません。

Answer 1

二つの問題があります。まず、あなたが言ったのと同じように、ifはランタイムブランチだけです。次に、呼び出し可能なオブジェクトをチェックしていませんが、オブジェクトが引数なしで呼び出し可能かどうかを確認しています。引数を取らなければならない呼び出し可能オブジェクトは、テストに合格しません。

私はまずこの特性を実装します。これはC++ 17のために必要ではないことに注意してください：

template<typename, typename = void> 
struct is_callable : std::false_type {}; 

template<typename F, typename... Args> 
struct is_callable<F(Args...), void_t<decltype(std::declval<F>()(std::declval<Args>()...))>> : std::true_type {}; 

その後、あなたはstd::enable_ifを使用することができます。

struct Formatter { 
    template<typename F, typename... Args> 
    auto format(F func, Args&&... args) -> std::enable_if_t<is_callable_v<F(Args...)>> { 
     std::cout << func(std::forward<Args>(args)...); 
     std::cout << std::endl; 
    } 

    template<typename T> 
    auto format(T&& value) -> std::enable_if_t<!is_callable_v<T()>> { 
     std::cout << std::forward<T>(value); 
     std::cout << std::endl; 
    } 
}; 

あなたはこのようなvoid_tを実装することができます：あなたが行くことができます

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

をこのライブの例を確認してください：Live at coliru

0場合と std::is_invocable constexprの

C++ 17のことをご了承ください、あなたがしている：私は `PARAM`を想定

struct Formatter { 
    template<typename F, typename... Args 
    void format(F&& param, Args&&... args) { 
     if constexpr (std::is_invocable_v<F, Args...>) { 
      std::cout << std::invoke(std::forward<F>(param), std::forward<Args>(args)...); 
     } else { 
      std::cout << std::forward<F>(param); 
      log(std::forward<Args>(args)...); 
     } 
    } 
}; 

Answer 2

あなたはstd::enable_ifを使用することができます。

struct formater{ 
    template<typename P, typename... PS> 
    std::enable_if<std::is_convertible<PARAM, std::function<void(PS...)>>::value, void>::type 
    format(const PARAM& p, const PS&... ps){ 
     cout << p(ps...) << endl; 

    } 

    template<typename P, typename... PS> 
    std::enable_if<!std::is_convertible<PARAM, std::function<void(PS...)>>::value, void>::type 
    format(const PARAM& p, const PS&... ps){ 
     cout << p; 
     log(ps...); 

    } 
};