C ++ 20でビューを使用してコンテナーを構築できますか？

範囲は、C ++ 20標準バージョンでC ++に導入されます。

私の質問：任意の範囲で（既存の）標準ライブラリコンテナを構築できますか？そしてさらに重要なのは、範囲ビューで？

たとえば、これは：

#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ですか？

_{これは、価値があるもののために、ranges-v3ライブラリでコンパイルされます。}

私の質問：任意の範囲で（既存の）標準ライブラリコンテナを構築できますか？そしてさらに重要なのは、範囲ビューで？

いいえstd::span<T>。正しい基準を満たす任意の範囲から構築可能な唯一の標準ライブラリコンポーネントはです。

標準ライブラリがおそらく進む方向は、range-v3も向かっている方向です（range-v3からのリンクされた例はコンパイルされますが、非推奨の変換について警告します）- ヘルパーを使用して変換を実行します：

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

範囲コンストラクターの方向に進まない理由の1つは、使用しているまさにその例からわかります。

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

その宣言が次の2つとどの程度異なるかを考えてみましょう。

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

v必ずしもあろうvector<transform_view<...>>含む単一transform_view、一方w Aであろうvector<int>。

さらに、注意深く制約されたコンテナーコンストラクターを標準ライブラリにさらに追加しても、サードパーティのコンテナータイプはいずれにしても役立ちませんranges::to。