如何在支持多宽度字符/字符串的函数中避免字符串字面量重复？

问题背景 #

在编写兼容std::basic_string<T>和std::basic_string_view<T>的字符串处理API时，需要一种能适配char/wchar_t/char16_t/char32_t的模板化字面量方案：

• 不能内联重复字面量
• 不能依赖难以维护的宏生成结构体
• 必须是静态constexpr字面量（可用于模板参数，由编译器管理存储，无需复制字符串）

尝试过直接定义模板变量但失败，因为非char类型需要对应的字面量前缀（u/U/L）：

template <typename CharType>
constexpr const CharType* HELLO_WORLD = "Hello World!"; // 仅char类型有效

可行解决方案 #

1. C++17+：重载constexpr函数+变量模板 #

通过重载返回对应字符类型的字面量，绑定到变量模板实现类型适配：

// 针对每种字符类型的重载
constexpr const char* get_hello_world() noexcept { return "Hello World!"; }
constexpr const wchar_t* get_hello_world() noexcept { return L"Hello World!"; }
constexpr const char16_t* get_hello_world() noexcept { return u"Hello World!"; }
constexpr const char32_t* get_hello_world() noexcept { return U"Hello World!"; }

// 变量模板，自动匹配类型
template <typename CharType>
constexpr const CharType* HELLO_WORLD = get_hello_world();

使用示例：

// 直接指定类型
const char* c_str = HELLO_WORLD<char>;
const wchar_t* wc_str = HELLO_WORLD<wchar_t>;

// 结合函数模板的类型推导
template <typename CharType>
void process(const CharType* str) { /* 处理逻辑 */ }

process(HELLO_WORLD<char16_t>);

2. C++20+：概念约束的变量模板特化 #

利用C++20的std::same_as概念简化特化语法，类型安全性更强：

#include <concepts>

template <std::same_as<char> CharType>
constexpr const CharType* HELLO_WORLD = "Hello World!";

template <std::same_as<wchar_t> CharType>
constexpr const CharType* HELLO_WORLD = L"Hello World!";

template <std::same_as<char16_t> CharType>
constexpr const CharType* HELLO_WORLD = u"Hello World!";

template <std::same_as<char32_t> CharType>
constexpr const CharType* HELLO_WORLD = U"Hello World!";

使用示例：

const char32_t* c32_str = HELLO_WORLD<char32_t>;
// 非法类型会直接触发编译错误，符合预期
// const int* invalid = HELLO_WORLD<int>;

3. 简化宏方案（兼容C++11+） #

如果希望避免重复编写字面量，可使用更简洁的宏生成变量模板特化，比原结构体方案更直观：

#define DEFINE_TEMPLATED_LITERAL(name, literal) \
template <typename CharType> constexpr const CharType* name; \
template <> constexpr const char* name<char> = literal; \
template <> constexpr const wchar_t* name<wchar_t> = L##literal; \
template <> constexpr const char16_t* name<char16_t> = u##literal; \
template <> constexpr const char32_t* name<char32_t> = U##literal;

// 定义字面量
DEFINE_TEMPLATED_LITERAL(HELLO_WORLD, "Hello World!");

// 使用
const char16_t* u16_str = HELLO_WORLD<char16_t>;

方案特性总结 #

• 所有方案均为constexpr静态字面量，可用于模板参数，无字符串复制
• 前两种方案完全基于标准C++语法，无宏依赖，便于静态分析工具识别
• 宏方案兼容更早的C++版本，且比原结构体方案更简洁易读

内容的提问来源于stack exchange，提问作者J.S. Hughes