有符号与无符号混算会埋下哪些嵌入式陷阱？

解释为什么 int len = -1; if (len < sizeof(buf)) 可能不进入预期分支，并列举移位表达式的检查点。