Tại sao std :: khoảng cách không hoạt động trên sự kết hợp của các biến lặp const và nonconst?

Question

Giống như câu hỏi nói, tôi tự hỏi lý do cho điều đó. Vì tôi gặp lỗi khi cố gắng lấy khoảng cách giữa các thiết bị lặp không const và không phải là const.

vector<int> v; 
auto it=v.begin(); 
auto cit=v.cbegin(); 
distance(it,cit); 


no matching function for call to ‘distance(__gnu_cxx::__normal_iterator<int*, std::vector<int> >&, __gnu_cxx::__normal_iterator<const int*, std::vector<int> >&) 

Từ hiểu biết hạn chế về trình vòng lặp của tôi, tôi không thấy lý do tại sao nó không hoạt động.

Answer 1

Bạn có trình lặp lặp có thể thay đổi và một trình lặp không đổi trong cuộc gọi đến std::distance, vì vậy việc khấu trừ đối số mẫu không thành công. Bạn có thể sửa lỗi này bằng cách chỉ định đối số mẫu một cách rõ ràng.

std::vector<int> v; 
auto i1 = v.begin(); 
auto i2 = v.cbegin(); 

auto dist = std::distance<std::vector<int>::const_iterator>(i1, i2); 

Answer 2

Đó là bởi vì std::distance() chỉ mất một mẫu tham số:

template <class InputIterator> 
iterator_traits<InputIterator>::difference_type 
distance(InputIterator first, InputIterator last); 

Do đó, first và last phải chuyển đổi thành cùng loại, và độ phân giải mẫu sẽ tiếc là không xem xét rằng vector<int>::iterator là mui trần để vector<int>::const_iterator.

Answer 3

std::distance sẽ làm việc với hai trình lặp đó không hoạt động là suy luận đối số mẫu. Trình biên dịch đang cố gắng giải quyết loại nào để thay thế cho đối số mẫu đầu tiên và có hai ứng cử viên tiềm năng, theo tiêu chuẩn kết thúc trong một thất bại.

Bạn có thể làm một trong hai điều, hoặc là so sánh chỉ lặp cùng loại, hoặc cung cấp các loại với mẫu:

std::distance<std::vector<int>::const_iterator>(v.begin(), v.cbegin()); 

Answer 4

Như mọi người đều biết, đó là vì std::distance chỉ mất một loại iterator, và việc khấu trừ đối số mẫu không thể chọn giá trị của nó (mặc dù chỉ có một trong số chúng là có thể cho rằng iterator chuyển đổi thành const_iterator nhưng không quay lại).

Nó có thể là giá trị văn bản mẫu một cái gì đó như thế này:

template <typename Container> 
typename Container::const_iterator constify(const Container &, typename Container::iterator it) { 
    return it; 
} 

Sau đó, bạn có thể buộc các mẫu trích như thế này:

std::distance(constify(v, it), cit); 

thay vì viết ra rằng loại dài tuyệt vời. Các tham số Container& là một sự xấu hổ, nó có bởi vì AFAIK Container không thể được suy luận từ một đối số iterator một mình.