Hạn chế tham số mẫu C++ thành lớp con

Question

Làm cách nào để buộc tham số mẫu T làm lớp con của một lớp cụ thể Baseclass? Something như thế này:

template <class T : Baseclass> void function(){ 
    T *object = new T(); 

} 

Answer 1

Trong trường hợp này bạn có thể làm:

template <class T> void function(){ 
    Baseclass *object = new T(); 

} 

này sẽ không biên dịch nếu T không phải là một lớp con của BaseClass (hoặc T là BaseClass).

Answer 2

Bằng cách gọi hàm bên trong mẫu của bạn tồn tại trong lớp cơ sở.

Nếu bạn thử và khởi tạo mẫu của mình bằng loại không có quyền truy cập chức năng này, bạn sẽ nhận được lỗi biên dịch.

Answer 3

Bạn có thể sử dụng Boost Concept Check 's BOOST_CONCEPT_REQUIRES:

#include <boost/concept_check.hpp> 
#include <boost/concept/requires.hpp> 

template <class T> 
BOOST_CONCEPT_REQUIRES(
    ((boost::Convertible<T, BaseClass>)), 
(void)) function() 
{ 
    //... 
} 

Answer 4

Bạn không cần phải khái niệm, nhưng bạn có thể sử dụng SFINAE:

template <typename T> 
boost::enable_if< boost::is_base_of<Base,T>::value >::type function() { 
    // This function will only be considered by the compiler if 
    // T actualy derived from Base 
} 

Lưu ý rằng điều này sẽ nhanh chóng các chức năng chỉ khi điều kiện được đáp ứng, nhưng nó sẽ không cung cấp một lỗi hợp lý nếu điều kiện không được đáp ứng.

Answer 5

Để thực thi ít mã không dùng được khi chạy, bạn có thể xem: http://www.stroustrup.com/bs_faq2.html#constraints cung cấp một số lớp thực hiện kiểm tra thời gian biên dịch hiệu quả và tạo ra thông báo lỗi đẹp hơn.

Đặc biệt:

template<class T, class B> struct Derived_from { 
     static void constraints(T* p) { B* pb = p; } 
     Derived_from() { void(*p)(T*) = constraints; } 
}; 

template<class T> void function() { 
    Derived_from<T,Baseclass>(); 
} 

Answer 6

Với C++ 11 trình biên dịch phù hợp, bạn có thể làm một cái gì đó như thế này:

template<class Derived> class MyClass { 

    MyClass() { 
     // Compile-time sanity check 
     static_assert(std::is_base_of<BaseClass, Derived>::value, "Derived not derived from BaseClass"); 

     // Do other construction related stuff... 
     ... 
    } 
} 

Tôi đã thử nghiệm điều này bằng cách sử dụng trình biên dịch gcc 4.8.1 bên trong môi trường CYGWIN - vì vậy nó cũng hoạt động trong môi trường * nix.