Question

我正在创建一个堆栈类，试图学习一些c ++概念（初始化列表，内存管理和模板）。我遇到了一些我无法理解的事情。

在函数void Stack :: push（const T＆amp; item）中，如果我取消注释delete []数据; line，我的代码在模板参数例如是int或char时运行良好。但是使用std :: string，我会得到奇怪的内存错误。

我的想法是我需要一个更大的阵列 - ＆gt;数组无法调整大小 - ＆gt;我创建了一个新的 - ＆gt;我释放了我很快就不需要的记忆所需的记忆 - ＆gt;我将现有指针指向一个新的内存地址，在那里我创建了更大的数组。

现在，当我评论删除行时，即使使用std :: string，代码也运行良好，但是我无法理解为什么我无法安全地对所有类型执行删除操作。

任何见解都将受到赞赏。

#include <iostream>
#include <stdio.h>
#include <memory.h>

template<class T>
class Stack
{
    T* data;
    int sz;

public:
    //Stack(){sz=0;}
    Stack(const std::initializer_list<T>&);
    ~Stack();

    void push(const T&);
    T& pop();

    void show() const;
};

template<class T>
Stack<T>::Stack(const std::initializer_list<T> &list)
{
    sz=0;
    data = new T[list.size()];

    for (auto i : list) {
        data[sz] = i;
        ++sz;
    }
    std::cout<< "Created with sz:  "<< sz<<std::endl;
}

template<class T>
Stack<T>::~Stack()
{
    delete [] data;
}

template<class T> 
void Stack<T>::push(const T& item) {
    std::cout<<"push "<<item<<std::endl;
    T* arr = new T[sz];
    memcpy(arr, data, sz*sizeof(T));
    //delete [] data;
    data = new T[sz + 1];
    memcpy(data, arr, sz*sizeof(T));
    ++sz;
    data[sz - 1] = item;
    std::cout<<"new size: "<<sz<<", bytes: "<<sz*sizeof(T)<<std::endl;
}

template<class T>
T& Stack<T>::pop()
{
    if(sz > 0) {
        std::cout<<"pop "<<data[sz-1]<<std::endl;
        std::cout<<"new size: "<<sz-1<<std::endl;
        return data[--sz];
    }
    else
        return data[0];
}

template<class T>
void Stack<T>::show() const
{
    for (int i=0; i<sz; i++) {
        std::cout<<data[i]<<" ";
    }
    std::cout<<std::endl;
}

int main(){
    Stack<int> s = {1,2,3,4,5,6,7,8,9,10,11};
    s.show();
    s.push(12);
    s.push(13);
    s.push(14);
    s.pop();
    s.pop();
    s.push(15);
    s.push(16);
    s.show();
    Stack<std::string> d = {"one","two","three"};
    d.show();
    d.pop();
    d.push("four");
    d.show();
    return 0;
}

Answer 1

不要使用memcpy复制对象，这会复制这些位，但对于某些对象，逐位复制不正确，因为复制构造函数（或复制赋值运算符）不会使用

一个好的，简单的例子就是你有一堆std::string个对象。当您执行按位复制（使用memcpy）时，将复制std::string 对象的内容，但这基本上只是指针和大小。当您执行按位复制时，您将有两个引用相同内存的std::string个对象。销毁其中一个对象将导致另一个对象有一个指向某个内存（用于包含字符串）的指针，该内存不再由您的程序拥有。

要解决此问题，请使用std::copy来复制对象，它会做正确的事情。

与您的问题无关，但您的push功能会复制它不需要的内容：

T* arr = new T[sz];
memcpy(arr, data, sz*sizeof(T));

根本不需要这样做，而是做

之类的事情

T* oldData = data;
data = new T[sz + 1];

// Copy from old array to new
std::copy(oldData, oldData + sz, data);

delete[] oldData;

删除指针的成员数组，然后重新分配它

1 个答案: