c - 反对 C 代码中变量冗余的有力论据是什么

Question

我从事安全关键应用程序开发工作。最近，作为一名代码审阅者，我提示如下所示的编码风格，但无法提出强有力的理由反对它。那么反对这种变量冗余/重复的一个很好的论据是什么，我正在寻找可能导致问题或可能失败的测试用例的案例，而不仅仅是编码风格。

//global data
    // global data
    int Block1Var;
    int Block2Var;
    ...

    //Block1
    {
    ...
          Block1Var = someCondition; // someCondition is an logical expression
    ...
    }

    //Block2
    {
    ...
          Block2Var = Block1Var; // Block2Var is an unconditional copy of Block1Var
    ...
    }

Answer 1

我认为更多的背景信息也许会有所帮助。

您可能会争辩说，Block1Var 的值(value)并不能保证保持不变并发访问/修改时相同。这仅在 Block1Var 时有效永远改变(即不仅仅是读取)。不知道你是否关心多线程应用程序与否。

可读性也是一个重要问题。 future 的代码维护者不想跟踪一堆琐碎的任务。