$\varphi * 1=id$ 中的 $id$ 函数是什么意思，记得上午的时候看到了这个但是忘记是什么了，刚刚再去搜却又搜不到。麻烦 dalao 们解答一下这里的 $id$ 是什么意思，以及这个等式是什么意思