命名空间
变体
操作

std::extent

来自 cppreference.com
< cpp‎ | types
 
 
元编程库
类型特征
类型类别
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(until C++20*)
(C++11)(deprecated in C++20)
(C++11)
类型特征常量
元函数
(C++17)
支持的操作
关系和属性查询
(C++11)
(C++11)
extent
(C++11)
类型修改
(C++11)(C++11)(C++11)
类型转换
(C++11)(deprecated in C++23)
(C++11)(deprecated in C++23)
(C++11)
(C++11)
(C++17)

(C++11)(until C++20*)(C++17)
编译时有理数运算
编译时整数序列
 
定义在头文件 <type_traits>
template< class T, unsigned N = 0 >
struct extent;
(自 C++11 起)

如果 T 是数组类型,则提供成员常量 value,等于数组沿第 Nth 维的元素数量,如果 N[0std::rank<T>::value) 中。对于任何其他类型,或如果 T 是其第一维边界未知的数组,且 N0,则 value0

如果程序为 std::extentstd::extent_v(自 C++17 起)添加了专门化,则行为未定义。

内容

[编辑] 帮助变量模板

template< class T, unsigned N = 0 >
constexpr std::size_t extent_v = extent<T, N>::value;
(自 C++17 起)

继承自 std::integral_constant

成员常量

value
[静态]
T 沿第 N 维的元素数量
(公共静态成员常量)

成员函数

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, unsigned N = 0>
struct extent : std::integral_constant<std::size_t, 0> {};
 
template<class T>
struct extent<T[], 0> : std::integral_constant<std::size_t, 0> {};
 
template<class T, unsigned N>
struct extent<T[], N> : std::extent<T, N - 1> {};
 
template<class T, std::size_t I>
struct extent<T[I], 0> : std::integral_constant<std::size_t, I> {};
 
template<class T, std::size_t I, unsigned N>
struct extent<T[I], N> : std::extent<T, N - 1> {};

[编辑] 示例

#include <type_traits>
 
static_assert(
    std::extent_v<int[3]> == 3 && // default dimension is 0
    std::extent_v<int[3], 0> == 3 && // the same as above
    std::extent_v<int[3][4], 0> == 3 &&
    std::extent_v<int[3][4], 1> == 4 &&
    std::extent_v<int[3][4], 2> == 0 &&
    std::extent_v<int[]> == 0
);
 
int main()
{
    const auto ext = std::extent<int['*']>{};
    static_assert(ext == 42); // with implicit conversion to std::size_t
 
    const int ints[]{1, 2, 3, 4};
    static_assert(std::extent_v<decltype(ints)> == 4); // array size
 
    [[maybe_unused]] int ary[][3] = {{1, 2, 3}};
 
    // ary[0] is of type reference to 'int[3]', so, the extent
    // cannot be calculated correctly and it returns 0
    static_assert(std::is_same_v<decltype(ary[0]), int(&)[3]>);
    static_assert(std::extent_v<decltype(ary[0])> == 0);
 
    // removing reference gives correct extent value 3
    static_assert(std::extent_v<std::remove_cvref_t<decltype(ary[0])>> == 3);
}

[编辑] 另请参阅

(C++11)
检查类型是否为数组类型
(类模板) [编辑]
(C++11)
获取数组类型的维数
(类模板) [编辑]
从给定的数组类型中移除一个范围
(类模板) [编辑]
从给定的数组类型中移除所有范围
(类模板) [编辑]
(C++23)
某个秩的多维索引空间的描述符
(类模板) [编辑]