求解为什么？我自己跑是4

strlen("102\012\0abc")的函数值为多少？
为什么

strlen读取\0结束，\012为转义字符，在\0之前有四个字符，结果为四