c++ - 从未使用过分配给变量的 C/C++ 默认值/值

Question

我喜欢总是初始化局部变量，例如

int32_t result = 0;

我认为这是一种很好的编程风格，因为“结果”永远不会变成未初始化的，而不管后面的 if 结构是否设置了它。

但现在我正在尝试静态代码检查工具(用于 IAR 嵌入式工作台的 C_STAT)，它提示在下面的函数中，MISRA-C++ 规则 2008-01-06(“不得包含非 volatile 变量的实例被赋予的值随后从未使用过”)和 MISRA C:2012 规则 2.2c(“无死代码”)和 CWE 563(“未使用的变量”)被违反。

// gets signal1 - signal2 (checks range of value)
int16_t getSignalDifferenceFromFloat(float signal1, int16_t signal2)
{
    int32_t result = 0; // <-- this assignment makes the violation 
                        // ... but I feel better with it

    if (signal1 > 65535.0)
    {
        // because result cannot be smaller than the max value of TSignal
        result = 32767;
    }
    else if (signal1 < -65535.0)  // <-- here an else  was missing
    {
        // because result cannot be larger than the min value of TSignal
        result = -32768;
    }
    else
    {
        result = (int32_t)signal1 - (int32_t)signal2;

        if (result < -32768)
        {
            result = -32768;
        }
        else if (result > 32767)
        {
            result = 32767;
        }
    }

    return (int16_t) result;
}

原题:你怎么看？

新问题:

1. 是否有良好的编码标准要求始终立即初始化已声明的局部变量？
2. 代码检查器是不是太迂腐了(一些编译器不会在这个地方提示但会提示变量将完全未被使用)？我做了很多年，但我不记得在哪里见过它。

更新:与此同时(2021 年 9 月)我使用默认设置的 pclint。它还会检查 misra C++ 规则 0-1-6(随后未使用的变量)和其他规则，但不会提示此示例。如果我更改代码并且不返回此变量，则警告会按预期出现。我认为 pclint 在这里没有给出警告是正确的。

Answer 1

我同意 MISRA。

不必要的变量初始化会导致草率的代码，因为它会破坏检查未初始化变量的工具。

在您的特定情况下，您可以本地化 result到决赛else情况下，在其他情况下提前返回。但这也不符合每个人的口味。