consteval上下文可变静态变量问题：斐波那契缓存实现咨询

尝试实现一个consteval lambda计算第n个斐波那契数，希望通过缓存复用已计算结果，但代码无法编译：

#include <map>

int main()
{
    auto fib = [](this const auto& fib, const int n) consteval noexcept -> int
    {
        static std::map<int, int> cache;
        if(cache.find(n) != cache.end())
            return cache[n];
        if(n <= 1)
            cache[n] = 1;
        else
            cache[n] = fib(n-1) + fib(n-2);
        return cache[n];
    };

    return fib(24);
}

问题原因：consteval上下文不支持static变量；若改为static constexpr，又因常量不可变性无法赋值。使用GCC trunk编译，参数为：-std=c++23 -fvisibility=hidden -fanalyzer -Ofast -Wall -Wextra -Wpedantic -Wconversion -Werror。

1. 是否可以在编译时填充cache？若可以，该如何实现？
2. 已知fib仅会被传入特定值24（递归调用除外），如何实现可在运行时引用的斐波那契值查找表？

1. 编译时填充缓存的实现 #

consteval上下文禁止static变量，但可以利用constexpr容器+编译期lambda初始化实现编译期缓存，核心是在编译期生成包含所需斐波那契值的容器，避免递归重复计算：

循环填充方式（简洁高效） #

#include <array>

int main()
{
    // 编译期生成0到24的斐波那契缓存表
    constexpr auto fib_cache = []{
        std::array<int, 25> cache{}; // 索引覆盖0-24，共25个元素
        cache[0] = 1;
        cache[1] = 1;
        // C++20及以后支持constexpr循环，编译期完成计算
        for(int i = 2; i <= 24; ++i) {
            cache[i] = cache[i-1] + cache[i-2];
        }
        return cache;
    }();

    return fib_cache[24];
}

递归填充方式（保留递归逻辑） #

如果坚持用递归逻辑计算，可在编译期lambda内部实现带局部缓存的递归：

#include <array>

int main()
{
    constexpr auto fib_cache = []{
        std::array<int, 25> cache{};
        // 递归填充缓存的lambda
        auto fib_impl = [&cache](this const auto& self, int n) -> int {
            if(n <= 1) {
                return cache[n] = 1;
            }
            if(cache[n] != 0) { // 已缓存直接返回
                return cache[n];
            }
            return cache[n] = self(n-1) + self(n-2);
        };
        fib_impl(24); // 触发编译期计算，填充整个缓存
        return cache;
    }();

    return fib_cache[24];
}

两种方式均在编译期完成缓存填充，无运行时开销。

2. 运行时可引用的斐波那契查找表 #

只需将编译期生成的缓存表定义为全局或静态常量，即可在运行时任意函数中直接引用：

#include <array>

// 全局编译期生成的斐波那契查找表，覆盖0到24的取值
constexpr std::array<int, 25> fib_lookup_table = []{
    std::array<int, 25> arr{};
    arr[0] = 1;
    arr[1] = 1;
    for(int i = 2; i <= 24; ++i) {
        arr[i] = arr[i-1] + arr[i-2];
    }
    return arr;
}();

// 运行时可调用的查找函数（可添加越界检查）
int get_fib(int n) {
    return fib_lookup_table[n];
}

int main()
{
    return get_fib(24);
}

该查找表完全在编译期生成，运行时访问仅为数组索引操作，性能最优。若需支持更大的n值，只需修改数组大小和循环上限即可。

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