严格的 semver 格式要求版本号为 v1.2.3 或 1.2.3 形式，主次修版本均为无前导零的非负整数，可选合法预发布（-alpha.1）和构建元数据（+20240401），且二者顺序固定、字符受限、禁止空段与非法符号。
什么是严格的 SemVer 格式？先确认你到底要验什么
严格语义版本号（SemVer 2.0.0）不是“带点的数字字符串”那么简单。它必须满足：v1.2.3 或 1.2.3（可选前导 v），主版本、次版本、修订号均为非负整数，不允许前导零（1.02.3 和 1.2.03 都非法），且可选含一个加号分隔的构建元数据（如 1.2.3+20240401）和/或两个连字符分隔的预发布标识符（如 1.2.3-alpha.1）。注意：构建元数据不参与比较，但格式必须合法；预发布标识符不能为空、不能含非法字符（只允许 ASCII 字母、数字、点、连字符，且不能以点开头或结尾，也不能连续出现点）。
用正则表达式快速初筛，但别全信它
正则适合做第一层过滤，但 C++ 标准库 std::regex 在不同编译器上对 Unicode 和某些边界行为支持不一，且无法验证“无前导零”这类逻辑。推荐用这个保守正则做初步匹配：
^v?(0|[1-9]\d*)\.(0|[1-9]\d*)\.(0|[1-9]\d*)(?:-((?:0|[1-9]\d*|\d*[a-zA-Z-][0-9a-zA-Z-]*)(?:\.(?:0|[1-9]\d*|\d*[a-zA-Z-][0-9a-zA-Z-]*))*))?(?:\+([0-9a-zA-Z-]+(?:\.[0-9a-zA-Z-]+)*))?$
- 这个正则强制要求每段数字不以
0开头（除非单独是0），并约束预发布和构建字段的结构 - 但
std::regex_match可能因引擎差异失败（比如 MSVC 的std::regex对重复组支持弱），建议用std::string_view+ 手动扫描替代，或引入boost::regex - 更稳妥的做法是：用正则粗筛后，再进函数逐段解析验证
手动解析三段核心版本号，重点检查前导零和数值范围
即使正则通过，也必须拆开 major、minor、patch 三部分独立验证：
- 先用
std::string::find定位两个点的位置，确保恰好有两个点且位置合理（不能在开头/结尾，不能相邻） - 对每一段子串（例如
"00"、"012"、"0"）：- 空字符串 → 非法
- 长度大于 1 且首字符为
'0'→ 非法（排除01、00） - 包含非数字字符 → 非法
- 转换为
int后溢出（如超INT_MAX）→ 非法（虽然 SemVer 没规定上限，但实际应防异常输入）
- 注意：
"0"是合法的，"0.0.0"是有效 SemVer
预发布和构建字段的边界条件最容易漏掉
这两部分常被忽略，但严格校验时它们的存在与否、内容格式都影响合法性：
- 预发布字段（
-alpha.1）：- 若存在，必须以连字符
'-'开头，且后面至少有一个字符 - 每个标识符（用点分隔）不能为空（
-alpha..beta非法）、不能以点开头/结尾（-.alpha或-alpha.非法）、不能连续点（-alpha..beta非法） - 每个标识符只能含 ASCII 字母、数字、连字符，且不能以连字符开头或结尾（
-alpha-非法）
- 若存在，必须以连字符
- 构建字段（
+20240401）：- 若存在，必须以加号
'+'开头，且后面至少有一个字符 - 每个子段（点分隔）只能含字母、数字、连字符（
+和.不允许出现在子段内） - 同样禁止空子段、首尾点、连续点
- 若存在，必须以加号
- 顺序不可颠倒：必须先预发布再构建（
1.2.3+build-alpha是非法的）
真正难的不是写个能跑的验证器，而是把所有这些“看起来合理但 SemVer 明确禁止”的情况都覆盖到——比如 1.2.3-01.02+03.04，数字段看似合规，但预发布里的 01 和 02 违反了“无前导零”规则，而构建字段的 03 和 04 却允许（因为构建字段不要求是数字，只是字符串）。这点很容易被统一处理逻辑误伤。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
