“合数的阶乘”指合数n的阶乘n!，即判断给定正整数x是否等于某个合数n（n≥4）的阶乘；因阶乘增长极快，只需预计算n=4至20的合数阶乘并查表，溢出前终止。
什么是“合数的阶乘”？先厘清概念再写代码
“一个正整数是否为合数的阶乘”这个说法本身有歧义——阶乘 n! 是运算结果，而“合数的阶乘”不是标准数学定义。实际想问的通常是：给定正整数 x，是否存在某个合数 n（即 n > 1 且 n 不是质数），使得 x == n!？
注意：这不是判断 x 是否为“合数”，也不是判断 x 是否“能被某个阶乘整除”。核心是反向查找：枚举合数 n，算出 n!，看是否等于输入值。
由于阶乘增长极快，12! = 479001600 已超 int 范围，20! 约为 2.43e18，超出 unsigned long long（约 1.84e19）的临界点也很快。所以实际可行范围非常有限——最多检查到 n = 20 左右。
如何预生成合数阶乘表并查表？最稳的解法
与其每次运行时动态计算、反复判断质数，不如提前把所有「合数 n 对应的 n!」存进一个集合（如 std::unordered_set<unsigned long></unsigned>）。输入 x 时直接查表，O(1) 完事。
立即学习“C++免费学习笔记（深入）”；
关键点：
- 合数从
4开始（1非质非合，2、3是质数，4是最小合数） - 计算
n!时用unsigned long long，但必须在溢出前停止——一旦乘法结果（回绕）或超过预设上限（如 <code>ULLONG_MAX / n），就终止 - 只存
n为合数时的n!，跳过n = 2, 3, 5, 7, 11, 13, 17, 19...
示例片段（含防溢出）：
std::unordered_set<unsigned long long> factorial_of_composites;
unsigned long long fact = 1;
for (int n = 2; n <= 20; ++n) {
if (n < 4) continue; // 2,3 是质数；1 不是合数
if (n == 4 || n % 2 == 0 || n % 3 == 0 || n % 5 == 0) { // 简化合数判断（仅适用于小 n）
if (fact > ULLONG_MAX / n) break; // 溢出防护
fact *= n;
factorial_of_composites.insert(fact);
}
}
更严谨的合数判断可用简单试除（n <= 20 时完全够用），不必上筛法。
运行时动态验证：适合单次调用或内存受限场景
如果不想预存表，也可以对输入 x 反向推：从 n = 4 开始递增，不断用 x 除以 n，看能否一路除尽到结果为 1，且每一步的商都是整数。
例如 x = 24：
-
24 / 4 = 6→ 整除 -
6 / 3 = 2→ 但3不是合数，这条路无效（我们要求所有因子都来自合数n的阶乘定义，不能中途拆解）
所以不能拆成任意因子，必须严格匹配某个 n!。因此更稳妥的做法仍是：从小到大枚举合数 n，计算 n! 直到 ≥ x，过程中比对相等性。
注意边界：
-
x == 1：0! = 1和1! = 1，但0和1都不是合数 → 返回false -
x == 24：对应4! = 24，而4是合数 → 返回true -
x == 120：对应5! = 120，但5是质数 → 返回false
容易被忽略的坑：溢出、类型、合数判定边界
最常踩的三个坑：
-
int或long存n!→13!就溢出，务必用unsigned long long，且每步乘前检查是否溢出 - 误把
1当作合数（它既不是质数也不是合数），或漏掉4是第一个合数 - 用浮点近似（如
log估算）来反推n→ 浮点误差会导致24判成log(24)/log(4) ≈ 2.77，误判失败
真正可靠的路径只有两条：预计算查表，或小范围内暴力枚举合数并计算阶乘比对。没有捷径，也没有通用数学公式能直接判定。
