如何在C++编译阶段检测全局变量是否被多处赋值？

针对你提到的多核裸机嵌入式场景，需要确保全局状态变量仅被单个函数/核赋值，且必须在编译阶段完成检测，以下是几种可行方案：

方案一：封装类模板实现编译期权限控制 #

通过将变量封装到类中，仅开放指定函数的写权限，编译期就能拦截非法赋值：

#include <cstdio>

// 模板类：每个变量对应唯一Tag，仅指定友元函数可写
template <typename T, int Tag>
class SingleWriteGlobal {
private:
    T _value;
    // 私有构造，仅允许全局实例化
    SingleWriteGlobal() = default;
    // 声明专属写函数为友元（需提前声明函数）
    friend void fn1();

public:
    // 开放读权限
    operator T() const { return _value; }
    T get() const { return _value; }

    // 仅友元可调用的写接口
    void set(T val) { _value = val; }
    T& operator++() { return ++_value; }
};

// 全局变量实例：Tag=0对应变量a，仅fn1可写
SingleWriteGlobal<int, 0> a;

void fn1() {
    ++a; // 合法：fn1是友元，可调用写接口
}

void fn2() {
    // 以下操作均会触发编译错误
    // a.set(2);   // 错误：set是私有成员，fn2不是友元
    // ++a;        // 错误：operator++是私有成员
    // a = 2;      // 错误：无public赋值运算符
}

void print(int val) {
    printf("%d\n", val);
}

int main() {
    while(1) {
        fn1();
        fn2();
        print(a);
    }
}

优点：纯C++语法实现，无需额外工具，编译期直接报错；
缺点：每个变量需手动指定友元函数，100个变量需对应100个模板实例，需维护函数与变量的绑定关系。

方案二：自定义Clang/GCC插件实现自动化检测 #

利用编译器的AST（抽象语法树）遍历能力，编写插件自动检测标记变量的多函数赋值：

1. 标记目标变量：给需要检测的全局变量添加自定义属性，比如：

   int a __attribute__((single_writer)); // 标记为需单一写权限的变量
   

2. 编写编译器插件：
   • 遍历AST，找到带有single_writer属性的全局变量；
   • 收集所有修改该变量的函数（包括直接赋值、自增/自减、复合赋值等操作）；
   • 若修改函数数量大于1，触发编译错误并输出冲突函数名。

优点：完全自动化，无需手动维护变量与函数的绑定，适合大量全局变量的场景；
缺点：需掌握Clang/GCC插件开发，对项目构建流程有一定修改要求。

方案三：静态分析工具集成 #

利用现有静态分析工具的规则定制，实现检测逻辑：

• Clang-Tidy：编写自定义检查规则，检测标记变量的多函数赋值情况；
• Cppcheck：通过自定义规则脚本，扫描代码中目标变量的所有修改点，若来自多个函数则报错。

这类工具可集成到CI/CD或本地构建流程中，在编译前完成检测，效果接近编译阶段。

方案对比 #

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