Làm thế nào để sử dụng hai chức năng, một iterator trở về, các const_iterator trở khác

Question

Vì vậy, tôi có một chức năng gọi là tìm kiếm, trong đó có hai phiên bản:

template <typename T> 
typename btree<T>::iterator btree<T>::find(const T& elem) 
{ 
    //Implementation 
} 

và thứ hai là phiên bản const_iterator:

template <typename T> 
typename btree<T>::const_iterator btree<T>::find(const T& elem) const 
{ 
    //Implementation 
} 

Trong tập tin thử nghiệm của tôi khi tôi làm

btree<char>::iterator it = myTree.find('M'); 

Tất cả mọi thứ hoạt động tốt, tuy nhiên khi tôi sử dụng const_iterat hoặc phiên bản:

btree<char>::const_iterator it = myTree.find('M'); 

Nó mang lại cho tôi những lỗi

error: conversion from 'btree_iterator' to non-scalar type 'const_btree_iterator' requested

Mà rõ ràng có nghĩa là tìm thấy là chỉ bao giờ sử dụng iterator (không const) phiên bản. Tôi biết rằng C++ được cho là sẽ tự động gọi phiên bản const_iterator - nếu tôi đã làm mọi thứ đúng. Câu hỏi đặt ra là, tôi có thể làm gì sai?

Các lớp iterator là:

class btree_iterator và class const_btree_iterator mà chỉ là một bản sao của dán btree_iterator với những cái tên đã thay đổi

Dưới đây là toàn bộ mã nguồn:
btree_iterator.h (bao gồm const_btree_iterator) http://pastebin.com/zQnj9DxA
btree.h http://pastebin.com/9U5AXmtV
btree.tem http://pastebin.com/U9uV3uXj

Answer 1

Tất cả các container tiêu chuẩn thực hiện chuyển đổi không const để lặp const (như specified in the requirements for the Container concept):

The type of iterator used to iterate through a container's elements. The iterator's value type is expected to be the container's value type. A conversion from the iterator type to the const iterator type must exist.

Bạn cần constructor chuyển đổi như vậy:

class btree_iterator; 
class const_btree_iterator 
{ 
     // .... 
     public: 
       const_btree_iterator(const btree_iterator& rhs) { /* .... */ } 
//optionally: const_btree_iterator& operator=(const btree_iterator& rhs) { /* .... */ } 
}; 

tôi đã ném trong toán tử gán quá nhưng tôi giả sử nó là dư thừa

Answer 2

Điều quan trọng ở đây là độ phân giải quá tải được thực hiện chỉ dựa trên các đối số cho hàm và không phải là kết quả. Trong trường hợp cụ thể của bạn, bạn có hai trạng thái quá tải khác nhau và sự khác biệt là hàm this ẩn trong một trong số chúng, quá tải sẽ được chọn bất cứ khi nào kiểu tĩnh của đối tượng hoặc tham chiếu mà phương thức được gọi là hằng số.

Nếu bạn muốn để buộc công văn đến tình trạng quá tải thường xuyên, bạn có thể lấy một tham chiếu const và sau đó gọi trên tham chiếu đó:

btree<char> const & r = myTree; 
btree<char>::const_iterator it = r.find('M'); 

Bạn nên tránh xây dựng này trong mã thực tế, ngay cả khi bạn sử dụng nó cho Mục đích thử nghiệm. Lý do là do quá tải const và không const nên có cùng ngữ nghĩa và do đó hành vi phải giống nhau. Cũng cần lưu ý rằng trong các thùng chứa tiêu chuẩn, có một chuyển đổi ẩn từ iterator thành const iterator để hỗ trợ sử dụng trực tiếp trên các thùng chứa không phải là const.Bạn nên làm như vậy, có nghĩa là, nếu bạn cung cấp một chuyển đổi ngầm iterator-const_iterator, sau đó bạn chỉ có thể viết:

btree<char>::const_iterator it = myTree.find('M'); 

... và nó sẽ làm việc (sẽ không kiểm tra phương pháp find, nhưng sẽ cho phép bạn xác minh hành vi const_iterator)