Namespaces
Variants

    std::ranges::viewable_range

    Depuis fr.cppreference.net
     
    C++
    Support du compilateur
    Indépendant et hébergé
    Langage
    Bibliothèque standard
    En-têtes de la bibliothèque standard
    Exigences nommées
    Macros de test de fonctionnalités (C++20)
    Bibliothèque de support du langage
    Bibliothèque de concepts (C++20)
    Bibliothèque de diagnostic
    Bibliothèque de gestion de la mémoire
    Bibliothèque de métaprogrammation (C++11)
    Bibliothèque d'utilitaires généraux
    Bibliothèque de conteneurs
    Bibliothèque d'itérateurs
    Bibliothèque des ranges (C++20)
    Bibliothèque d'algorithmes
    Bibliothèque de chaînes
    Bibliothèque de traitement de texte
    Bibliothèque numérique
    Bibliothèque de date et heure
    Bibliothèque d'entrée/sortie
    Bibliothèque du système de fichiers (C++17)
    Bibliothèque de support de la concurrence (C++11)
    Bibliothèque de contrôle d'exécution (C++26)
    Spécifications techniques
    Index des symboles
    Bibliothèques externes
     
    Bibliothèque des ranges
    Adaptateurs de range
     
    Défini dans l'en-tête <ranges> 
    template< class T >
concept viewable_range =
    ranges::range<T> &&
    ((ranges::view<std::remove_cvref_t<T>> &&
      std::constructible_from<std::remove_cvref_t<T>, T>) ||
     (!ranges::view<std::remove_cvref_t<T>> &&
      (std::is_lvalue_reference_v<T> ||
       (std::movable<std::remove_reference_t<T>> && !/*is-initializer-list*/<T>))));
    		(depuis C++20)

    Le concept viewable_range est un raffinement de range qui décrit un range pouvant être converti en une view via views::all.

    La constante /*is-initializer-list*/<T> est true si et seulement si std::remove_cvref_t<T> est une spécialisation de std::initializer_list.

    Exemple

    Exécuter ce code 
    #include <ranges>
#include <string>
#include <vector>
struct valid_result {};
struct invalid_result {};
template <typename T>
concept valid_viewable_range = std::same_as<T, valid_result>;
template <typename T>
concept invalid_viewable_range = std::same_as<T, invalid_result>;
auto test_viewable_range(std::ranges::viewable_range auto &&) -> valid_result;
auto test_viewable_range(auto&&) -> invalid_result;
int main()
{
    auto il = {1, 2, 3};
    int arr []{1, 2, 3};
    std::vector vec{1, 2, 3};
    std::ranges::ref_view r{arr};
    std::ranges::owning_view o{std::string("Hello")};
    static_assert(requires {
        { test_viewable_range(il) } -> valid_viewable_range;
        { test_viewable_range(std::move(il)) } -> invalid_viewable_range;
        { test_viewable_range(arr) } -> valid_viewable_range;
        { test_viewable_range(std::move(arr)) } -> invalid_viewable_range;
        { test_viewable_range(vec) } -> valid_viewable_range;
        { test_viewable_range(std::move(vec)) } -> valid_viewable_range;
        { test_viewable_range(r) } -> valid_viewable_range;
        { test_viewable_range(std::move(r)) } -> valid_viewable_range;
        { test_viewable_range(o) } -> invalid_viewable_range;
        { test_viewable_range(std::move(o)) } -> valid_viewable_range;
        { test_viewable_range(std::ranges::ref_view(o)) } -> valid_viewable_range;
    });
}

    Rapports de défauts

    Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

    DR Appliqué à Comportement publié Comportement corrigé
    LWG 3481 C++20 viewable_range acceptait une lvalue d'une vue non copiable rejette
    P2415R2 C++20 viewable_range n'acceptait que les rvalues non- view qui sont des borrowed_range accepte plus de types

    Voir aussi

    (C++20)
    		une view qui inclut tous les éléments d'un range
    (alias de modèle) (objet adaptateur de gamme)