最推荐使用 std::count_if 计算非零元素个数，因其意图明确、类型安全、不依赖随机访问；整型用 x != 0，浮点需避免直接判零而应结合 eps 或 isfinite，指针必须用 != nullptr。
用 std::count_if 最直接可靠
标准库的 std::count_if 是计算非零元素个数最推荐的方式，它明确表达意图、类型安全、且不依赖容器是否支持随机访问。
常见错误是误用 std::count 传入 0，但整型数组里可能有多个不同“零值”（如 0.0f、nullptr），而 std::count 只做全等比较，对浮点或指针不适用；std::count_if 则可自定义逻辑。
- 对
int数组：int arr[] = {1, 0, -2, 0, 3};<br>size_t n = std::count_if(std::begin(arr), std::end(arr), [](int x) { return x != 0; }); - 对
double数组（避免浮点直接判零）：std::count_if(data, data + N, [](double x) { return std::abs(x) > 1e-9; }); - 对指针数组：
std::count_if(ptrs, ptrs + N, [](void* p) { return p != nullptr; });
手写循环更可控，尤其要处理边界或特殊零值
当需要跳过某些“逻辑上为零但物理非零”的情况（如 NaN、-0.0、带符号整数的最小值），或数组长度未知/来自 C 接口时，显式循环反而更清晰。
容易踩的坑是忘记检查数组长度为 0 的情况，或用 sizeof(arr)/sizeof(*arr) 计算长度却传入了指针参数——此时 sizeof 返回指针大小而非数组大小。
立即学习“C++免费学习笔记（深入）”；
- 安全写法（传入长度）：
size_t count_nonzero(const double* arr, size_t len) {<br> size_t cnt = 0;<br> for (size_t i = 0; i < len; ++i) {<br> if (std::isfinite(arr[i]) && std::abs(arr[i]) > 1e-12) cnt++;<br> }<br> return cnt;<br>} - 避免
sizeof陷阱：不要在函数内对形参int arr[]做sizeof运算，它只是指针。
用 std::reduce（C++17 起）适合并行或大数据量
如果数组很大（比如百万级），且你已启用并行算法支持（-ltbb 或 libstdc++ 并行模式），std::reduce 可自动分段并行计数，性能优于串行循环。
注意：它要求二元操作满足结合律和交换律，简单加法没问题，但若逻辑含副作用（如打印日志）就不能用。
- 基础用法：
auto cnt = std::reduce(std::execution::par_unseq,<br> std::begin(arr), std::end(arr),<br> 0UL,<br> std::plus<>(),<br> [](int x) { return x != 0 ? 1UL : 0UL; }); - 不加执行策略就是串行，等价于普通累加；加了
par_unseq后需确保 lambda 无状态、无副作用。 - MSVC 和 GCC 11+ 支持较好；Clang 需确认 STL 实现是否启用并行模式。
别忽略类型差异：整型、浮点、指针的“零”含义不同
同一个“非零判断”，在不同类型下语义完全不同。编译器不会帮你区分，写错逻辑会导致静默错误。
例如 double x = -0.0;，x != 0.0 是 false，但 std::signbit(x) 为真；又如 int8_t x = 0; 和 uint8_t x = 0; 虽然字节相同，但后者永远不可能为负零。
- 整型：直接
!= 0安全 - 浮点：优先用
std::isnormal(x) || std::isfinite(x) && std::abs(x) > eps，避免== 0.0或!= 0.0 - 指针：必须用
!= nullptr，而不是!= 0（虽兼容但可读性差） - 用户类型（如
std::optional）：应调用has_value()，而非比较内部值
实际项目中，多数场景用 std::count_if 就够了；真正需要优化时，才考虑并行或手写循环。最关键的不是选哪个函数，而是想清楚“你定义的‘非零’到底指什么”。
