STL điền và chuyển tiếp vòng lặp

Question

Theo hầu hết các tài liệu tham khảo C++, ví dụ cplusplus.com, forward iterators không bắt buộc phải được gán (ý tôi là, trì hoãn một giá trị). Tuy nhiên, đối với một số thuật toán STL rằng cần phải viết giá trị, ví dụ std::fill (còn std::generate vv), các đặc điểm kỹ thuật sử dụng mong iterator:

template <class ForwardIterator, class T> 
    void fill (ForwardIterator first, ForwardIterator last, const T& val); 

trong khi hành vi tương đương đòi hỏi dereference vế trái:

template <class ForwardIterator, class T> 
    void fill (ForwardIterator first, ForwardIterator last, const T& val) 
{ 
    while (first != last) { 
    *first = val; 
    ++first; 
    } 
} 

Vì vậy, nó thực sự là sử dụng một iterator chuyển tiếp có thể thay đổi với một pass duy nhất.

Bây giờ câu hỏi là:

(1) Tại sao không làm cho nó rõ ràng rằng lặp về phía trước được sử dụng trong những trường hợp này là có thể thay đổi?

(2) Cập nhật: Tôi thấy câu hỏi sau là ngu ngốc: Tôi tạm thời quên rằng các trình vòng lặp đầu ra không cần hỗ trợ so sánh bình đẳng. Câu hỏi trên vẫn còn, anyway.

Tại sao sử dụng trình vòng lặp chuyển tiếp thay vì trình vòng lặp đầu ra cho std::fill, std::generate vv trong khi chúng không thực sự cần nhiều lần truyền? (std::copy chỉ cần lặp đầu ra, ví dụ. Lý do là gì?)

Answer 1

Từ chữ ký

template <class ForwardIterator, class T> 
void fill (ForwardIterator first, ForwardIterator last, const T& val); 

bạn không thể suy ra rằng ForwardIterator là một iterator được mô tả trong forward iterator. Tuy nhiên, nếu bạn đọc các mô tả tham số, bạn sẽ thấy rằng first và last phải

Forward Iterators với vị trí ban đầu và cuối cùng trong một chuỗi các yếu tố có hỗ trợ được gán một giá trị của loại T.

(nhấn mạnh bởi tôi). Vì vậy, một iterator chuyển tiếp đáp ứng không có gì nhiều hơn những gì được yêu cầu của một iterator chuyển tiếp không phải là một đối số hợp lệ.

Answer 2

Điều này có vẻ không lạ lùng đối với tôi, do đặc điểm kỹ thuật cho fill là bộ lặp (không tham chiếu) có thể được gán từ T. Trình lặp đầu ra sẽ không đủ vì nó không thể so sánh để xác định phạm vi kết thúc, do đó, một yêu cầu được chọn là forward_iterator.

Bạn sẽ lưu ý rằng fill_nlàm sử dụng trình vòng lặp đầu ra vì không cần so sánh vòng lặp để xác định kết thúc chuỗi cần điền.