1

我收到警告#12367 when running Build | Build Solution for Intel Static Analysis，但我的代码看不到问题。任何人的想法？

警告 #12367：由于隐式类型转换，在调用“std::_Vector_iterator > > std::vector >::erase(std::_Vector_const_iterator > >)”中对作为实际参数 2 传递的对象进行切片

 pragma warning(suppress: 4995)
    #include <vector>

    class __declspec(dllexport) MxPluginLib //nothing special here, not derived class etc
    {
    public:
      // ...
    private:
     //  ... nothing special here

    };


    class __declspec(dllexport) MxPluginManager 
    {
    public:
       //...
    private:
    #pragma warning(suppress: 4251)
        std::vector<MxPluginLib *> _Libs;

    };

    bool MxPluginManager::DeleteNextUnselected()
    {
        bool erased = false;
        size_t cnt = _Libs.size();
        if (cnt > 0 )
        {
            for (size_t x = 0; x < cnt; x++)
            {
                if (_Libs[x]->GetSelection() == false)
                {
                    delete  _Libs[x];
                    _Libs[x] = '\0';
                    _Libs.erase(_Libs.begin()+x);  //THIS IS WHERE THE WARNING IS GENERATED
                    erased = true;
                    break;
                }
            }
        }
        return erased;
    }
4

2 回答 2

0

这条线

_Libs.erase(_Libs.begin()+x);

正在将 a 传递vector::iterator给期望 a 的函数vector::const_iterator。这没关系，并且需要工作（但标准并没有确切说明它是如何工作的，只是 aiterator可以转换为 a const_iterator）。

在您的实现中，似乎iterator派生自const_iterator并传递参数将通过“切片”派生部分将其转换为基类。

在这种情况下，这不是错误，可以忽略警告。

于 2012-11-22T16:32:13.260 回答
0

在我看来，唯一奇怪的线是

_Libs[x] = '\0';

它可能会使分析器认为您存储的是字符而不是指针。由于您无论如何都在擦除元素，因此您并不真正需要它——删除它，看看它是否能解决您的问题。

于 2012-11-22T14:02:02.190 回答