D语言编译期递归模板计算BigInt乘积触发编译错误问题

这个报错和编译期内存不足、编译器隐式限制都没关系，本质是Phobos标准库std.bigint的实现bug：

• BigInt的乘法核心实现mulInternal会调用getCacheLimit()读取CPU缓存大小，以此作为普通乘法和卡拉楚巴快速乘法的切换阈值。
• getCacheLimit()底层依赖core.cpuid模块的运行时静态变量_dataCaches，这个变量是程序启动时执行CPUID指令填充的，编译期执行（CTFE）阶段没有实际运行环境，无法读取该变量的值。
• 递归模板每一步都会生成独立的编译期BigInt常量，模板实例化阶段编译器会强制对每一步乘法结果做完整求值，刚好触发getCacheLimit()的调用路径，直接命中CTFE禁止访问运行时静态变量的规则，抛出错误。

为什么其他BigInt编译期计算不报错？ #

• 顶层直接写cast(BigInt)ulong.max * ulong.max * ulong.max时，编译器会对连续乘法做常量折叠，整个计算被合并为单次CTFE求值，部分版本dmd会在这个路径下跳过缓存阈值检测分支，不会触发bug。
• BigInt(2) ^^ 10000000这类幂运算走了专门的平方累加优化路径，不会调用普通乘法逻辑里的缓存大小检测代码，因此不会碰到问题。

不要用递归模板存储中间BigInt结果，改用CTFE函数配合静态循环计算乘积，用enum存储编译期结果即可避开模板实例化阶段的求值陷阱：

import std.bigint;
import std.stdio;

template Product(ulong values...) {
    BigInt calc() {
        BigInt res = 1;
        static foreach(v; values) {
            res *= v;
        }
        return res;
    }
    enum Product = calc();
}

immutable BigInt NO_PROBLEM = cast(BigInt)ulong.max * ulong.max * ulong.max;
immutable BigInt WORKS_FINE = Product!(ulong.max, ulong.max, ulong.max);

void main() {
    writeln(NO_PROBLEM, " ", WORKS_FINE);
}

这个写法完全适配模板反射取数的场景：

• 所有乘法逻辑收拢在单个CTFE函数内，不会生成多层嵌套的模板中间常量
• static foreach是纯编译期展开，没有任何运行时开销，不需要硬编码变量数量
• 支持的变量规模仅受CTFE可用内存限制，远高于递归模板写法的上限。

如果需要支持超大规模的编译期BigInt计算，可以给Phobos的getCacheLimit函数补充CTFE分支判断，直接返回固定阈值即可彻底修复这个bug。

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