◐ Shell
clean mode source ↗

std::rank - cppreference.com

来自cppreference.com

若 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

成员常量

T 的维数或者零
(公开静态成员常量)

成员函数

将对象转换到 std::size_t，返回 value
(公开成员函数)
返回 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}};

    // 引用类型（如 ary[0]，即 int(&)[3]）的秩为 0：
    static_assert(std::rank_v<decltype(ary[0])> == 0);
    static_assert(std::is_same_v<decltype(ary[0]), int(&)[3]>);

    // 解决方案是移除引用类型。
    static_assert(std::rank_v<std::remove_cvref_t<decltype(ary[0])>> == 1);
}

参阅