如何测试C++ option类型的正确性

要测试 C++ std::optional 类型的正确性，你可以编写一些测试用例来验证其行为是否符合预期

1. 包含必要的头文件：

#include<iostream>
#include<optional>
#include<string>
#include<vector>
#include <stdexcept>

2. 编写测试函数：

为了简化测试，我们可以编写一个辅助函数，该函数接受一个布尔表达式和一个错误消息。如果表达式为 false，则抛出一个异常并显示错误消息。

void assertTrue(bool expr, const std::string& msg) {
    if (!expr) {
        throw std::runtime_error("Assertion failed: " + msg);
    }
}

3. 编写测试用例：

接下来，我们将编写一些测试用例来验证 std::optional 的行为。

void testOptional() {
    // 测试默认构造的 optional 是否为空
    std::optional<int> emptyOpt;
    assertTrue(!emptyOpt, "Default constructed optional should be empty");

    // 测试值构造的 optional 是否包含值
    std::optional<int> valueOpt(42);
    assertTrue(valueOpt, "Value constructed optional should not be empty");
    assertTrue(valueOpt.value() == 42, "Value constructed optional should contain the correct value");

    // 测试从值构造的 optional
    std::optional<std::string> strOpt = std::string("Hello");
    assertTrue(strOpt, "Optional constructed from value should not be empty");
    assertTrue(strOpt.value() == "Hello", "Optional constructed from value should contain the correct value");

    // 测试复制构造
    std::optional<int> copiedOpt = valueOpt;
    assertTrue(copiedOpt, "Copied optional should not be empty");
    assertTrue(copiedOpt.value() == 42, "Copied optional should contain the correct value");

    // 测试赋值操作
    emptyOpt = 100;
    assertTrue(emptyOpt, "Assigned optional should not be empty");
    assertTrue(emptyOpt.value() == 100, "Assigned optional should contain the correct value");

    // 测试重置操作
    valueOpt.reset();
    assertTrue(!valueOpt, "Reset optional should be empty");
}

4. 运行测试：

在主函数中调用测试函数，并捕获任何可能抛出的异常。

int main() {
    try {
        testOptional();
        std::cout << "All tests passed!"<< std::endl;
    } catch (const std::exception& e) {
        std::cerr << "Test failed: " << e.what()<< std::endl;
        return 1;
    }
    return 0;
}

5. 编译和运行：

使用支持 C++17 或更高版本的编译器编译并运行上述代码。如果所有测试都通过，你将看到 “All tests passed!” 的输出。如果有任何失败的测试，你将看到相应的错误消息。

请注意，这只是一个简单的测试示例，实际上你可能需要根据你的需求编写更多的测试用例来覆盖更多的场景和边界情况。