Làm thế nào để mô phỏng 'dấu hỏi (?)' Loại generics trong Java tới C++?

Question

Tôi có một mã Java, trong đó kiểu trả về của một hàm có kiểu ký tự đại diện không bị chặn (?). Làm thế nào tôi có thể mô phỏng một cái gì đó như thế này trong C + +? ví dụ.

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

Answer 1

Trong C++ tất cả đối số kiểu phải có tên, cho dù bạn sử dụng hay không, vì vậy không có dấu chấm hỏi. Chỉ cần làm cho nó một đối số mẫu cho hàm và đặt tên cho nó và bạn sẽ ổn.

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

Đó là một phần nhỏ, phần phức tạp hơn là thực thi những hạn chế về các loại, và cho rằng bạn có thể sử dụng SFINAE:

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) 
} 

Đó là sử dụng C++ 11 cho SFINAE, trong C++ 03, nó phức tạp hơn một chút (như thể phiên bản này là đơn giản) vì bạn không thể sử dụng SFINAE trên một đối số mẫu hàm, vì vậy SFINAE cần được áp dụng cho kiểu trả về hoặc đối số hàm bổ sung. SFINAE là một giải pháp mạnh mẽ hơn nhiều, nó có thể được sử dụng không chỉ để cung cấp super và extends mà còn với nhiều tính năng khác của loại hoặc giá trị thời gian biên dịch. Google cho SFINAE và bạn sẽ tìm thấy nhiều trường hợp SFINAE được sử dụng, nhiều trường hợp sẽ là kiểu C++ 03.

Đã có đề xuất cho các khái niệm sẽ đơn giản hóa cú pháp, nhưng không đạt được thỏa thuận và trong một động thái để đẩy tiêu chuẩn hoàn thành, nó được hoãn lại cho tiêu chuẩn sau. Bây giờ, điều này thực sự không phổ biến trong C++ vì nó là trong Java, vì vậy tôi khuyên bạn nên cung cấp một câu hỏi khác với những gì bạn muốn làm, và bạn sẽ có ý tưởng cho các mẫu thiết kế trong C++ thành ngữ hơn.

Answer 2

Ví dụ cụ thể của bạn được thực hiện dễ dàng và vì tôi không sử dụng Java, tôi không thể hiểu tại sao cần có <?> ở đó. Trong C++, bạn chỉ cần điền vào các thông số mẫu giống nhau:

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

T sẽ được rút ra từ bất kỳ đối số được truyền đến handleGroupProcessingFor, và chúng tôi chỉ sử dụng cùng một T cho kiểu trả về, về cơ bản chính xác những gì bạn làm trong các phần thân của hàm.