c++ - 如何在不违反 MISRA C++ 2008 咨询规则 5-2-10 的情况下使用 std::transform？

Question

我在 PC-Lint (au-misra-cpp.lnt) 中得到这些错误:

ConverterUtil.cpp(90): error 864: (Info -- Expression involving variable 'transformValue' possibly depends on order of evaluation [MISRA C++ Rule 5-2-10])

ConverterUtil.cpp(90): error 864: (Info -- Expression involving variable 'transformValue' possibly depends on order of evaluation [MISRA C++ Rule 5-2-10])

ConverterUtil.cpp(90): error 534: (Warning -- Ignoring return value of function 'std::transform(std::_String_iterator>>, std::_String_iterator>>, std::_String_iterator>>, int (*)(int))' (compare with line 998, file C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\include\algorithm) [MISRA C++ Rules 0-1-7 and 8-4-6], [MISRA C++ Rule 0-3-2])

关于这段代码:

/**Conversion from std::string to bool*/
bool ConverterUtil::ConvertStdStringToBool(const std::string value)
{
    std::string transformValue = value;
    bool retValue = false;

    std::transform(transformValue.begin(), transformValue.end(), transformValue.begin(), &::tolower);


    if(transformValue == std::string(static_cast<const char *>("true")))
    {
        retValue = true;
    }

    return retValue;
}

我猜它不喜欢我在转换中使用相同的 std::string 作为输入和输出，但使用其他字符串作为输出会产生相同的错误。

是否可以使 std::transform MISRA 兼容？

Answer 1

我只是猜测(如果它不能解决您的问题，我可能会删除答案)。

尝试用这两个替换包含 std::transform 的行:

auto dest = transformValue.begin();
std::transform(transformValue.cbegin(), transformValue.cend(), dest, &::tolower);

注意 cbegin() 和 cend() 的使用(而不是 begin() 和 end()).

关于另一个主题:您将传递给 ConvertStdStringToBool 的字符串复制了两次，而您只能复制一次。为此，请替换:

bool ConverterUtil::ConvertStdStringToBool(const std::string value)
{
    std::string transformValue = value;

与

bool ConverterUtil::ConvertStdStringToBool(std::string transformValue)
{

(在此更改后，您可能希望将 transformValue 重命名为 value)。

更新:我对为什么我认为它会有所帮助的解释。

首先，请注意 transformValue 是非 const。因此，transformValue.begin() 和 transformValue.end() 将调用这些重载:

iterator begin(); // non const overload
iterator end();   // non const overload

因此，静态分析器(正确地)得出结论，begin() 和 end() 可能会改变 transformValue 的状态。在这种情况下，transformValue 的最终状态可能取决于首先调用 begin() 和 end() 中的哪一个。

现在，当您调用 cbegin() 和 cend() 时，重载如下:

const_iterator cbegin() const; // notice the const 
const_iterator cend() const;   // notice the const

在这种情况下，静态分析器不会推断这些调用会改变 transformValue 的状态，也不会引发问题。 (严格来说，即使这些方法是 const，它们也可以改变状态，因为类中可能存在 mutable 数据成员，或者这些方法可能使用邪恶的 const_cast。恕我直言，静态分析器不应该为此受到指责。)

最后的评论:电话

std::transform(transformValue.cbegin(), transformValue.cend(), transformValue.cbegin(), &::tolower);
                                                                              ^^^^^^

错了。第三个参数必须是非const迭代器，也就是说，它必须是transformValue.begin() (只有前两个参数是 c* 方法)。

但是，我想，出于与上述类似的推理，仅使用 transformValue.begin() 作为第三个参数是不够的，这就是为什么我建议创建另一个变量 (目标).