constexpr字符串字面量作标识符：指针一致性与最佳实践问询

一、constexpr静态成员函数返回的指针会不会每次都一样？ #

就拿你提到的traits_like结构体举例，如果你的函数是这么写的：

struct traits_like {
    static constexpr const char* id() {
        return "traits_like";
    }
};

那每次调用traits_like::id()返回的指针绝对是同一个。理由很简单：

• 字符串字面量属于静态存储期对象，从程序启动到结束，它的地址不会改变；
• 同一翻译单元里，内容完全相同的字符串字面量，主流编译器（GCC、Clang、MSVC）都会自动合并为同一个实例，地址自然一致；
• 就算跨翻译单元，模板特化的id()函数实例化后，对应的字面量只会存在一份，返回的指针也始终相同。

如果你的函数返回的是内部静态constexpr数组的指针，只要该数组是静态存储期的，返回的指针也会保持一致。

二、constexpr const char* id 和 constexpr char[] id 哪个更适合你的场景？ #

你的核心需求是通过指针比较区分不同traits类，咱分别说说两种写法的优劣：

1. 优先选择 static constexpr char[] id（静态constexpr数组）

比如：

template<typename T>
struct MyTraits {
    static constexpr char id[] = "default_traits";
};

template<>
struct MyTraits<int> {
    static constexpr char id[] = "int_traits";
};

这种写法的优势很突出：

• 每个traits特化的id是独立的静态数组，其首地址绝对唯一——哪怕你不小心给两个不同特化写了一模一样的字符串，它们的指针也不会相等，完全避免误判；
• 调试时能直接查看数组内容，比只看指针直观得多；
• 指针比较的结果完全由traits类型决定，和字符串内容无关，完美匹配你用标识区分类型的需求。

注意：C++17之前需要在类外补充定义，为了兼容旧标准建议加上：

template<typename T>
constexpr char MyTraits<T>::id[];

template<>
constexpr char MyTraits<int>::id[];

2. static constexpr const char* id（静态constexpr指针）的适用场景

如果你允许内容相同的traits被视为同一类，这种写法也可行：

template<typename T>
struct MyTraits {
    static constexpr const char* id = "default_traits";
};

但它有个潜在风险：如果两个不同的traits特化使用了完全相同的字符串字面量，编译器可能会将它们合并为同一个地址，导致指针比较时误判为相同类型。除非你能严格保证每个traits的字符串字面量唯一，否则不推荐用于依赖指针唯一性的场景。

三、针对你场景的最佳实践 #

如果你需要不同traits类型必须对应不同的标识指针，优先选择static constexpr char[] id的形式，直接用MyTraitsA::id == MyTraitsB::id就能完成比较（数组名会隐式转换为指针）。

要是你想用成员函数的形式，也可以这么写，既保证指针一致又安全：

struct traits_like {
    static constexpr const char* id() {
        return id_str;
    }
private:
    static constexpr char id_str[] = "traits_like";
};

这样每次调用id()返回的都是同一个数组的指针，完全符合你的需求。

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