通过强制转换检测未签名的环绕到签名的未定义行为？

I'm using a uint16_t as a sequence counter in a network protocol. This counter commonly wraps around as expected. When a receiver gets a packet it checks this counter against the most recently received to see whether it's a new packet or an out of order packet. as a sequence counter in a