@再可以矣 是这样么？infp也可能是intp