C++ L17 减法算式

C++ L17（也称为C++20）引入了几个新特性，其中并不包含专门针对减法算式的单独改变。然而，L17确实对整个语言语法和库功能做了增强，比如引入了Rust风格的范围-for循环（Range-Based For Loop），以及std::ranges库的改进，使得处理序列数据更加方便。

在C++中，基本的减法操作`a - b`一直存在，并没有因为L17而有所变化。它用于计算两个数值之间的差值，如整数、浮点数或者其他兼容类型的减法。如果涉及到更复杂的数学运算，你可以使用标准库提供的`std::numeric_limits`或`<cmath>`头文件来进行模板算术。

关于`std::optional`的减法操作，虽然不是L17的核心内容，但在L17中它的用法得到了提升，可以对`std::optional`进行减去零的操作，以简化一些空值检查。