C++标准库不提供现成IPv6合法性校验函数，必须手动解析RFC 4291压缩格式：双冒号最多一次，段数补足为8，每段1–4位十六进制字符且无前缀，嵌入IPv4仅允许“::ffff:a.b.c.d”形式。
IPv6缩写格式的合法边界在哪
直接说结论：C++标准库不提供现成的IPv6地址合法性校验函数，std::stoi或std::stoul无法处理带前导零的十六进制段、双冒号（::）位置、段数溢出等缩写规则。必须手动解析——不是简单切分冒号，而是要模拟RFC 4291定义的“压缩表示法”语义。
常见误判现象："2001:db8::1"被当成非法（因段数不足8）、"::ffff:192.168.1.1"被忽略IPv4嵌入支持、"2001:0db8:0000:0000:0000:ff00:0042:8329"中多余前导零未被允许（其实RFC允许，但缩写后不应出现）。
用std::string_view逐段解析冒号分隔结构
核心思路是先定位双冒号::，再计算实际段数，最后对每一段做十六进制校验。不能用std::stringstream配合getline暴力分割，因为::会产生空段，且首尾双冒号（如::1或1::）会导致段数逻辑错乱。
- 先用
str.find("::")找双冒号位置，最多只能出现一次，否则非法 - 若存在双冒号，用
str.substr(0, pos)和str.substr(pos+2)拆成左右两部分，再分别按:切分 - 左段段数 + 右段段数 + 补齐的“0”段数 必须等于8；补齐数 =
8 - left_count - right_count，且必须 ≥ 0 - 每段字符串长度必须在1–4之间，且每个字符必须属于
"0123456789abcdefABCDEF"
示例片段：
立即学习“C++免费学习笔记（深入）”；
std::string_view s = "2001:db8::1";
size_t dbl = s.find("::");
if (dbl != std::string_view::npos) {
auto left = s.substr(0, dbl);
auto right = s.substr(dbl + 2);
// 左右各自split(':')，跳过空串
}十六进制段校验别踩std::stoul的坑
std::stoul(seg, nullptr, 16)看似方便，但它会静默接受"00000"（超出4位）、"0x123"（含前缀）、甚至"g"（返回0且不报错）。IPv6每段是严格4位以内、无前缀、纯十六进制数字的字符串。
- 先检查段长：
seg.length() == 0 || seg.length() > 4→ 非法 - 再遍历每个字符：
!std::isxdigit(c)→ 非法 - 转数值推荐用循环累加：
unsigned int val = 0; for (char c : seg) { val = val * 16 + std::tolower(c) - '0'; if (c >= 'a') val += 10 - ('a' - '0'); }，避免溢出和异常 - 注意：段值本身无需检查是否≤0xFFFF——4位十六进制最大就是0xFFFF，长度限制已隐含该约束
嵌入IPv4地址（::ffff:192.168.1.1）怎么识别
这种格式本质是IPv6地址的特殊写法，末尾4字节用点分十进制表示。它只出现在最后两段（即“ffff:192.168.1.1”），且前面必须有双冒号或足够段数腾出空间。解析时不能把"192.168.1.1"当十六进制段处理。
- 仅当剩余段数 ≤ 2 且最后一段含
'.'时，才尝试走IPv4解析分支 - 用
inet_pton(AF_INET, ipv4_part.data(), &buf)验证是否合法IPv4（需包含<arpa></arpa>） - 若合法，则将该IPv4地址转换为2字节
0xffff+ 4字节IPv4地址，并计入总段数校验（它占2个16位段） - 注意：
"::192.168.1.1"是非法的——缺少ffff:前缀，不属于标准嵌入格式
真正容易被忽略的是双冒号位置与IPv4段的耦合：比如"2001:db8::192.168.1.1"是非法的，因为::已压缩中间段，末尾不能再塞IPv4；只有::ffff:192.168.1.1或::192.168.1.1（后者是IPv4映射地址的简写，但实际不被RFC 4291认可，多数实现拒绝）才需特殊对待。
