เราจะสามารถสร้างคอนเทนเนอร์ด้วยมุมมองใน C ++ 20 ได้หรือไม่?

ช่วงกำลังมาถึง C ++ ด้วยเวอร์ชันมาตรฐาน C ++ 20

คำถามของฉัน: เราจะสามารถสร้างคอนเทนเนอร์ไลบรารีมาตรฐาน (ปัจจุบัน) กับช่วงใด ๆ ได้หรือไม่ และที่สำคัญยิ่งกว่าด้วยมุมมองระยะไกล?

ตัวอย่างเช่นจะ:

#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;
}

เป็นโปรแกรมที่ถูกต้องซึ่งพิมพ์9 16 25?

_{สิ่งนี้จะรวบรวมกับไลบรารี range-v3สำหรับสิ่งที่คุ้มค่า}

คำถามของฉัน: เราจะสามารถสร้างคอนเทนเนอร์ไลบรารีมาตรฐาน (ปัจจุบัน) กับช่วงใด ๆ ได้หรือไม่ และที่สำคัญยิ่งกว่าด้วยมุมมองระยะไกล?

เลขที่องค์ประกอบห้องสมุดมาตรฐานเดียวที่เป็น constructible std::span<T>จากช่วงที่พลที่ตรงตามเกณฑ์ที่ถูกต้องคือ

ทิศทางห้องสมุดมาตรฐานมีแนวโน้มที่จะไปกับเป็นหนึ่งที่ช่วง v3 ยังเป็นไปต่อ (หมายเหตุว่าตัวอย่างที่เชื่อมโยงจากช่วง v3 จะรวบรวม แต่เตือนบนแปลงเลิกใช้แล้ว) - การใช้ผู้ช่วยที่จะทำแปลงสำหรับคุณ:

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

หนึ่งในเหตุผลที่ไม่เห็นทิศทางของตัวสร้างช่วงนั้นสามารถดูได้จากตัวอย่างที่คุณใช้:

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

พิจารณาว่าการประกาศนั้นแตกต่างจากสองสิ่งนี้อย่างไร:

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

vจำเป็นต้องจะเป็นvector<transform_view<...>>ที่มีเพียงหนึ่งเดียวtransform_viewในขณะที่จะเป็นwvector<int>

ยิ่งไปกว่านั้นการเพิ่มตัวสร้างคอนเทนเนอร์ที่ จำกัด มากขึ้นอย่างระมัดระวังในไลบรารีมาตรฐานจะไม่ช่วยประเภทคอนเทนเนอร์ของบุคคลที่สามอยู่ดีในขณะที่สิ่งอำนวยความสะดวกเช่นนี้ranges::toทำงานได้ดีอย่างสมบูรณ์ในทุกกรณี