C++编译期char[N]传参 宏调用库函数编译报错解决方案

报错本质是C++对编译期常量表达式的规则限制：

• 宏展开后app.run<get_parameter(url)>(url)逻辑中，get_parameter的数组长度模板推导、标签值计算，都要求传入的url是编译期可求值的常量实体
• 当你把char数组作为函数形参传入call_lib时，哪怕调用时传的是编译期已知的字符串字面量，函数体内的形参url也不属于编译期常量，无法用于模板参数推导和constexpr函数的编译期求值。这个问题和数组本身类型无关，换成std::array<char, N>作为形参也会触发完全相同的错误。

方案1：C++20 非类型模板参数传字符串（最推荐） #

把字符串从函数形参挪到模板参数位置，保证调用宏时传入的数组是编译期可见的常量实体：
首先定义可作为非类型模板参数传递的固定长度字符串包装：

#include <cstddef>
#include <algorithm>

template<std::size_t N>
struct FixedString {
    char data[N]{};
    constexpr FixedString(const char (&str)[N]) {
        std::copy_n(str, N, data);
    }
    constexpr operator const char*() const { return data; }
};

然后改造call_lib，直接通过模板参数接收字符串：

template<FixedString Url>
auto call_lib(auto& app) {
    // Url.data是编译期可见的char数组，可正常被get_parameter推导长度、编译期计算标签
    return RUN_LIB1(app, Url.data);
}

调用方式如下，全程无运行时开销，get_parameter的递归计算会在编译期完成：

call_lib<"Test">(app);

方案2：用宏封装中转逻辑（兼容C++17及更早标准） #

如果不能使用C++20特性，可以直接把你要在call_lib里实现的逻辑封装到宏中，避免字符串经过函数形参中转丢失编译期常量性：

#define CALL_LIB(app, url) \
    do { \
        /* 这里可以插入你原本要在call_lib中实现的前置逻辑 */ \
        RUN_LIB1(app, url); \
        /* 这里可以插入你原本要在call_lib中实现的后置逻辑 */ \
    } while(0)

调用方式和原库宏一致：

CALL_LIB(app, "Test");

这个方案的缺点是逻辑只能写在宏里，无法利用普通函数的调试、复用能力，但对老标准兼容性最好。

关于std::array转换思路的说明 #

仅做char[N]到std::array再转回char[N]的类型转换无法解决问题，核心卡点从来不是类型不匹配，而是函数形参不具备编译期常量性。如果要沿用这个思路，同样需要把std::array作为模板参数传入而非函数形参，本质和方案1的FixedString实现没有区别。

补充说明：只要传入get_parameter的char数组是编译期可见的常量实体，不管它是字符串字面量、还是NTTP包装里的数组成员，递归计算的过程都可以全程在编译期完成，不会产生额外运行时开销。

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