编译时类型运算 做 序列化的库很重要