C++如何使用模板推导数组大小

陌丽大大_1395

陌丽大大_1395

2026-09-10

619人浏览

原创

std::size 是现代 c++ 获取数组长度的首选方案,它通过模板推导原生数组维度、返回 std::size_t、编译期检查防指针退化,安全简洁;自定义模板需用引用形参并处理 cv 限定。

c++如何使用模板推导数组大小

为什么 std::size 是首选方案

现代 C++(C++17 起)直接提供 std::size,它对原生数组做模板推导并返回 std::size_t 类型的长度,安全、简洁、无需自定义。它内部就是靠模板参数推导数组维度实现的,比如 int arr[5] 传入后能准确得到 5

常见错误是手动写 sizeof(arr)/sizeof(arr[0]) —— 这在数组退化为指针时彻底失效(比如传进函数后),而 std::size 在编译期检查参数是否为数组,不接受指针,天然防错。

实操建议:

C++
C++

"空空如也"

下载
  • 优先用 #include <iterator></iterator> 后调用 std::size(arr)
  • 不要对形参为 T*std::vector 的变量调用它——会编译失败,这反而是好事,说明你意识到了类型差异
  • 它支持多维数组,std::size(arr) 返回第一维大小,std::size(arr[0]) 得第二维

自己写模板函数推导时,必须用引用形参

如果因兼容旧标准或教学需要手写推导,核心陷阱在于:形参不能是数组类型(C++ 不允许),也不能是指针,必须是「对数组的引用」,否则推导失败或退化为指针。

错误写法:template<typename t size_t n> constexpr size_t array_size(T (&)[N]) { return N; }</typename> 是对的;但若漏掉 & 写成 T [N],实际等价于 T*,N 就无法推导。

实操建议:

  • 签名必须是 template<typename t size_t n> constexpr size_t get_size(T (&arr)[N])</typename>
  • 返回类型推荐 constexpr size_t,确保编译期可用
  • 加上 noexcept 更严谨:constexpr size_t get_size(T (&arr)[N]) noexcept
  • 注意:该函数无法接收 const int[5] 以外的 cv-qualified 数组,除非模板加 const T 分支或使用 std::remove_cvref_t

std::extentstd::rank 适合元编程场景

当你不在运行时要数值,而是在类型层面做编译期判断(比如 SFINAE 或 if constexpr),std::extent_v<t n></t>std::rank_v<t></t> 更合适。它们不操作对象,只读类型信息。

例如 std::extent_v<int></int>3std::extent_v<int></int>4std::rank_v<int></int>2。但对 int*,所有 extent_v 都是 0

实操建议:

  • 头文件是 <type_traits></type_traits>
  • std::is_array_v<t></t> 搭配用,避免对非数组类型误用
  • 不适用于获取运行时数组长度(比如栈上变长数组 VLAs,C++ 不支持,别试)
  • constexpr if 中区分 int[5]std::array<int></int> 时很实用

容易被忽略的边界情况:字符串字面量和 const 限定

字符串字面量如 "hello" 类型是 const char[6](含末尾 \0),用 std::size 或自定义模板都能正确推导出 6。但若你声明 const char* p = "hello";,再对 p 调用就会失败——因为此时已是指针。

另一个坑是模板未覆盖 const 修饰:若只写了 template<typename t size_t n> size_t f(T (&)[N])</typename>,传入 const int a[3] 会匹配失败,因为 T 被推为 int,而实际类型是 const int

实操建议:

  • 测试时务必覆盖 const int arr[5]volatile char buf[10] 等带 cv 限定的数组
  • 更健壮的手写模板应写成 template<typename t size_t n> constexpr auto get_size(T (&)[N]) noexcept -> decltype(N)</typename>,或用 std::remove_cv_t<t></t> 提取基类型
  • VS 和 GCC 对字符串字面量的数组推导行为一致,但 Clang 在某些老版本里对宽字符字面量 L"abc" 可能有差异,建议统一用 std::size 避坑

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++数组 c++数组操作 c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
c++和c语言的区别有哪些
c++和c语言的区别有哪些

c++和c语言的区别:1、面向对象编程(OOP)支持不同;2、新增特性不同;3、标准库不同;4、编译方式不同;5、命名空间不同等等。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.14

2068

9

c++和python学习顺序推荐
c++和python学习顺序推荐

一般建议先学习C++,再学习Python,因为这样可以逐步从较为底层的编程语言向更高级的语言过渡。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

939

6

python和c++学习性价比分析
python和c++学习性价比分析

Python易于学习,广泛应用于Web开发、数据科学和人工智能等领域,但性能较低。C语言性能高,适用于对性能要求较高的场景,如游戏开发和系统编程,但学习曲线陡峭,错误处理复杂。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

367

5

c语言和c++一样吗
c语言和c++一样吗

c语言和c++是两种不同的编程语言,虽然有相似之处,但存在显著差异。c语言专注于过程式编程和系统级开发,以简洁、高效著称。c++作为c语言的超集,引入了面向对象编程,增强了代码组织和管理能力,但学习曲线也更陡峭。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

307

5

c语言和c++先学哪个好
c语言和c++先学哪个好

初学者选择学习c语言还是c++语言,需要根据个人学习目标、背景以及编程兴趣和预期应用方向来决定。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

346

5

c语言和c++的区别和联系
c语言和c++的区别和联系

c语言和c++是计算机科学领域应用广泛的编程语言。虽然它们有着相似的基础,但它们在语言类型、语法功能和内存管理方面存在着显著差异。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

560

5

c++软件中文更改教程
c++软件中文更改教程

对于 ide,可通过打开设置,找到语言设置,选择中文,并保存更改。对于非 ide 应用程序,可查找设置或选项,选择语言设置,更改为中文,并保存更改。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.21

1389

9

python和java和c++学习性价比分析
python和java和c++学习性价比分析

Python以其易学性、丰富的库和活跃的社区而著称,适合数据科学、人工智能和Web开发。Java以其跨平台性、企业级应用开发和Android应用开发而闻名。C++以其底层控制能力、高效性能和游戏开发而著称。选择哪种语言取决于个人兴趣、职业方向和特定需求。想了解更多python和java和c++的相关内容,可以阅读本专题下面的文章。

2024.03.22

1177

7

c++和c语言学习顺序推荐
c++和c语言学习顺序推荐

对于初学者,建议先学习C语言,掌握编程基础后再转入C++,便于理解面向对象编程概念。有编程经验者可直接学习C++,快速接触高级编程技术。想了解更多c++和c语言的相关内容,可以阅读本专题下面的文章。

2024.03.25

1305

9

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Valgrind Quick Start Guide
Valgrind Quick Start Guide

共0课时 | 0人学习

CLion CMake 快速入门教程
CLion CMake 快速入门教程

共0课时 | 0人学习