发现getchar读入后c为-1并且陷入死循环 为啥啊
void read(__int128 &a){ char c=getchar(); while(!isdigit(c)){ c=getchar(); } while(isdigit(c)){ a*=10; a+=c-'0'; c=getchar(); } }