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

Konstruiert einen span .

Parameter

Effekte

Einschränkungen und ergänzende Informationen

Größenanforderungen

Wenn extent nicht std:: dynamic_extent ist und die Größe des Quellbereichs sich von extent unterscheidet, kann das span -Objekt nicht konstruiert werden.

Diese Überladungen nehmen nur dann an der Überladungsauflösung teil, wenn das Ergebnis des folgenden Ausdrucks true ist:

Konvertierungsanforderungen

Wenn element_type sich vom Elementtyp des Quellbereichs unterscheidet und letzterer nicht durch Qualifikationskonvertierung in ersteren umgewandelt werden kann, kann das span -Objekt nicht konstruiert werden.

Diese Überladungen nehmen nur dann an der Überladungsauflösung teil, wenn std:: is_convertible_v < U ( * ) [ ] , element_type ( * ) [ ] > gleich true ist, wobei U wie folgt definiert ist:

Konzeptanforderungen

Wenn irgendein Template-Argument bestimmte Konzept(e) nicht modelliert, kann das span -Objekt nicht konstruiert werden.

Diese Überladungen nehmen nur dann an der Überladungsauflösung teil, wenn das dem angegebenen Template-Parameter entsprechende Template-Argument die entsprechenden Konzepte erfüllt. Wenn es die semantischen Anforderungen eines entsprechenden Konzepts nicht erfüllt, ist das Verhalten undefiniert:

Weitere Einschränkungen

Exceptions

Hinweise

Beispiel

#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); // Konstruktion aus Array
    std::array a{4, 5, 6};
    print_span(a); // Konstruktion aus std::array
    std::vector v{7, 8, 9};
    print_span(v); // Konstruktion aus std::vector
#if __cpp_lib_span_initializer_list
    print_span({0, 1, 2}); // Konstruktion aus initializer_list
#else
    print_span({{0, 1, 2}}); // dito, eine Problemumgehung
#endif
}

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

Siehe auch