如何无需存储即可在整数范围内生成无重复第N个随机唯一ID？

是存在的，你需要的本质是一个**[min, max] 区间上的确定性双射函数**：输入为递增的 index，输出为区间内的唯一值，双射特性可严格保证输入不重复则输出必不重复，遍历完整个区间所有值之前不会出现重复，完全不需要存储已发放/待发放ID。

可选实现方案 #

方案1：轻量线性同余生成器（LCG）变体 #

实现成本极低，性能极高，适合对安全性要求不高、不需要防ID预测的场景：

1. 首先计算区间长度 N = max - min + 1，本题中 N 为 10^20
2. 选取大于等于 N 的最小整数作为模数 M，通常选 2 的幂简化运算，本题可选 M=2^67（值约为1.47e20，刚好覆盖1e20的区间）
3. 依据赫尔-多贝尔定理选择LCG参数 a 和 c，保证生成序列周期刚好等于 M：
   • c 和 M 互质（M为2的幂时只需保证c为奇数）
   • a-1 可被 M 的所有质因子整除（M为2的幂时只需保证a mod 4 = 1）
   • 可通过传入的seed派生参数，不同seed对应不同的随机排列
4. 对index做LCG变换后，若结果落在 [0, N-1] 区间内则直接返回 min + 结果，否则重新做变换（拒绝采样），因为M仅比N大47%，平均2次运算内即可得到合法值。

方案2：格式保持加密（FPE） #

符合NIST安全标准，加密结果具备密码学级别的随机性，可防止第三方从ID反推index，适合对安全性要求高的场景：
格式保持加密是对称加密的一个分支，特点是密文和明文的格式、长度完全一致，天然就是明文空间到密文空间的双射。你只需要把index作为明文，seed作为加密密钥，加密后的结果就是符合要求的随机ID，无需额外处理即可保证无重复、全区间覆盖。

示例伪代码实现 #

对应你给出的函数签名，轻量方案的实现如下：

function getNextRandomUniqueId(index: bigint, min: bigint, max: bigint, seed: bigint): bigint {
    const N = max - min + 1n;
    // 计算大于等于N的最小2的幂作为模数
    let M = 1n;
    while (M < N) M <<= 1n;
    // 用seed派生符合要求的LCG参数
    const a = ((seed * 1145141919810n) & (M - 1n)) | 1n; // 保证a为奇数
    const a_final = (a % 4n === 1n) ? a : a + 3n; // 调整为a mod4 =1
    const c = ((seed * 19260817135792468n) | 1n) & (M - 1n); // 保证c为奇数

    let val = index;
    do {
        // LCG变换+异或混淆增强随机性
        val = (a_final * val + c) % M;
        val ^= seed & (M - 1n);
    } while (val >= N); // 过滤落在区间外的结果

    return min + val;
}

方案特性 #

• 完全确定性：相同入参永远返回相同ID，可复现可回溯
• 严格无重复：双射特性保证不同index不会输出相同ID，10^20个ID全部遍历完才会出现重复
• 无存储开销：纯CPU计算，不需要存储任何历史ID数据
• 可自定义随机性：调整混淆轮数、替换为Feistel网络或标准FPE算法，可适配从普通业务到高安全级别的所有场景

内容的提问来源于stack exchange，提问作者tashburn