如何为非单例C++类实现多次实例化时的编译器警告？

核心思路 #

要在编译阶段限制类的实例化次数（最多2次），同时允许主动创建1-2个实例，可结合CRTP（奇异递归模板模式）和模板元编程编译期计数器，通过强制开发者显式标记实例"序号"避免意外多实例化，同时用编译期断言触发警告/错误。

具体实现代码 #

#include <type_traits>

// 编译期计数器模板，跟踪实例化次数
template <typename T, int N>
struct InstanceCounter {
    static constexpr int value = InstanceCounter<T, N-1>::value + 1;
};

// 递归终止的基例
template <typename T>
struct InstanceCounter<T, 0> {
    static constexpr int value = 0;
};

// 设备控制类的模板基类，需显式指定实例序号
template <typename Derived, int InstanceNum>
class DeviceControllerBase {
protected:
    DeviceControllerBase() {
        // 编译期断言：实例序号只能是1或2
        static_assert(InstanceNum == 1 || InstanceNum == 2, 
                      "Instance number must be 1 or 2");
        // 确保每个序号仅被使用一次
        static_assert(InstanceCounter<Derived, InstanceNum>::value == InstanceNum,
                      "Duplicate instance number detected! Use unique 1/2 for each instance");
    }
};

// 实际设备控制类，默认对应实例1
class DeviceController : public DeviceControllerBase<DeviceController, 1> {
public:
    // 允许显式指定实例序号的构造方式
    template <int InstanceNum>
    explicit DeviceController(std::integral_constant<int, InstanceNum>) 
        : DeviceControllerBase<DeviceController, InstanceNum>() {}

    // 默认构造对应实例1（常规场景）
    DeviceController() = default;

    // 设备控制示例方法
    void controlDevice() {}
};

使用方式 #

• 常规单实例场景：

  DeviceController ctrl1; // 合法，无警告
  

• 特殊双实例场景：

  // 显式指定实例序号2，合法
  DeviceController ctrl2(std::integral_constant<int, 2>{});
  

• 意外多实例时编译报错：

  DeviceController ctrl3; // 编译错误：重复使用实例序号1
  DeviceController ctrl4(std::integral_constant<int, 3>{}); // 编译错误：序号超出范围
  

方案说明 #

1. 编译期计数：InstanceCounter通过递归特化在编译期累加计数，确保每个序号仅能被实例化一次。
2. 显式约束：要求开发者创建第二个实例时必须显式标记序号，从根源避免"意外"多实例化——忘记标记会直接触发编译错误，无需等到运行时。
3. 灵活性平衡：既满足99%场景下的单实例便捷性（默认构造），又支持特殊场景的双实例需求，所有检测逻辑在编译阶段完成。

动态创建场景的补充方案 #

如果存在运行时动态创建实例（如new DeviceController），编译期无法直接检测数量，但可结合运行时计数+编译期提示：

• 在类中添加静态成员static int instance_count，构造时递增、析构时递减。
• 在构造函数中加入if (instance_count > 2)，通过编译器特定宏（如__builtin_warning）触发编译警告，也可配合静态分析工具提前发现问题。

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