控除

Question

は、我々はこのようなクラスのテンプレートがあるとしましょうさコンパイラが::closeのこの情報を知ることができるので、<int(int)>を省略する方法はありますか？テンプレートの「デザイン」を保存する必要はありません。

具体的なタスクとしては、クラスのテンプレートを設計する必要があります。このクラスのオブジェクトは、構築時にこの関数の関数とパラメータを取り、この関数を後で呼び出すことができます。

Answer 1

いいえ、あなた（現在）はできません。

template<typename F, typename... Args> 
A<std::decay_t<F>> make_A (F &&f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

C++ 17あなたは正確にあなたがやりたいことができますtemplate argument deduction for classをご紹介します。これを行うための標準的な方法は、「make_like」機能（のようなmake_pair、make_optionalを...）を作成することです。あなただけに工場を書く必要があります、その前に

A a(::close, 1); 

：C++ 17でコンストラクタのテンプレートパラメータ控除の採用に

Answer 2

テンプレートクラスの引数を省略することはできません。あなたができることは、引数を推論し、この引数をテンプレートクラスに転送し、適切なインスタンス化のオブジェクトを返すmaker関数を持つことです。

template<typename F, typename... Args> 
A<F> make_A(F f, Args&&... args) { 
    return A<F>(f, std::forward<Args>(args)...); 
} 

Answer 3

おかげで、あなただけ書くことができるようになります - RVOのおかげで、ここで作られた全くのコピーは存在しません

template <class F, class... Args> 
A<std::decay_t<F>> make_a(F&& f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

auto a = make_a(::close, 1); 

これは少し冗長ですが、少なくともあなたは、効率を心配する必要はありません：あなたのための控除を行います。