Chúng ta có thể xây dựng các thùng chứa với các khung nhìn trong C ++ 20 không?

Phạm vi đang đến với C ++ với phiên bản tiêu chuẩn C ++ 20.

Câu hỏi của tôi: Liệu chúng ta có thể xây dựng các thư viện thư viện tiêu chuẩn (hiện có) với bất kỳ phạm vi nào không? Và quan trọng hơn, với tầm nhìn phạm vi?

Ví dụ: sẽ thế này:

#include <vector>
#include <iostream>
#include <ranges>

int main() {
    auto sq = [](int x) { return x * x; };
    std::vector<int> vec { 3, 4, 5 };
    std::vector<int> squares { std::ranges::views::transform(vec, sq) };
    for(auto i : squares) { std::cout << i << ' '; }
    std::cout << std::endl;
}

là một chương trình hợp lệ mà in 9 16 25?

_{Điều này biên dịch với thư viện Range-v3 , cho những gì đáng giá.}

Câu hỏi của tôi: Liệu chúng ta có thể xây dựng các thư viện thư viện tiêu chuẩn (hiện có) với bất kỳ phạm vi nào không? Và quan trọng hơn, với tầm nhìn phạm vi?

Không. Thành phần thư viện tiêu chuẩn duy nhất có thể xây dựng từ một phạm vi tùy ý đáp ứng các tiêu chí chính xác là std::span<T>.

Hướng mà thư viện chuẩn có thể sẽ đi theo hướng mà phạm vi-v3 cũng sẽ hướng tới (lưu ý rằng ví dụ được liên kết từ phạm vi-v3 không biên dịch nhưng cảnh báo về chuyển đổi không dùng nữa) - sử dụng trình trợ giúp để thực hiện chuyển đổi cho bạn:

std::vector<int> squares =
    std::ranges::views::transform(vec, sq) | std::ranges::to<std::vector>;

Một trong những lý do để không đi theo hướng của các nhà xây dựng phạm vi có thể được nhìn thấy từ chính ví dụ bạn đang sử dụng:

std::vector<int> squares { std::ranges::views::transform(vec, sq) };

Xem xét sự khác biệt của tuyên bố đó từ hai:

std::vector v { std::ranges::views::transform(vec, sq) };
std::vector w ( std::ranges::views::transform(vec, sq) );

vsẽ nhất thiết phải là một vector<transform_view<...>>chứa một transform_view, trong khi wsẽ là một vector<int>.

Hơn nữa, việc thêm nhiều hơn, các hàm tạo container bị ràng buộc cẩn thận vào thư viện chuẩn sẽ không giúp ích gì cho các loại container của bên thứ ba - trong khi một cơ sở như ranges::tohoạt động hoàn toàn tốt trong mọi trường hợp.