Metafunction để kiểm tra xem đối tượng có tương thích với phạm vi tăng

Question

Có, hoặc bạn sẽ viết như thế nào, một lớp metafunction kiểm tra xem một lớp có tương thích với boost::range không? Tôi muốn sử dụng boost::enable thành ngữ, một cái gì đó giống như

template <typename T> 
Constructor::Constructor(const T& t, __attribute__((unused)) typename boost::enable_if<is_range_compatible<T> >::type* aux=NULL) 

cho một is_range_compatible metafunction thích hợp. Tôi biết về is_container từ pretty_print, chụp rất nhiều trường hợp, nhưng không phải mọi thứ hoạt động với boost::range.

Chỉnh sửa Điều này đang sử dụng C++ 03, vì vậy tôi không có quyền truy cập vào các tính năng C++ 11. Tôi đang sử dụng cũ, gcc 4.1 và tăng 1.51.

Answer 1

Bạn có nghĩa là enable_if?

Nếu bạn có thể thuyết phục kiểm tra khái niệm Tăng cường hoạt động hữu ích với nó (thay vì macro biên dịch macro hiện đang sử dụng), hãy kiểm tra như ForwardConceptRange là already provided.

Nếu không, có vấn đề khi sử dụng macro BOOST_CONCEPT_ASSERT hiện tại thay thế không?

Answer 2

Nếu bạn nâng cấp lên Boost 1.54, có một thư viện tốt được gọi là TTI. Nó cho phép bạn soạn thảo các đặc điểm kiểu nội suy trong các hàm meta theo ý muốn, để bạn có thể dễ dàng tách ra các thuộc tính meta của riêng bạn mà có thể được sử dụng để bật hoặc tắt các mẫu chức năng. Mặc dù nó là một bài tập lập trình meta tốt đẹp, tôi không khuyên bạn nên làm điều đó trong mã sản xuất. Tôi thấy khó có thể nắm bắt được "các âm bản sai" phát sinh từ các chi tiết thực hiện của các container STL. Ví dụ, các thùng chứa liên kết đến với MSVC11 kế thừa các hàm begin và end thành viên của chúng từ một lớp cơ sở mang lại giá trị âm sai với các biến vị ngữ meta được tạo thông qua BOOST_TTI_HAS_MEMBER_FUNCTION. Mặc dù biệt danh của anh ta, Useless đã cho bạn một lời khuyên tốt: Sử dụng các khái niệm đi kèm với Boost.Range để từ chối hoặc chấp nhận kiểu bên trong phần thân của mẫu chức năng như hàm tạo trong ví dụ của bạn ... Tất nhiên, điều này sẽ không giải quyết được vấn đề chuyển đổi cho Constructor của bạn ...

EDIT: Ví dụ, lấy từ vex:

#include <boost/tti/has_member_function.hpp> 
#include <vector> 
#include <map> 

namespace tti_test { 
    BOOST_TTI_HAS_MEMBER_FUNCTION(begin); 

    // .. begin test class for mstest 

    // this succeeds in both variants 
    TEST_METHOD(has_const_member_function_begin_is_true_for_vector) 
    { 
     Assert::IsTrue(has_member_function_begin< 
      std::vector<int>::const_iterator (std::vector<int>::*)() const 
     >::value); 

     Assert::IsTrue(has_member_function_begin< 
      const std::vector<int>, std::vector<int>::const_iterator 
     >::value); 
    } 

    // this fails in both variants... 
    TEST_METHOD(has_const_member_function_begin_is_true_for_map) 
    { 
     Assert::IsTrue(has_member_function_begin< 
      std::map<int, int>::const_iterator (std::map<int, int>::*)() const 
     >::value); 

     Assert::IsTrue(has_member_function_begin< 
      const std::map<int, int>, std::map<int, int>::const_iterator 
     >::value); 
    } 

    // end test class for mstest 
}