https://mp.weixin.qq.com/s/SaWtYIQpNx3d3SflqI-4oQ

基于phantom data实现编译期状态机