如何在无运行时开销下实现C++宏中字符串字面量与const char*拼接？

解决方案：区分编译期字符串字面量与运行时const char* #

我们可以通过模板重载和constexpr编译期计算实现需求，既保留字符串字面量的编译期拼接优势，又在处理const char*时完全避免内存分配：

1. 编译期字符串拼接工具

先实现一个constexpr函数，专门用于在编译期拼接两个字符串字面量：

#include <iostream>

// 编译期拼接两个字符串字面量，自动合并结束符
template<size_t PrefixLen, size_t MsgLen>
constexpr auto concat_literals(const char (&prefix)[PrefixLen], const char (&msg)[MsgLen]) {
    char combined[PrefixLen + MsgLen - 1]{}; // 减去重复的'\0'
    
    size_t idx = 0;
    // 复制前缀内容
    for (; idx < PrefixLen - 1; ++idx) {
        combined[idx] = prefix[idx];
    }
    // 复制消息内容（包含自身的'\0'）
    for (size_t msg_idx = 0; msg_idx < MsgLen; ++msg_idx, ++idx) {
        combined[idx] = msg[msg_idx];
    }
    
    return combined;
}

2. 重载日志函数适配不同参数

写两个重载的日志入口，分别处理拼接后的字面量和运行时指针：

// 接收编译期拼接完成的字符串
void log_msg(const char* msg) {
    std::cout << msg << '\n';
}

// 直接输出前缀+指针内容，无内存分配
void log_msg(const char* prefix, const char* msg) {
    std::cout << prefix << msg << '\n';
}

3. 模板函数自动推导参数类型

通过模板函数自动识别传入的是字符串字面量还是const char*，路由到对应处理逻辑：

// 匹配字符串字面量：编译期拼接后调用单参数日志函数
template<size_t MsgLen>
void test_log(const char (&msg)[MsgLen]) {
    constexpr auto combined = concat_literals("hello ", msg);
    log_msg(combined);
}

// 匹配const char*：直接调用双参数日志函数，跳过内存分配
void test_log(const char* msg) {
    log_msg("hello ", msg);
}

4. 使用示例

int main() {
    test_log("world"); // 编译期拼接为"hello world"，直接输出
    
    const char* runtime_msg = "message";
    test_log(runtime_msg); // 直接输出"hello " + "message"，无内存分配
}

原宏方案失败的原因 #

原宏TEST(message)展开后，对于字符串字面量"world"会变成foo("hello " "world")——这符合C语法：相邻的字符串字面量会在编译期自动拼接。但对于const char* msg，宏展开后变成foo("hello " msg)，这是语法错误：C不允许将字符串字面量与指针变量直接用空格拼接，编译器无法识别这种操作。

保留宏写法的替代方案（可选） #

如果坚持想用原有的宏调用方式，可以将宏转发到上面的模板函数：

#define TEST(message) test_log(message)

这样调用逻辑和你原来的代码完全一致，内部会自动处理两种参数类型。

内容的提问来源于stack exchange，提问作者Enes Aygün