如何在函数中返回合并编译期字符串字面量的const char*（无需static变量）

你需要在编译期合并两个已知的字符串字面量，同时避免使用static std::string，可以参考以下几种方案：

方案一：预处理阶段宏拼接（最简单） #

如果MY_VALUE本身就是字符串字面量，直接利用C语言的字符串字面量拼接规则——相邻的字符串字面量会在预处理阶段自动合并：

#define MY_VALUE "VALUE"

const char* func() {
    // ...
    return "Some string literal that contains some value to be moved out: " MY_VALUE;
}

编译后会直接生成一个完整的字符串字面量，返回的指针指向程序的常量存储区，不会被释放，完全符合接口要求。缺点是宏的类型安全性较差，MY_VALUE必须是字符串字面量。

方案二：C++14+ constexpr数组拼接（类型安全） #

如果需要类型安全的编译期拼接，可以用constexpr函数将两个字符串字面量合并到std::array中，全局存储合并后的结果：

#include <array>
#include <cstddef>

constexpr auto MY_VALUE = "VALUE";

template <std::size_t N1, std::size_t N2>
constexpr auto concat(const char (&s1)[N1], const char (&s2)[N2]) {
    std::array<char, N1 + N2 - 1> result{};
    std::size_t idx = 0;
    // 复制第一个字符串（不含末尾的'\0'）
    for (; idx < N1 - 1; ++idx) {
        result[idx] = s1[idx];
    }
    // 复制第二个字符串（含末尾的'\0'）
    for (std::size_t j = 0; j < N2; ++j, ++idx) {
        result[idx] = s2[j];
    }
    return result;
}

// 编译期完成拼接
constexpr auto merged_msg = concat("Some string literal that contains some value to be moved out: ", MY_VALUE);

const char* func() {
    // ...
    return merged_msg.data();
}

这个方案完全在编译期处理，没有运行时开销，merged_msg是全局的constexpr变量，其存储区是静态的，返回的指针始终有效，且类型安全，MY_VALUE只要是编译期已知的字符数组即可。

方案三：C++17+ constexpr std::string（简洁） #

C++17开始支持constexpr std::string，可以直接在编译期生成合并后的字符串：

#include <string>

constexpr auto MY_VALUE = "VALUE";
constexpr std::string merged_msg = "Some string literal that contains some value to be moved out: " + std::string(MY_VALUE);

const char* func() {
    // ...
    return merged_msg.c_str();
}

merged_msg是全局的constexpr对象，其内部缓冲区存储在静态区域，返回的c_str()指针有效。这种方案代码更简洁，但相比std::array会有一点点字符串对象的管理开销（编译期已处理，运行时无额外成本）。

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