C++如何在编译期检查字符串出现次数避免重复实例化类

算力阿峰

2026-9-28

核心前提说明

编译期校验仅支持编译期确定的字符串字面量，如果你的车牌号是运行时动态生成的（比如用户输入、接口返回、数据库读取），编译阶段无法预知具体值，不可能实现编译期检查，只能保留你现有的运行时校验方案。

实现思路（C++20及以上版本）

我们可以利用 constexpr 字符串、模板非类型参数、ODR（单一定义规则）组合实现需求：把每个车牌字符串字面量编码为唯一的类型，利用同一类型不能重复实例化的特性触发编译错误。
示例实现代码如下：

#include <string>
#include <algorithm>

// 包装字符串字面量作为模板非类型参数
template<size_t N>
struct StringLiteral {
    constexpr StringLiteral(const char (&str)[N]) {
        std::copy_n(str, N, value);
    }
    char value[N];
};

template<StringLiteral Plate>
class Car {
public:
    Car() {
        // 每个不同的Plate对应唯一的Car实例，利用ODR规则保证仅能初始化一次
        static_assert([](){ return true; }(), "车牌重复注册");
        _plate = Plate.value;
    }
private:
    std::string _plate;
};

// 显式实例化声明，保证同一字符串的Car模板仅能被实例化一次
template<StringLiteral Plate> Car<Plate> make_car() {
    return Car<Plate>{};
}

int main() {
    auto someCar = make_car<"A4EM21F">();
    auto anotherCar = make_car<"F121EG4">();
    auto lastCar = make_car<"A4EM21F">(); // 编译直接报错：重复实例化
}