C++ L17 减法算式 c++程序

C++ L17标准引入了一些新的特性，包括对减法运算符的改进，特别是对于std::optional类型的处理。在C++17之前，如果你试图从std::optional中减去一个值，会抛出异常。但在L17版本中，如果optional为空，会返回一个默认构造的std::nullopt_t，而不是引发错误。

例如，假设你有一个std::optional<int>，你可以这样安全地减去一个整数：

#include <optional>
#include <iostream>

int main() {
    std::optional<int> opt_value = 5;
    
    if (opt_value) { // 如果optional有值
        int value = *opt_value; // 获取值并进行减法操作
        int result = value - 3;
        std::cout << "Result: " << result << "\n";
    } else { // optional为空
        std::cout << "Optional is empty, cannot perform subtraction.\n";
    }

    // 或者使用L17后的语法，处理空optional
    auto subtraction = opt_value ? (*opt_value - 3) : std::nullopt;

    return 0;
}

在这个例子中，如果`opt_value`为空，`subtraction`将会是一个`std::nullopt`，而不会引发异常。