Với cbegin(), cend(), tại sao không có cfront(), cback(), cfind(), ...?

Question

Vì vậy, để cho phép mã như

auto vect = ...; 
auto it = vect.begin(), end = vect.end(); // want const_iterator, getting iterator 

để chọn quá tải phải begin() và end(), ngay cả đối với container không const thì rõ ràng hơn cbegin()/cend() chức năng được thêm vào.

Tại sao dừng lại ở đó?

Vùng chứa liên kết có phương thức find() có cùng vấn đề. Các vùng chứa chuỗi có front() và back(), một lần nữa với cùng một vấn đề.

Các thiếu phiên bản const thiếu rõ ràng này hoặc theo thiết kế?

Answer 1

API rộng hơn có chi phí, thậm chí chỉ cần bỏ qua nó khi tìm kiếm hàm bạn muốn.

template<class T> 
T const as_const(T&& t) noexcept(noexcept(T(std::declval<T>())) { 
    return std::forward<T>(t); 
} 
template<class T> 
T const& as_const(T& t) noexcept { 
    return t; 
} 

thực hiện hầu hết những gì bạn muốn. Nó thậm chí sẽ làm cho cbegin lỗi thời.

(sửa đổi thực hiện để mã dựa tắt trên n4380 cung cấp bởi @TC dưới đây. Mã khác, bởi vì tôi nghĩ n4380 nhận nó hơi sai trong trường hợp T&&.)

Answer 2

Mục đích của cbegin/cend là để giải quyết một vấn đề cụ thể. Hãy xem xét mã này:

std::vector<int> & v = //... v is a non-const reference 

// For clarity, I want this iterator to be a const_iterator. 
// This works because iterator is implicitly convertible to const_iterator 
std::vector<int>::const_iterator iter = find(v.begin(),v.end(),42); 

// (1) Now I want to use iter in an algorithm 
std::find(iter, v.end(), 38); //Error, can not deduce the template parameter for Iter. 

// (2) This works 
std::find(iter, const_cast<const std::vector<int> &>(v).end(), 38); 

// (3) This is the same as (2). 
std::find(iter, v.cend(), 38); 

Vấn đề là, do cách mẫu quy định khấu trừ làm việc, trình biên dịch không thể suy ra lập luận mẫu iterator trong báo cáo (1), vì Container::iterator và Container::const_iterator là (khả năng) hai hoàn toàn các loại không liên quan (ngay cả khi loại trước đây có thể chuyển đổi ngầm ở dạng sau).

Câu lệnh (2) không chính xác là đường thẳng, đó là lý do tại sao chúng tôi cầncend().

Bây giờ, front(), back() et similia tất cả trở lại tham chiếu. Một tài liệu tham khảo không const luôn có thể được suy luận như const trong một chức năng templated, đó là:

template<class T> void f(const T & l, const T & r); 

int main() 
{ 
    int x; vector<int> v; 

    //This will works even if the return type of front() is int&. 
    f(x, v.front()); 
} 

Kể từ Container::const_reference là yêu cầu của tiêu chuẩn để được bằng const Container::value_type &, cfront()/cback() không mua chúng tôi bất cứ điều gì.

---

Điều đáng nói là thư viện vùng chứa khác (xem bạn Qt) được triển khai bằng cách sử dụng Sao chép-ghi-ghi. Điều này có nghĩa là việc gọi hàm const trên vùng chứa đó có khả năng rẻ hơn nhiều so với việc gọi phiên bản không phải là const tương đương, đơn giản là vì không phải const có thể sao chép toàn bộ vùng chứa dưới mui xe.

Vì lý do này, các thùng chứa Qt có rất nhiều constFunction trong giao diện của họ và người dùng có quyền tự do chọn đúng.