C++中能否通过函数创建constexpr字符串在编译期生成文件头？

可以实现为constexpr形式，具体实现方式取决于你使用的C++标准版本。

你当前的代码无法直接添加constexpr修饰的核心原因有两个：

• C++17及更早版本的constexpr规则禁止在编译期上下文使用动态内存分配，std::string的动态构造、std::stringstream的内部操作都依赖堆内存，无法在编译期执行。
• 即使到C20已经放开了constexpr上下文的动态内存分配、支持了constexpr版的std::string，std::stringstream的constexpr支持直到C26才正式加入标准，因此你原代码里用流拼接字符串的逻辑在目前大部分已普及的编译环境下没法直接在constexpr里运行。

C++20及以上版本实现方案 #

只需要去掉std::stringstream的拼接逻辑，直接用std::string的constexpr接口拼接内容即可，代码如下：

#include <string>
#include <string_view>

constexpr std::string create_header(std::string_view comment_symbol) {
    constexpr std::string_view div(15, '-');
    constexpr std::string_view space(2, ' ');

    std::string hdr;
    hdr += comment_symbol;
    hdr += space;
    hdr += " Begin of File.\n";
    hdr += comment_symbol;
    hdr += space;
    hdr += div;
    hdr += '\n';
    return hdr;
}

constexpr std::string c_header() { return create_header("//"); }
constexpr std::string python_header() { return create_header("#"); }

// 编译期验证：静态断言可直接确认生成结果正确
static_assert(c_header() == "//  Begin of File.\n//  ---------------\n");
static_assert(python_header() == "#  Begin of File.\n#  ---------------\n");

这个版本里所有计算都可以在编译期完成，生成的字符串常量会直接编入二进制文件，运行时直接取用即可，没有额外构造开销。代码里替换了原实现的std::endl为直接写'\n'，因为std::endl附带的刷缓冲区逻辑在编译期计算场景下没有意义。

C++17及更早版本兼容方案 #

如果需要在不支持C++20的环境下实现编译期生成，可以改用固定长度的字符数组存储结果，完全避开动态内存分配：

#include <array>
#include <cstddef>

template<size_t N>
constexpr auto create_header(const char (&comment_symbol)[N]) {
    constexpr size_t div_len = 15;
    constexpr size_t space_len = 2;
    constexpr size_t fixed_text_len = 16; // " Begin of File."的长度
    constexpr size_t comment_len = N - 1; // 去掉字符串末尾的'\0'
    constexpr size_t total_len = comment_len*2 + space_len*2 + fixed_text_len + div_len + 2; // 2个换行符
    
    std::array<char, total_len + 1> res{}; // +1 存储末尾'\0'
    size_t idx = 0;
    // 拼接第一行
    for (size_t i = 0; i < comment_len; ++i) res[idx++] = comment_symbol[i];
    res[idx++] = ' '; res[idx++] = ' ';
    constexpr const char* line1 = " Begin of File.\n";
    for (size_t i = 0; i < fixed_text_len + 1; ++i) res[idx++] = line1[i];
    // 拼接第二行
    for (size_t i = 0; i < comment_len; ++i) res[idx++] = comment_symbol[i];
    res[idx++] = ' '; res[idx++] = ' ';
    for (size_t i = 0; i < div_len; ++i) res[idx++] = '-';
    res[idx++] = '\n';
    res[idx] = '\0';
    return res;
}

// 编译期直接生成头内容
constexpr auto c_header = create_header("//");
constexpr auto python_header = create_header("#");

这个版本生成的std::array是编译期常量，使用时可以直接通过.data()拿到C风格字符串，也可以很方便地转成std::string_view使用，全程没有运行时开销。

如果你只需要支持C++20及以上的环境，优先选第一种用constexpr std::string的写法，代码可读性和维护性都更好。

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