std::span<T,Extent>:: span

Construit un span .

Paramètres

Effets

Contraintes et informations supplémentaires

Exigences de taille

Si extent n'est pas std:: dynamic_extent et que la taille de la plage source est différente de extent , l'objet span ne peut pas être construit.

Ces surcharges participent à la résolution de surcharge uniquement si le résultat de l'expression suivante est true :

Exigences de conversion

Si element_type est différent du type d'élément de la plage source, et que ce dernier ne peut pas être converti en le premier par qualification conversion , l'objet span ne peut pas être construit.

Ces surcharges participent à la résolution de surcharge seulement si std:: is_convertible_v < U ( * ) [ ] , element_type ( * ) [ ] > est true , où U est défini comme suit :

Exigences de concept

Si un argument de template ne modélise pas certains concept(s), l'objet span ne peut pas être construit.

Ces surcharges participent à la résolution de surcharge uniquement si l'argument de modèle correspondant au paramètre de modèle spécifié satisfait aux concepts correspondants. S'il ne respecte pas les exigences sémantiques d'un concept correspondant, le comportement est indéfini :

Autres contraintes

Exceptions

Notes

Exemple

#include <array>
#include <iostream>
#include <span>
#include <vector>
void print_span(std::span<const int> s)
{
    for (int n : s)
        std::cout << n << ' ';
    std::cout << '\n';
}
int main()
{
    int c[]{1, 2, 3};
    print_span(c); // construit à partir d'un tableau
    std::array a{4, 5, 6};
    print_span(a); // construit à partir de std::array
    std::vector v{7, 8, 9};
    print_span(v); // construit à partir de std::vector
#if __cpp_lib_span_initializer_list
    print_span({0, 1, 2}); // construit à partir d'initializer_list
#else
    print_span({{0, 1, 2}}); // idem, une solution de contournement
#endif
}

1 2 3 
4 5 6
7 8 9
0 1 2

Voir aussi