inet_pton仅做基础格式解析，不校验RFC语义规范；需额外检查双冒号唯一性、段长1–4、无非法字符、无冗余前导零等。
直接用 inet_pton 就能验证，但要注意它只做格式+语法检查，不保证符合 RFC 4291 的语义规范（比如双冒号压缩合法性、前导零容忍度等）。
为什么不能只靠 inet_pton 判断“RFC 合法”
inet_pton 是系统级接口，目标是“能否用于 socket 绑定”，不是“是否符合人类书写规范”。它接受很多 RFC 不鼓励甚至明令禁止的写法：
-
inet_pton(AF_INET6, "2001:db8::0::1", ...)—— 双冒号出现两次，inet_pton在某些 libc 实现中会返回 1（误判为合法），但 RFC 明确要求最多一个:: -
"02001:db8::1"—— 段首多出的0，inet_pton通常接受，但 RFC 要求每段十六进制数长度 ≤4 且无冗余前导零 -
"2001:db8:0000:0000:0000:0000:0000:0001"—— 全展开格式合法，但inet_pton不校验“是否应压缩”，它只管能不能转成二进制
手动解析 IPv6 字符串的四个关键检查点
要贴近 RFC 行为，需在调用 inet_pton 前或后补上字符串层面的约束。核心是拆分 + 逐段校验：
- 先用
std::count(IP.begin(), IP.end(), ':')确认有且仅有 7 个:；否则直接拒绝（排除::出现次数异常） - 用
std::stringstream或std::string::find分割各段，注意处理::：它代表“一串连续的 0 段”，必须唯一且只能替换一段或多段全 0 - 每段非空，长度在 1–4 之间，且只含
0-9、a-f、A-F - 若某段是
"0"或"00"等，允许；但"00000"（5 位）或"0x123"（含非法字符）必须拒绝
inet_pton + 手动校验的最小可行组合
下面这个函数兼顾效率与 RFC 接近度，不依赖正则、不分配 vector：
立即学习“C++免费学习笔记（深入）”；
bool is_valid_ipv6_rfc_like(const std::string& ip) {
// 快速筛：必须有 7 个 ':'
if (std::count(ip.begin(), ip.end(), ':') != 7) return false;
<pre class="brush:php;toolbar:false;">// 检查是否含非法字符（只允许 0-9 a-f A-F :）
for (char c : ip) {
if (c != ':' && !std::isxdigit(c)) return false;
}
// 用 inet_pton 做基础格式兜底
struct in6_addr addr;
if (inet_pton(AF_INET6, ip.c_str(), &addr) != 1) return false;
// 额外检查：不允许段长 >4（如 "00000"）
size_t start = 0;
int seg_count = 0;
for (size_t i = 0; i <= ip.size(); ++i) {
if (i == ip.size() || ip[i] == ':') {
size_t len = i - start;
if (len == 0 || len > 4) return false; // 空段或超长段
start = i + 1;
seg_count++;
}
}
return seg_count == 8 || seg_count == 1; // 全压缩时可能只剩 1 段（如 "::1" → 实际 8 段，但分割后是 1）}
注意最后一行：真正合规的双冒号处理需要展开逻辑，但多数业务场景只需拦住明显越界写法（如段长 0 或 >4），这就够了。
容易被忽略的边界：大小写、嵌入 IPv4、结尾冒号
这些情况常被遗漏，但 RFC 允许或明确禁止：
-
"2001:DB8::1"—— 大写合法，std::isxdigit已覆盖 -
"::ffff:192.168.1.1"—— IPv4 嵌入格式，inet_pton支持，但手动解析时需额外识别.xxx.xxx.xxx.xxx尾缀并交由 IPv4 校验 -
"2001:db8::1:"—— 结尾冒号，std::count会算成 8 个，第一关就失败 -
"2001:db8:0:0:0:0:0:1"vs"2001:db8::1"—— 两者都合法，无需强制压缩
真正难处理的是双冒号位置推断和零段补全——除非你在实现 DNS 库或协议栈，否则用 inet_pton 加上段长/字符集检查，已经覆盖 99% 的真实输入场景。
