如何编写函数区分空值与0，识别空vector与仅含0值的vector？

该功能完全可以在单个函数中完成，不需要编写两个独立函数。核心实现思路是让函数同时返回「计算合法性标识（标识输入vector是否非空）」和「平均值计算结果」两类信息，即可明确区分空vector和仅包含0值的vector两种场景。

常用实现方式 #

方案1：返回带状态的复合值（推荐） #

利用语言自带的可选类型/多返回值特性，直接在返回值中同时承载状态和结果：

• C++ 17及以上版本示例：

#include <vector>
#include <numeric>
#include <optional>

std::optional<double> calculate_average(const std::vector<int>& input) {
    // 空vector直接返回空optional标识非法状态
    if (input.empty()) {
        return std::nullopt;
    }
    double sum = std::accumulate(input.begin(), input.end(), 0.0);
    return sum / input.size();
}

调用方只需判断返回的std::optional是否有值即可区分场景：有值说明输入非空，值为0则对应输入全0；无值对应输入为空。

• Python 3示例：

from typing import Optional, List

def calculate_average(input: List[float]) -> Optional[float]:
    if not input:
        return None
    return sum(input) / len(input)

调用方判断返回值是否为None即可区分两种场景，全0输入会返回数值0，和空输入的None完全隔离。

方案2：返回值标识状态+输出参数带回结果（兼容旧版本语言） #

如果使用不支持可选类型的老旧语言版本，可以用返回布尔值标识计算是否合法，平均值通过输出参数带出：

// 兼容C++11及更早版本的实现
#include <vector>
#include <numeric>

bool calculate_average(const std::vector<int>& input, double& output_avg) {
    if (input.empty()) {
        return false;
    }
    double sum = std::accumulate(input.begin(), input.end(), 0.0);
    output_avg = sum / input.size();
    return true;
}

调用方先判断函数返回的布尔值：返回true则output_avg为有效平均值，返回false对应输入为空。

注意事项 #

• 不要使用特殊数值（比如-1、NaN）作为空输入的标记，若业务场景中平均值可能出现这些特殊值会导致判断逻辑冲突，使用独立的状态标识更安全。
• 无需拆分两个独立函数，拆分后反而需要调用方提前判断vector是否为空再选择调用对应函数，会增加调用方的使用成本，单个函数封装状态判断逻辑的易用性更高。
• 其他语言的实现逻辑一致，比如Go返回(float64, error)、Rust返回Result<f64, Error>，都是通过复合返回值同时携带状态和结果。

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