JavaでC++に「疑問符（？）」ジェネリック型をエミュレートするにはどうすればよいですか？

Question

関数の戻り値の型にワイルドカード型（？）が無制限であるJavaコードがあります。 C++でこれをどのようにエミュレートできますか？例えば

public GroupHandlerSetting<?> handleGroupProcessingFor(final EventHandler<T> eventHandler) 
    { 
     return new GroupHandlerSetting<T>(eventHandler, eventProcessors); 
    } 

Answer 1

C++では、使用するかどうかにかかわらず、すべての型引数には名前を付ける必要があります。疑問符はありません。関数のテンプレート引数にして、名前を付けて、あなたはうまくいくはずです。

些細な部分です

template <typename T> 
struct templ { 
    template <typename U> 
    void assign(templ<U> & u);  // public void assign<?>(temple<U> u)  
}; 

、より複雑な部分は、型の制約を強制され、そのためにあなたはSFINAEを使用することができます。

で、SFINAEためのC++ 11を使用している

template <typename T> 
struct templ { 
    template <typename U, typename _ = std::enable_if< 
           typename std::is_base_of<U,T>::value 
             >::type > 
    void super(templ<U> & u);  // public void super_<? super T>(templ<?> u) 

    template <typename U, typename _ = std::enable_if< 
           typename std::is_base_of<T,U>::value 
             >::type > 
    void extends(templ<U> & u);  // public void extends_<? extends T>(templ<?> u) 
} 

C++ 03では、関数テンプレート引数でSFINAEを使用できないので、（このバージョンが単純だったかのように）ちょっと畳み込まれているので、SFINAEを戻り値の型または余分な関数の引数のいずれかに適用する必要があります。 SFINAEははるかに強力なソリューションであり、superとextendsを提供するだけでなく、多くの他の種類の機能やコンパイル時の値を提供するために使用できます。 SFINAEのためのGoogleとあなたはSFINAEが使用されている多くのケースを見つけるでしょう、それらの多くはC + + 03スタイルになります。

構文が大幅に簡略化されるが、合意に達することはなかった概念が提案され、標準を完了まで移して後の標準で延期した。

これはC++ではJavaほど一般的ではないので、あなたは何をしたいのかという別の質問をすることをお勧めします。より慣用的なC++でデザインのアイデアを得ることができます。

Answer 2

具体的な例は簡単です。私はJavaを使用していないので、そこに<?>が必要な理由を理解できません。

template<class T> 
GroupHandlerSetting<T> handleGroupProcessingFor(EventHandler<T> const& evHandler){ 
    return GroupHandlerSetting<T>(evHandler, evProcessors); 
} 

TがhandleGroupProcessingForに渡されるどんな引数から推論されます、我々はあなたが行う基本的にはまさに、戻り値の型のためにちょうど同じTを使用：C++では、あなただけの同じテンプレートパラメータに記入します関数の本体。