C++中如何在编译时检查同一作用域内类仅实例化一次？

我有一个来自外部库的类，同一作用域中仅允许存在一个实例。我可在包装类中使用assert(instance_counter<=1)进行检查，但希望能在编译时确保这一点。请问是否有实现方法？比如C23或C26中是否支持？

更新：理论上可在函数调用引入的嵌套作用域中实例化该类，但实际不会有人这么做，因此无需处理嵌套作用域的情况。

更新2：单例模式不可行，我需要通过构造函数和析构函数来实现RAII操作。

目前C++（包括C++23）没有原生支持直接在编译时检测同一作用域内的实例数量限制，但可以通过一些技巧结合语言特性近似实现，以下是几种可行思路：

1. 模板标签强制唯一性（局限性大） #

如果你的使用场景非常受限（比如实例仅在固定作用域创建），可以通过唯一模板标签来约束：

#include <type_traits>

// 外部库类
class ExternalLibClass {};

// 包装类，依赖唯一标签类型
template <typename Tag>
class RAIIWrapper {
    static inline bool tag_used = false;
    ExternalLibClass instance;
public:
    RAIIWrapper() {
        // 同一标签多次实例化会触发编译错误
        static_assert(!tag_used, "同一作用域只能使用唯一标签实例化");
        tag_used = true;
    }
    ~RAIIWrapper() {
        tag_used = false;
    }
};

// 使用示例：每个作用域定义专属标签
struct MainScopeTag {};

int main() {
    RAIIWrapper<MainScopeTag> obj1;
    // RAIIWrapper<MainScopeTag> obj2; // 编译错误，触发static_assert
    return 0;
}

注意：这种方法依赖开发者严格遵循“一个作用域对应一个标签”的规范，否则无法生效，实用性有限。

2. 全局作用域的constinit约束 #

如果实例仅在全局作用域创建，可借助constinit和静态变量实现编译期检查：

class ExternalLibClass {};

class RAIIWrapper {
    static constinit bool initialized = false;
    ExternalLibClass instance;
public:
    constinit RAIIWrapper() {
        static_assert(!initialized, "全局作用域只能存在一个实例");
        initialized = true;
    }
    ~RAIIWrapper() {
        initialized = false;
    }
};

// RAIIWrapper obj1;
// RAIIWrapper obj2; // 编译错误，触发static_assert

此方法仅适用于全局作用域，局部作用域无法使用，因为static_assert无法访问局部静态变量的编译期状态。

3. 编译器警告+运行时兜底 #

更实际的方案是结合编译器静态分析和运行时检查：

class ExternalLibClass {};

class RAIIWrapper {
    static inline int instance_count = 0;
    ExternalLibClass instance;
public:
    RAIIWrapper() {
        instance_count++;
        // 用编译器警告提醒开发者遵守规范
        #ifdef __GNUC__
        #warning "请确保当前作用域仅创建一个RAIIWrapper实例"
        #endif
        // 运行时断言兜底
        assert(instance_count <= 1 && "同一作用域只能有一个实例");
    }
    ~RAIIWrapper() {
        instance_count--;
    }
};

这种方法无法完全在编译期阻止违规，但能通过警告提前提醒，配合运行时assert捕获问题，平衡了实用性和约束性。

4. C++26的可能性 #

目前C++26的已提案特性中，没有专门针对“作用域内实例数量限制”的功能。未来可能会通过编译期反射或作用域感知特性实现，但相关提案仍在讨论阶段，尚未落地。

没有完美的编译期方案严格限制同一作用域内的实例数量，最务实的做法是：

• 用运行时assert作为兜底检查
• 结合代码规范和编译器警告约束开发者
• 特殊场景下可尝试模板标签的方式强制唯一性

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