C++算法（7）：数组长度获取解析，从基础技巧到现代最佳实践

在C++编程中，获取数组长度是一个常见但需要谨慎处理的操作。本文将深入探讨各种获取数组长度的方法，分析它们的适用场景和潜在陷阱。

1. 基本数组的长度获取

对于传统的C风格数组，我们有几种可靠的方法来获取其长度。

1.1 sizeof运算符法

template <typename T, size_t N>
constexpr size_t array_size(T (&)[N]) {
    return N;
}

int main() {
    int arr[] = {1, 2, 3, 4, 5};
    size_t length = array_size(arr);  // 返回5
}

优点：

• 编译时确定

• 类型安全

• 适用于任何C风格数组

缺点：

• 不适用于指针（数组退化为指针后失效）

1.2 sizeof表达式法

int arr[] = {1, 2, 3, 4, 5};
size_t length = sizeof(arr) / sizeof(arr[0]);  // 返回5

注意事项：

• 必须在数组定义的作用域内使用

• 数组不能作为参数传递后使用此方法（会退化为指针）

2. 现代C++的解决方案

2.1 std::array (C++11起)

#include <array>

std::array<int, 5> arr = {1, 2, 3, 4, 5};
size_t length = arr.size();  // 返回5

优点：

• 固定大小，编译时已知

• 提供边界检查（使用at()方法）

• STL兼容接口

2.2 std::vector的动态大小

#include <vector>

std::vector<int> vec = {1, 2, 3, 4, 5};
size_t length = vec.size();  // 返回5

特点：

• 运行时动态大小

• 可动态调整容量

3. 高级技巧

3.1 编译时大小检测 (C++17)

template <auto& Array>
constexpr size_t get_array_size() {
    return std::size(Array);
}

int arr[] = {1, 2, 3, 4, 5};
constexpr size_t length = get_array_size<arr>();  // 编译时常量

3.2 概念约束 (C++20)

template <typename T>
concept IsArray = requires(T t) {
    std::size(t);
};

template <IsArray T>
size_t print_size(const T& arr) {
    return std::size(arr);
}

最佳实践建议

1. 优先使用std::array或std::vector代替原始数组

2. 如果需要使用原始数组，封装长度获取逻辑

3. 在接口设计中，避免数组退化为指针的情况

4. 对于C++17及以上版本，优先使用std::size()

5. 在多线程环境中注意数组长度的原子性访问