如何在编译时获取数组大小？C/C++实现及C++风格方案探讨

当然可以！C从C11开始就提供了好几种类型安全、更贴合现代C++风格的方式来获取数组的编译时大小，完美替代C语言里的宏实现，还能避开宏的各种坑。下面就给你详细说说几种常用方案：

1. 用std::extent（C++11+） #

这个工具来自<type_traits>头文件，专门用来获取数组类型的维度大小，是编译时计算的常量：

#include <type_traits>

int some_array[1024];
// C++17及以上可以用更简洁的变量模板
constexpr std::size_t array_size = std::extent_v<decltype(some_array)>; 
// 如果是C++11/14，就用下面的写法
constexpr std::size_t array_size_cpp11 = std::extent<decltype(some_array)>::value;

它的优势是类型安全：如果你不小心把指针传进去（比如函数参数里退化为指针的数组），它会返回0，不会像C宏那样算出一个莫名其妙的错误值，帮你提前发现问题。

2. 自定义constexpr模板函数（C++11+） #

你可以自己实现一个类型安全的countof，用模板参数推导数组的大小，而且是编译时常量：

template <typename T, std::size_t N>
constexpr std::size_t countof(const T (&)[N]) noexcept {
    return N;
}

// 使用示例
int my_arr[512];
constexpr auto size = countof(my_arr); // 编译时得到512

这个方案比C宏靠谱多了：如果你试图给它传指针（比如void func(int arr[]) { countof(arr); }），编译器会直接报错，因为指针无法匹配数组引用的模板参数，从根源上避免了宏的文本替换带来的错误。

3. 用std::size（C++17+） #

如果你用的是C++17及以上，推荐直接用<iterator>头文件里的std::size——它是个通用接口，不仅能处理原生数组，还支持所有STL容器（比如std::vector、std::array）：

#include <iterator>
#include <vector>

int arr[256];
constexpr auto arr_size = std::size(arr); // 编译时得到256

std::vector<int> vec{1, 2, 3};
auto vec_size = std::size(vec); // 运行时得到3（对数组是编译时）

这个方法的好处是统一接口，不管是原生数组还是容器，都用同一个函数获取大小，不用记多个语法，代码更一致。

和C宏对比的优势 #

这些C++方案相比C语言的宏，有几个核心优势：

• 类型安全：不会因为传指针、错误类型而产生隐蔽的计算错误，编译器会直接提示问题。
• 无宏副作用：宏是文本替换，比如countof(arr++)会导致arr被多次自增，而C++的函数/模板会直接报错（数组不能被自增）。
• 编译时保证：所有针对数组的实现都是constexpr，可以直接用来定义另一个数组的大小，比如int another_arr[countof(my_arr)];，完全满足编译时常量的需求。

内容的提问来源于stack exchange，提问作者YSC