Tại sao các ForwardIterator được yêu cầu để mô hình DefaultConstructible?

Question

Tôi dường như không thể tìm thấy bất kỳ thuật toán chuẩn nào có thể chứng minh yêu cầu về mặc định xây dựng một ForwardIterator.

Có lý do thực sự nào cho việc đó hay không hoặc tôi có an toàn để bỏ qua nó không?

Answer 1

Nó ở đó để giảm bớt việc sử dụng các loại vòng lặp, cho cả các thuật toán tiêu chuẩn và người sử dụng của khách hàng.

Ví dụ (hãy nhớ rằng RandomAccessIterator là một subtype của ForwardIterator):

template <class RandomAccessIterator> 
    void sort (RandomAccessIterator first, RandomAccessIterator last) 
{ 
    RandomAccessIterator pivot, i, j; 
    //do your sorting algorithm   
} 

Nếu họ không mặc constructible bạn sẽ cần phải giao cho first hoặc last chỉ dành riêng cho nó để biên dịch.

Bạn không cần nó được đặt thành giá trị mặc định. Bất kỳ việc sử dụng trình lặp nào chưa được khởi tạo như vậy là không xác định. Không có nghĩa là sẽ không khôn ngoan để thêm một số kiểm tra, đặc biệt là trong các bản dựng gỡ lỗi.

Và không, bạn không nên ném vào hàm tạo mặc định. Nó sẽ phù hợp về mặt kỹ thuật, nhưng nhiều thuật toán sẽ thất bại đột ngột.

Answer 2

Từ bản sao của tôi về dự thảo:

24.2.5 Chuyển lặp [forward.iterators]

Một lớp học hoặc một built-in loại X thỏa mãn các yêu cầu của một forward iterator nếu

[...]

- X thỏa mãn các yêu cầu DefaultConstructible (20.2.1),

và sau đó:

20.2.1 yêu cầu lập luận Template

Nói chung, một constructor mặc định là không cần thiết. Một số vùng chứa nhất định chữ ký hàm thành viên của lớp chỉ định hàm tạo mặc định là đối số mặc định . T() phải là một biểu thức được xác định rõ (8.5) nếu một số của các chữ ký đó được gọi bằng cách sử dụng đối số mặc định (8.3.6).

Có hai điều cần lưu ý ở đây:

• Dòng đầu tiên cho chúng ta biết một ctor mặc định là hiếm khi cần thiết (mà hầu hết câu trả lời câu hỏi của bạn)
• Yêu cầu có lẽ là một gợi ý iterator rằng ngữ nghĩa nên tương thích với con trỏ, sau này được cấu hình mặc định (không đọc để phá vỡ mã hiện có).