std::rank
Определён в заголовочном файле <type_traits> | ||
|---|---|---|
template< class T > struct rank; | (начиная с C++11) |
Если T является типом массива, предоставляет константу-член value, равную числу измерений массива. Для любого другого типа value равно 0.
Если программа добавляет специализации для std::rank или std::rank_v(начиная с C++17), поведение не определено.
Вспомогательный шаблон переменной
template< class T > constexpr std::size_t rank_v = rank<T>::value; | (начиная с C++17) |
Унаследовано от std::integral_constant
Константы-члены
|
value
[static] | число измерений T или ноль (открытая статическая константа-член) |
Функции-члены
|
operator std::size_t | преобразует объект в std::size_t, возвращает value (открытая функция-член) |
|
operator()
(C++14) | возвращает value (открытая функция-член) |
Типы-члены
| Тип | Определение |
|---|---|
value_type | std::size_t |
type | std::integral_constant<std::size_t,value> |
Возможная реализация
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> {};
|
Пример
#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);
}
См. также
|
(C++11) | проверяет, является ли тип типом массива (шаблон класса) |
|
(C++11) | получает размер массива вдоль указанного измерения (шаблон класса) |
|
(C++11) | удаляет один уровень вложенности из заданного типа массива (шаблон класса) |
|
(C++11) | удаляет все уровни вложенности из заданного типа массива (шаблон класса) |
|
(C++26) | получает число измерений отражённого типа массива (функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/rank
