想封装一个 modint，支持多模数，读入模数，同时因为不想写 Barrett，想要能够支持 constexpr。

泛型之类的不是很懂，想知道怎么实现，同时也想知道原理。

谢谢