C++ 赋值构造函数 Valgrind 错误

Question

我正在尝试创建自己的 vector 以用于练习目的。一切顺利，但现在我想测试包含分配内存的对象的 vector 。

我的问题在于该类 (1) 的赋值构造函数，它在测试 vector 的构造函数中被调用。

test_vec.h:

#ifndef TEST_VEC
#define TEST_VEC

#include <cstddef>

template<class T>
class vector
{
public:
    explicit vector(size_t count, const T& value)
        : m_size(count)
        , m_capacity(count)
        , raw_data(static_cast<T*>(operator new(count * sizeof(T))))
    {
        for (size_t i = 0; i < count; ++i) {
            raw_data[i] = value; //(1) Calls the assignment constructor
        }
    }

    ~vector()
    {
        //clearing objects not implemented yet
        operator delete(raw_data);
    }
private:
    size_t m_size;
    size_t m_capacity;
    T* raw_data;
};

#endif

主要.cpp:

#include "test_vec.h"

class TestClass {
public:
    TestClass(size_t number) {
        testMem = new size_t[10];
        for (size_t i = 0; i < 10; ++i) {
            testMem[i] = 0;
        }
        testMem[1] = number;
    }
    TestClass(const TestClass& other) {
        testMem = new size_t[10];
        for (size_t i = 0; i < 10; ++i) {
            testMem[i] = other.testMem[i];
        }
    }
    TestClass& operator=(const TestClass& other) {        
        if (this != &other) {
            //I know this is not exception safe at the moment
            delete[] testMem; //(2) delete earlier assigned memory 
            testMem = new size_t[10];

            for (size_t i = 0; i < 10; ++i) {
                testMem[i] = other.testMem[i];
            }
        }
        return *this;
    }
    ~TestClass() {
        delete[] testMem;
    }
    size_t number() const {
        return testMem[1];
    }
private:
    size_t* testMem = NULL;

};

int main() {
    TestClass t1(4); //(4)
    TestClass t2(3);

    t1 = t2;

    vector<TestClass> vec_TestClass(1, TestClass(3)); //(3)
}

一切顺利。但是 valgrind 在 (3) 处提示“条件跳转或移动取决于未初始化的值”。这是正确的，因为 testMem 在我想要分配对象的那一刻没有初始化。但是当我评论删除 (2) 时，我从 (4) 中得到内存泄漏。这也是正确的。

我怎样才能解决这个问题，以便处理这两种情况？

感谢和问候

Answer 1

没有“赋值构造函数”这样的东西。我知道您可能想弄乱未初始化的内存，但您仍然需要调用适当的构造函数。在您的情况下，最简单的方法是使用 std:::uninitialised_fill_n

#include <memory>

explicit vector(size_t count, const T& value)
    : m_size(count)
    , m_capacity(count)
    , raw_data(static_cast<T*>(operator new(count * sizeof(T))))
{
    std::uninitiliased_fill_n(raw_data, count, value);
}

另请注意， vector 析构函数还需要销毁它构造的任何对象。