在使用c++0x初始化器列表时出现错误

当我使用c++0x初始化器列表与向量时，我得到一个段错误。我不明白为什么会这样。我的调试器说崩溃发生在标准库中的这个函数:

  template<typename _T1, typename _T2>
    inline void
#ifdef __GXX_EXPERIMENTAL_CXX0X__
// Allow perfect forwarding
_Construct(_T1* __p, _T2&& __value)
#else
_Construct(_T1* __p, const _T2& __value)
#endif
{
  // _GLIBCXX_RESOLVE_LIB_DEFECTS
  // 402. wrong new expression in [some_]allocator::construct
  ::new(static_cast<void*>(__p)) _T1(_GLIBCXX_FORWARD(_T2, __value));
}

我试图确定这个函数的目的，但我在网上找不到任何解释/文档。

在我的代码中使用初始化列表的代码是这样的:

bool Cube::ProcessData(MeshData* data)
{
    data->Clear();
    data->v =
    {
        Vec3(.5,-.5,-.5), Vec3(.5,-.5,.5), Vec3(-.5,-.5,.5), Vec3(-.5,-.5,-.5),
        Vec3(.5, .5,-.5), Vec3(.5, .5,.5), Vec3(-.5, .5,.5), Vec3(-.5, .5,-.5)
    };
...
}

传递给这个函数的数据结构在这里创建:

    template <class ProcessorT, class DataT, typename... Args>
    const DataT* DataManager::RequestData(Args... args)
    {
        MutexLock lock(*mutex);
        Request req;
        data_cache.PushBack();
        req.data      = &data_cache.GetBack();
        req.processor = new ProcessorT(args...);
        request_list.push_back(req);
        return static_cast<DataT*>(req.data);
    }

data_cache结构是我自己的列表类，我使用它来避免复制。ProcessData函数在与创建数据结构的线程不同的线程上被调用。

这是调用堆栈的调试器输出:

#0 004FAAD6 _Construct<UtilityLib::TVec3<float>, UtilityLib::TVec3<float> const&>(this=0x104aba0, __first=0x593fb98, __last=0x593fbf8) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/stl_construct.h:80)
#1 00000000 uninitialized_copy<UtilityLib::TVec3<float> const*, UtilityLib::TVec3<float>*>(this=0x104aba0, __first=0x593fb98, __last=0x593fbf8) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/stl_uninitialized.h:74)
#2 00000000 uninitialized_copy<UtilityLib::TVec3<float> const*, UtilityLib::TVec3<float>*>(this=0x104aba0, __first=0x593fb98, __last=0x593fbf8) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/stl_uninitialized.h:116)
#3 00000000 __uninitialized_copy_a<UtilityLib::TVec3<float> const*, UtilityLib::TVec3<float>*, UtilityLib::TVec3<float> >(this=0x104aba0, __first=0x593fb98, __last=0x593fbf8) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/stl_uninitialized.h:318)
#4 00000000 std::vector<UtilityLib::TVec3<float>, std::allocator<UtilityLib::TVec3<float> > >::_M_assign_aux<UtilityLib::TVec3<float> const*>(this=0x104aba0, __first=0x593fb98, __last=0x593fbf8) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/vector.tcc:260)
#5 004127B3 _M_assign_dispatch<UtilityLib::TVec3<float> const*>(this=0x6e8af18, data=0x104ab98) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/stl_vector.h:1065)
#6 00000000 assign<UtilityLib::TVec3<float> const*>(this=0x6e8af18, data=0x104ab98) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/stl_vector.h:396)
#7 00000000 operator=(this=0x6e8af18, data=0x104ab98) (c:/mingw/bin/../lib/gcc/mingw32/4.5.2/include/c++/bits/stl_vector.h:359)
#8 00000000 GameEngine::Render3D::Cube::ProcessData(this=0x6e8af18, data=0x104ab98) (C:CodeBlocksProjectsGameEnginesrcPrimitives.cpp:56)

我怀疑我的list类可能是罪魁祸首，但即使是我也不知道为什么。希望有人在StackOverflow可以帮助我理解这个问题。

似乎最难的bug通常是最愚蠢的。

问题是我为基类分配内存，而不是派生类。我为这个结构调用了new:

    class Data
    {
    public:
        enum State { LOADED, UNLOADED, FAILED };
        Data();
        virtual ~Data();
        State state;
    };

当我应该为这个分配内存时:

    struct MeshData : public Data
    {
        vector<Vec3>    v, n;
        vector<Vec2>    u;
        vector<Polygon> p;
        MeshData();
        ~MeshData();
        void Clear();
        string Str()      const;
        string StrStats() const;
        bool IsValid() const;
        bool IsValid(bool& has_n, bool& has_u, bool& all_tri) const;
};

所以每当我试图访问一个实例的MeshData，我访问内存的边界之外的结构。

所以我是正确的假设我的List类是罪魁祸首(某种程度上)。我添加了一种方法来指定分配的类型:

template <typename TT, typename... Args> void PushBackT(Args... args);

我想感谢每一个帮助我解决这个问题的人。

当您指定返回RequestData的类型为const DataT*时，您传递给ProcessData函数的指针不再是常量，并且您正在调用ProcessData中修改所指向的对象的方法。这指出了程序设计中的一个潜在问题:在一个函数中，您返回指向常量对象的指针，但随后显然在其他函数和线程中抛弃了指针的常量性质，以便更改底层对象。

为了正确地维护数据的const -ness，对于调用者不应该修改的引用对象返回const T&通常是一个好主意。除非您试图与外部API保持某种类型的兼容性，否则您应该继续使用指针返回类型，以便以后可以修改对象。由于c++对C风格强制转换的向后兼容性，在使用指针类型时很容易放弃const的保护。另一方面，引用可以为在函数调用之间维护对象的const性提供更大的控制。它需要一个显式的const_cast操作来移除常量引用对象的const属性(或者一些相对粗糙的c风格强制转换)，而c风格强制转换可以通过简单地执行以下操作来去除指针对象的常量属性:

const int* test1() { static int a; return &a; }
void test2(int* a){}
const int* b = test();
test2((int*)b);

虽然上面没有指出您的分段错误的具体原因，但我相信您正在修改最初指定为常量的内存这一事实表明您的data对象的潜在属性不应该被更改，并且/或可能不是线程安全的，因此导致未定义行为和分段错误发生的机会

相关内容

最新更新

热门标签：