// /**
//  * @deprecated
//  */
// export default function getRandomInt(min: number, max: number): number {
//     min = Math.ceil(min);
//     max = Math.floor(max);
//     //不含最大值，含最小值
//     return Math.floor(Math.random() * (max - min)) + min;
// }