升级至C++20时Loki库代码编译报错的解决咨询

编译错误修复 #

你的代码在C++20下的编译错误，核心原因是依赖类型中调用模板成员函数时缺少template关键字。

在C20标准下，编译器对依赖类型的模板成员调用规则更加严格：RxTypeDispatcher<Tail>是一个依赖于模板参数TypeList的类型，它的Execute是模板成员函数，此时必须用template关键字明确告知编译器，后续的<是模板参数列表的开始，而非小于运算符。C17模式下MSVC可能允许宽松解析，但C++20下强制执行了这一规则。

修改后的代码如下：

#include <loki/Typelist.h>
#include <stdexcept>
#include <type_traits>

template <class TypeList>
struct RxTypeDispatcher
{
    template <class R, class TFunction>
    static R Execute(TFunction f)
    {
        using Tail = typename TypeList::Tail;
        // 添加template关键字明确Execute是模板成员函数
        return RxTypeDispatcher<Tail>::template Execute<R>(f);
    }
};

Loki的C++20适配建议 #

• 你使用的dutor/loki是社区维护的Loki分支，建议查看该仓库的提交记录和issue列表，确认是否已针对C20做兼容性修复。部分活跃的社区fork已经修复了模板语法、替换了过时特性，以适配现代C标准。
• 如果该分支仍存在C20兼容问题，可以提交issue请求维护者补充支持，或者针对你用到的Loki组件（如Typelist）做局部修改：例如用C20原生的std::type_list替代Loki的Typelist，或用std::tuple结合可变模板元编程实现相同逻辑，这些原生特性更简洁且完全适配C++20。
• 若不想大规模重写代码，可以先通过上述template关键字修复当前编译问题，后续再逐步将Loki的旧元编程逻辑迁移到C++20原生特性上，逐步降低对旧库的依赖。

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