C++中如何正确实现以不变字符串值为模板参数的模板？

问题根源 #

C++标准规定，字符串字面量不能直接作为非类型模板参数——因为字符串字面量是const char[N]类型的临时对象，每个字面量都有独立的存储地址，不满足非类型模板参数对“编译期确定、具有稳定外部链接的常量实体”的要求。

可行解决方案 #

方案1：使用全局/命名空间域的静态常量字符串（C++11及以上）

先定义一个具有外部链接的常量字符串，再用它的地址作为模板参数：

#include <iostream>

// 定义全局域的常量字符串，具有外部链接
constexpr const char meter[] = "m";

template<float Value, const char* Unit>
struct Displayer {
    void print() const {
        std::cout << Value << " " << Unit << std::endl;
    }
};

// 模板别名固定Unit参数
using MeterDisplayer = Displayer<2.5f, meter>;

int main() {
    MeterDisplayer d;
    d.print(); // 输出：2.5 m
    return 0;
}

注意：常量字符串必须定义在全局/命名空间域，不能是局部变量（局部变量无外部链接，无法作为模板参数）。

方案2：C++20直接使用字符串字面量（依赖标准扩展）

C++20放宽了非类型模板参数的限制，允许直接传递字符串字面量，只需将模板参数声明为const char* const或字符数组引用：

#include <iostream>

// 写法1：const char* const 类型模板参数
template<float Value, const char* const Unit>
struct Displayer {
    void print() const {
        std::cout << Value << " " << Unit << std::endl;
    }
};

// 直接用字符串字面量实例化
using MeterDisplayer = Displayer<2.5f, "m">;

// 写法2：固定大小的字符数组引用参数（更灵活）
template<float Value, std::size_t N, const char(&Unit)[N]>
struct Displayer2 {
    void print() const {
        std::cout << Value << " " << Unit << std::endl;
    }
};

int main() {
    MeterDisplayer d1;
    d1.print();

    Displayer2<3.14f, "cm"> d2;
    d2.print(); // 输出：3.14 cm
    return 0;
}

注意：不同编译器对该特性的支持可能有细节差异，需确保开启C++20编译选项（如-std=c++20）。

方案3：编译期字符串包装类（C++11/14兼容）

通过自定义编译期字符串转字符序列的辅助类，将字符串字面量转换为模板参数可接受的类型：

#include <iostream>

// 编译期字符串包装类，存储字符序列
template<char... Chars>
struct StringLiteral {
    static constexpr const char value[] = {Chars..., '\0'};
};

template<char... Chars>
constexpr const char StringLiteral<Chars...>::value[];

// 自定义字面量后缀，推导字符串的字符序列
template<typename T, T... Chars>
constexpr StringLiteral<Chars...> operator""_sl() {
    return {};
}

// Displayer模板接收StringLiteral类型作为参数
template<float Value, typename Unit>
struct Displayer {
    void print() const {
        std::cout << Value << " " << Unit::value << std::endl;
    }
};

// 使用字面量后缀生成StringLiteral实例
using MeterDisplayer = Displayer<2.5f, decltype("m"_sl)>;

int main() {
    MeterDisplayer d;
    d.print(); // 输出：2.5 m
    return 0;
}

该方案无需全局变量，完全在编译期处理，兼容C++11及以上版本。

内容的提问来源于stack exchange，提问作者Lærne