Namensräume
Varianten
Aktionen

std::rank

Von cppreference.com
< cpp‎ | types
 
 
Metaprogrammierungsbibliothek
Typmerkmale
Typkategorien
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
Typeneigenschaften
(C++11)
(C++11)
(C++14)
(C++11)(deprecated in C++26)
(C++11)(bis C++20*)
(C++11)(veraltet in C++20)
(C++11)
Typmerkmalskonstanten
Metafunktionen
(C++17)
Unterstützte Operationen
Beziehungen und Eigenschaftsabfragen
Typmodifikationen
(C++11)(C++11)(C++11)
Typentransformationen
(C++11)(veraltet in C++23)
(C++11)(veraltet in C++23)
(C++11)
(C++11)(bis C++20*)(C++17)

(C++11)
(C++11)
(C++17)
Rationale Arithmetik zur Compilezeit
Ganzzahlsequenzen zur Compilezeit
 
Definiert in der Kopfdatei <type_traits>
template< class T >
struct rank;
(seit C++11)

Wenn T ein Array-Typ ist, stellt es die Member-Konstante value bereit, die gleich der Anzahl der Dimensionen des Arrays ist. Für jeden anderen Typ ist value 0.

Wenn das Programm Spezialisierungen für std::rank oder std::rank_v(seit C++17) hinzufügt, ist das Verhalten undefiniert.

Inhalt

[bearbeiten] Hilfsvariablen-Template

template< class T >
constexpr std::size_t rank_v = rank<T>::value;
(seit C++17)

Abgeleitet von std::integral_constant

Member-Konstanten

value
[static]
die Anzahl der Dimensionen von T oder Null
(öffentliche statische Member-Konstante)

Memberfunktionen

operator std::size_t
konvertiert das Objekt in std::size_t, gibt value zurück
(öffentliche Memberfunktion)
operator()
(C++14)
gibt value zurück
(öffentliche Memberfunktion)

Membertypen

Typ Definition
value_type std::size_t
type std::integral_constant<std::size_t, value>

[bearbeiten] Mögliche Implementierung

template<class T>
struct rank : public std::integral_constant<std::size_t, 0> {};
 
template<class T>
struct rank<T[]> : public std::integral_constant<std::size_t, rank<T>::value + 1> {};
 
template<class T, std::size_t N>
struct rank<T[N]> : public std::integral_constant<std::size_t, rank<T>::value + 1> {};

[bearbeiten] Beispiel

#include <type_traits>
 
static_assert(std::rank<int>{} == 0);
static_assert(std::rank<int[5]>{} == 1);
static_assert(std::rank<int[5][5]>{} == 2);
static_assert(std::rank<int[][5][5]>{} == 3);
 
int main()
{
    [[maybe_unused]] int ary[][3] = {{1, 2, 3}};
 
    // The rank of reference type, e.g., ary[0], that is int(&)[3], is 0:
    static_assert(std::rank_v<decltype(ary[0])> == 0);
    static_assert(std::is_same_v<decltype(ary[0]), int(&)[3]>);
 
    // The solution is to remove the reference type.
    static_assert(std::rank_v<std::remove_cvref_t<decltype(ary[0])>> == 1);
}

[bearbeiten] Siehe auch

(C++11)
prüft, ob ein Typ ein Arraytyp ist
(Klassenvorlage) [bearbeiten]
(C++11)
erhält die Größe eines Arraytyps entlang einer bestimmten Dimension
(Klassenvorlage) [bearbeiten]
entfernt eine Ausdehnung vom gegebenen Array-Typ
(Klassenvorlage) [bearbeiten]
entfernt alle Ausdehnungen vom gegebenen Array-Typ
(Klassenvorlage) [bearbeiten]