使用std::hex与std::dec时出现Klocwork错误，求解决办法

问题描述 #

近期使用std::hex和std::dec时，代码触发了Klocwork的CWARN.FUNCADDR错误，需要排查并解决。

原代码示例 #

#include <bits/stdc++.h>
#include <stdint.h>

void func(std::stringstream& s)
{
    std::string name="str";
    int val[2]={'0', '1'};

    s << "\n" << name << ": " << std::hex << "\t";

    for (int i = 0; i < sizeof(val); i++)
    {
        s << val[i] << " ";
    }

    s << "\n" << std::dec;

    std::cout << s.str();
}

int main()
{
    std::stringstream s;
    func(s);
}

触发的Klocwork错误信息（翻译后） #

CWARN.FUNCADDR (2:错误) 分析
使用了函数'hex'的地址而非调用该函数

CWARN.FUNCADDR (2:错误) 分析
使用了函数'dec'的地址而非调用该函数

解决方案及修正代码 #

核心问题修正 #

1. 循环越界问题：原代码循环条件i < sizeof(val)错误，sizeof(val)返回数组总字节数，而非元素个数，导致循环超出数组范围，触发未定义行为，同时可能干扰静态分析工具的判断。
2. 流操纵符的误判：std::hex和std::dec的使用语法本身正确，但工具因上下文问题误判，修正循环问题后通常可消除该警告。

修正后的代码 #

#include <bits/stdc++.h>
#include <stdint.h>

void func(std::stringstream& s)
{
    std::string name="str";
    int val[2]={'0', '1'};

    s << "\n" << name << ": " << std::hex << "\t";

    // 计算数组元素个数，避免越界
    for (int i = 0; i < sizeof(val)/sizeof(val[0]); i++)
    {
        s << val[i] << " ";
    }

    s << "\n" << std::dec;

    std::cout << s.str();
}

int main()
{
    std::stringstream s;
    func(s);
}

解释 #

• 循环条件修正：sizeof(val)/sizeof(val[0])是C/C++中计算数组元素个数的标准写法，无论数组元素类型是什么，都能得到正确的元素数量，避免越界访问。
• 流操纵符说明：std::hex和std::dec是标准库提供的流操纵符，s << std::hex的写法是正确的——流的operator<<会调用这些操纵符函数，修改流的输出基数状态。Klocwork的误判通常是因为静态分析时无法识别连续流操作中的操纵符调用，修正循环的逻辑错误后，工具的分析上下文更清晰，这类警告会自动消失。如果警告仍存在，可在对应行添加Klocwork的忽略注释（如// KW_IGNORE CWARN.FUNCADDR）。

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