Truy xuất chức năng so sánh của thùng chứa với một trình lặp vòng

Question

Với một trình vòng lặp, có thể truy xuất/sử dụng hàm so sánh chính xác cho bộ sưu tập mà trình lặp này đề cập đến không?

Ví dụ, chúng ta hãy giả sử tôi đang viết một thuật toán tổng quát:

template <class InIt, class T> 
void do_something(InIt b, InIt e, T v) { 
    // ... 
} 

Bây giờ, chúng ta hãy nói rằng tôi muốn làm điều gì đó đơn giản, giống như tìm v trong [b..e). Nếu b và e là trình lặp trên một số std::vector, tôi có thể chỉ cần sử dụng if (*b == v) .... Tuy nhiên, giả sử rằng b và e là các trình lặp qua một số std::map. Trong trường hợp này, tôi nên chỉ so sánh các phím , không phải toàn bộ loại giá trị của những gì có trong bản đồ.

Vì vậy, câu hỏi đặt ra là, khi đưa các vòng lặp đó vào bản đồ, làm cách nào để truy xuất hàm so sánh của bản đồ đó sẽ chỉ so sánh các khóa? Đồng thời, tôi cũng không muốn một cách mù quáng giả định rằng tôi đang làm việc với một số map. Ví dụ: nếu các trình vòng lặp trỏ đến một số set, tôi muốn sử dụng hàm so sánh được xác định cho rằng set. Nếu họ chỉ đến một số vector hoặc deque, tôi có thể phải sử dụng ==, vì các vùng chứa đó sẽ không có hàm so sánh được xác định. Ồ, gần như quên mất: Tôi nhận ra rằng trong nhiều trường hợp, một thùng chứa sẽ chỉ tương đương với operator< thay vì operator== cho các thành phần chứa trong đó - Tôi hoàn toàn ổn khi có thể sử dụng nó.

Answer 1

Không có cách tiêu chuẩn nào để ánh xạ từ trình lặp đến loại vùng chứa cơ bản (nếu có). Bạn có thể sử dụng một số chẩn đoán để cố gắng xác định vùng chứa nào, mặc dù điều đó sẽ không đơn giản và có thể không được đảm bảo.

Ví dụ, bạn có thể sử dụng một metafunction để xác định xem * value_type * là std::pair<const K, T>, mà là một gợi ý rằng đây có thể là một std::map và sau khi giải nén các loại K và T cố gắng sử dụng một metafunction để xác định xem loại của trình lặp và loại đối sánh std::map<K,T,X,Y>::iterator hoặc std::map<K,T,X,Y>::const_iterator cho kết hợp cụ thể của X, Y.

Trong trường hợp bản đồ có thể đủ để xác định (tức là phỏng đoán có cơ hội thành công cao) mà trình lặp tham chiếu đến std::map, nhưng bạn nên lưu ý rằng ngay cả khi bạn có thể sử dụng và thậm chí trích xuất loại X của bộ so sánh, không đủ để sao chép bộ so sánh trong trường hợp chung. Trong khi các bộ so sánh không phổ biến (và không được khuyến nghị) có thể có trạng thái, và bạn sẽ không biết trạng thái cụ thể của bộ so sánh mà không có quyền truy cập trực tiếp vào vùng chứa.Cũng lưu ý rằng có những trường hợp kiểu heuristic này thậm chí sẽ không giúp ích, trong một số kiểu thực thi std::vector<> loại trình vòng lặp trực tiếp là một con trỏ, và trong trường hợp đó bạn không thể phân biệt giữa 'trình lặp' thành một mảng và một biến lặp thành một std::vector<> các loại cơ bản giống nhau.

Answer 2

Bộ lặp không nhất thiết phải kết nối với các thùng chứa, vì vậy chúng không cung cấp cho bạn bất kỳ chi tiết nào về các thùng chứa mà chúng không nhất thiết phải kết nối với. Đó là sự trừu tượng của trình vòng lặp thiết yếu: các trình vòng lặp phân định các chuỗi, mà không quan tâm đến trình tự xuất phát từ đâu. Nếu bạn cần biết về các thùng chứa, bạn phải viết các thuật toán lấy container.

Answer 3

Thật không may các trình vòng lặp không phải lúc nào cũng biết về vùng chứa chứa chúng (và đôi khi chúng không nằm trong một thùng chứa chuẩn). Ngay cả các iterator_traits chỉ có thông tin về value_type mà không cụ thể cho bạn biết làm thế nào để so sánh.

Thay vào đó, hãy lấy cảm hứng từ thư viện chuẩn. Tất cả các hộp chứa liên kết (map, v.v.) có các phương thức find riêng của chúng thay vì sử dụng std::find. Và nếu bạn do cần sử dụng std::find trên một vùng chứa như vậy, bạn không: bạn sử dụng find_if.

Có vẻ như giải pháp của bạn là đối với các thùng chứa liên kết, bạn cần một số do_something_if chấp nhận vị từ cho biết cách so sánh các mục nhập.