C++ xác định nếu một container có :: tìm()

Question

Tôi có một functor mà hoạt động trên một container loại U của phần tử kiểu T như vậy

template<typename T, template<typename...> class U> 
class asserter 
{ 
public: 
    asserter(U<T> &c) : container(c) { }; 
    void operator()(T lhs) 
    { 
     CU_ASSERT(container.find(lhs) != container.end()); 
    }; 
private: 
    U<T> &container; 
}; 

mà tôi có thể sử dụng như

std::set<std::string> a, c; 
... 
asserter<std::string, std::set> ass(c); 
for_each(a.begin(), a.end(), ass); 

Nơi chúng tôi bỏ qua std::includes() cho thời điểm này.

Công trình này tuyệt vời nếu vùng chứa là nơi chứa U::find(). Nếu tôi không muốn quay trở lại std::find(). Mặt khác, tôi muốn sử dụng U::find() hơn std::find() nếu có.

Trong C++ 11 (hoặc 17 nếu cần) tôi có thể xác định xem U::find() có khả dụng (có thể hạn chế STL) cho U và nếu có, hãy sử dụng std::find()?

Answer 1

SFINAE về việc biểu thức c.find(value) có được tạo đúng không. Trailing kiểu trả về là C++ 11, và không cần thiết ở đây anyway; nó chỉ làm cho kiểu trả về dễ viết hơn - decltype(c.find(value)) thay vì decltype(std::declval<Container&>().find(std::declval<const T&>())).

Nếu biểu thức không đúng định dạng, quá tải đầu tiên của find_impl bị xóa khỏi tập quá tải, để lại tình trạng quá tải thứ hai là quá tải. Thủ thuật int/long/0 thông thường cho tham số thứ ba làm cho tình trạng quá tải đầu tiên được ưu tiên khi cả hai đều khả thi.

template<class Container, class T> 
auto find_impl(Container& c, const T& value, int) -> decltype(c.find(value)){ 
    return c.find(value); 
} 

template<class Container, class T> 
auto find_impl(Container& c, const T& value, long) -> decltype(std::begin(c)){ 
    return std::find(std::begin(c), std::end(c), value); 
} 

template<class Container, class T> 
auto find(Container& c, const T& value) -> decltype(find_impl(c, value, 0)) { 
    return find_impl(c, value, 0); 
} 

Tuyên bố từ chối trách nhiệm thông thường áp dụng: điều này dựa trên biểu thức SFINAE, hiện không được MSVC hỗ trợ; Microsoft có kế hoạch thêm hỗ trợ trong bản cập nhật cho MSVC năm 2015.