C++中除显式字符串字面量外，如何用命名常量初始化C风格字符串？

直接用数组名PRESIDENT初始化结构体的C风格字符串会报错，原因是数组名在初始化列表中会退化为const char*指针，而结构体的char name[40]是数组类型，无法用指针直接初始化（编译器会尝试把指针值赋值给第一个char元素，类型不匹配）。下面是几种比#define更安全、更优雅的方案：

1. 给结构体添加constexpr构造函数（C++11及以上） #

通过构造函数封装字符串复制逻辑，既支持显式字面量，也支持数组变量初始化：

#include <cstddef>

constexpr void copy_cstr(char* dest, const char* src, std::size_t max_len) {
    std::size_t i = 0;
    while (i < max_len - 1 && src[i] != '\0') {
        dest[i] = src[i];
        ++i;
    }
    dest[i] = '\0'; // 确保字符串终止符
}

struct Person {
    char name[40];
    // 支持constexpr初始化，编译期完成复制
    constexpr Person(const char* n) {
        copy_cstr(name, n, sizeof(name));
    }
};

constexpr char PRESIDENT[] = "George Bush";
Person somebody { "George Bush" }; // 正常工作
Person president { PRESIDENT };   // 现在可行

2. C++20：用标准库constexpr复制函数简化代码 #

C++20起std::copy_n等算法支持constexpr上下文，构造函数可以更简洁：

#include <algorithm>
#include <cstddef>

struct Person {
    char name[40];
    constexpr Person(const char* n) {
        std::size_t len = 0;
        // 先计算有效长度，避免越界
        while (n[len] != '\0' && len < sizeof(name)-1) ++len;
        std::copy_n(n, len, name);
        name[len] = '\0';
    }
};

constexpr char PRESIDENT[] = "George Bush";
Person president { PRESIDENT };

3. 编译期lambda初始化（无需修改结构体） #

如果不能修改Person结构体的定义，可以用constexpr lambda在初始化时完成数组填充：

struct Person {
    char name[40];
};

constexpr char PRESIDENT[] = "George Bush";

// 编译期生成Person对象
constexpr Person president = []{
    Person p{}; // 默认初始化数组为0
    std::size_t i = 0;
    while (i < sizeof(p.name)-1 && PRESIDENT[i] != '\0') {
        p.name[i] = PRESIDENT[i];
        ++i;
    }
    p.name[i] = '\0';
    return p;
}();

4. 替换为std::array（可选，更现代的写法） #

如果允许修改结构体的成员类型，用std::array<char, 40>替代原始C数组，能获得更安全的操作：

#include <array>
#include <cstring>

struct Person {
    std::array<char, 40> name;
};

constexpr char PRESIDENT[] = "George Bush";
constexpr Person president = []{
    Person p{};
    // strncpy确保不越界，最后手动添加终止符
    std::strncpy(p.name.data(), PRESIDENT, p.name.size());
    p.name[p.name.size()-1] = '\0';
    return p;
}();

为什么不推荐#define？ #

宏是预处理阶段的文本替换，没有类型检查，若PRESIDENT后续被修改为非字符串类型，宏替换会导致隐蔽的编译错误；而上述方案都是类型安全的，编译期就能捕获问题，且支持constexpr编译期初始化，性能更优。

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