如何检查C++中pair是否已被显式赋值（非默认构造）

要解决这个问题，首先得搞清楚一个关键细节：当你默认构造std::pair<int, int> res;时，它的两个int成员会被值初始化为0（C++11及以后的标准行为）。这就意味着单纯靠检查成员值来区分“默认构造”和“显式赋值”是行不通的——毕竟你完全有可能显式赋值(0,0)，这时候就会和默认状态混淆。

下面是几种更靠谱的实现方式：

1. 使用std::optional包装pair（推荐） #

std::optional（C++17引入）天生就是用来表示“值可能存在或不存在”的场景，完美匹配你的需求：

#include <optional>
#include <utility>

int main() {
    std::optional<std::pair<int, int>> res; // 默认状态：无值，代表未被显式赋值

    // 显式赋值时：
    // res = std::make_pair(1, 2);

    // 检查是否被显式赋值：
    if (res.has_value()) {
        // 已赋值，可以通过*res访问pair
        auto& p = *res;
        // 后续操作p.first和p.second
    } else {
        // 未被显式赋值
    }
    return 0;
}

这种方式最符合现代C++编程风格，不需要手动管理额外状态，语义清晰且不易出错。

2. 手动维护一个赋值标志位 #

如果你的项目还无法使用C++17特性，那可以手动加一个布尔变量来跟踪赋值状态：

#include <utility>

int main() {
    std::pair<int, int> res;
    bool is_res_assigned = false; // 初始为false，代表未赋值

    // 显式赋值时记得同步更新标志：
    // res = std::make_pair(1, 2);
    // is_res_assigned = true;

    // 检查状态：
    if (is_res_assigned) {
        // 已显式赋值
    } else {
        // 仅默认构造，未赋值
    }
    return 0;
}

这种方式兼容性拉满，但需要注意每次赋值时必须同步更新标志位，否则会出现状态不一致的bug。

3. 依赖业务特定的“无效值”（不推荐） #

如果你的业务逻辑中，pair的两个int成员永远不会同时为0，那可以用这个简单的判断：

#include <utility>

int main() {
    std::pair<int, int> res;

    // 显式赋值：
    // res = std::make_pair(1, 2);

    // 检查：
    if (res.first != 0 || res.second != 0) {
        // 已显式赋值
    } else {
        // 仅默认构造
    }
    return 0;
}

但这个方案局限性极大——一旦业务中出现需要赋值(0,0)的场景，判断就会彻底失效，所以只适合非常特定的小众场景。

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