C ++ 20'de görünümleri olan kaplar oluşturabilecek miyiz?

C ++ 20 standart sürümü ile aralıklar C ++ 'a geliyor.

Benim sorum: Herhangi bir aralıkta standart kütüphane kapları (mevcut) oluşturabilecek miyiz? Ve daha da önemlisi, menzil görünümleriyle?

Örneğin, bu:

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

geçerli bir program olabilir 9 16 25mi?

_{Bu değer için ranges-v3 kütüphanesi ile derlenir .}

Benim sorum: Herhangi bir aralıkta standart kütüphane kapları (mevcut) oluşturabilecek miyiz? Ve daha da önemlisi, menzil görünümleriyle?

Hayır. Doğru ölçütleri karşılayan rasgele bir aralıktan oluşturulabilen tek standart kitaplık bileşeni std::span<T>.

Standart kitaplığın büyük olasılıkla gideceği yön, aralık-v3'ün de gideceği yöndür (aralık-v3'ün bağlantılı örneğinin derlendiğini, ancak kullanımdan kaldırılmış bir dönüşümle ilgili uyarıldığını unutmayın) - sizin için dönüşüm yapmak için bir yardımcı kullanarak :

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

Menzil kurucuları yönünde gitmemenizin nedenlerinden biri, kullandığınız örnekten görülebilir:

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

Bu bildirimin bu ikisinden ne kadar farklı olduğunu düşünün:

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

vmutlaka vector<transform_view<...>>tek bir içeren transform_view, wbirvector<int> .

Dahası, standart kütüphaneye daha fazla, dikkatle kısıtlanmış konteyner kurucuları eklemek üçüncü taraf konteyner türlerine yine de yardımcı olmaz - buna benzer bir tesis ranges::toher durumda mükemmel çalışır.