时间戳

首页 > 解决方案 > 具有动态分配的 char 数组的 C++ 结构

c++ - 具有动态分配的 char 数组的 C++ 结构

问题描述

我正在尝试将结构存储在向量中。Struct 需要为给定大小的 char* 动态分配内存。但是一旦我将结构添加到向量中，它的析构函数就会被调用，就好像我丢失了指向它的指针一样。

为了举例，我做了这个小演示。

#include "stdafx.h"
#include <iostream>
#include <vector>

struct Classroom
{
    char* chairs;

    Classroom() {} // default constructor

    Classroom(size_t size)
    {
        std::cout << "Creating " << size << " chairs in a classroom" << std::endl;
        chairs = new char[size];
    }

    ~Classroom()
    {
        std::cout << "Destroyng chairs in a classroom" << std::endl;
        delete[] chairs;
    }
};

std::vector<Classroom> m_classrooms;

int main()
{

    m_classrooms.push_back(Classroom(29));
    //m_classrooms.push_back(Classroom(30));
    //m_classrooms.push_back(Classroom(30));

    system("Pause");

    return 0;
}

输出是

Creating 29 chairs in a classroom
Destroyng chairs in a classroom
Press any key to continue . . .
Destroyng chairs in a classroom

是的，似乎析构函数被调用了两次！一次是添加到向量中，第二次是程序完成执行。

当我尝试使用类而不是结构时，会发生完全相同的事情。

有人可以解释为什么会发生这种情况以及正确完成我的任务的可能方法是什么？

标签： c++memory-managementstructdynamicdestructor

解决方案

该类Classroom不能std::vector<Classroom>安全地使用，因为它具有不正确的复制语义。Astd::vector将复制您的对象，如果复制语义有错误，那么当您开始在容器（例如vector.

为了使您的类具有正确的复制语义，它需要能够无错误地构造、分配和销毁自身的副本（这些错误包括内存泄漏、对同一指针的双重删除调用等）

您的代码中缺少的另一件事是size需要在类中知道该参数。现在，您发布的只是内存分配，但没有任何内容可以保存size. 在不知道分配了多少个字符的情况下，用户定义的复制构造函数和赋值运算符的正确实现是不可能的，除非那char *是一个以 null 结尾的字符串。

话虽如此，有多种方法可以修复您的课程。最简单的方法是简单地使用具有正确复制语义的类型，而不是自己处理原始动态内存。这些类将包括std::vector<char>和std::string。他们不仅自己清理，这些类知道自己的大小，而不必携带size成员变量。

struct Classroom
{
    std::vector<char> chairs;

    Classroom() {} // default constructor
    Classroom(size_t size) : chairs(size)
    {
        std::cout << "Creating " << size << " chairs in a classroom" << std::endl;
    }
};

上面的类无需任何进一步的调整就可以工作，因为它std::vector<char>已经具有正确的复制语义。请注意，不再需要析构函数，因为std::vector知道如何销毁自己。

如果由于某种原因您必须使用原始动态分配的内存，那么您的类必须实现用户定义的复制构造函数、赋值操作和析构函数。

#include <algorithm>

struct Classroom
{
    size_t m_size;
    char* chairs;

    // Note we initialize all the members here.  This was a bug in your original code
    Classroom() : m_size(0), chairs(nullptr) 
    {} 

    Classroom(size_t size) : m_size(size), chairs(new char[size])
    {}

    Classroom(const Classroom& cRoom) : m_size(cRoom.m_size),
                                        chairs(new char[cRoom.m_size]) 

    {
       std::copy(cRoom.chairs, cRoom.chairs + cRoom.m_size, chairs);
    }

    Classroom& operator=(const Classroom& cRoom)
    {
       if ( this != &cRoom )
       {
          Classroom temp(cRoom);
          std::swap(temp.m_size, m_size);
          std::swap(temp.chairs, chairs);
       }
       return *this;
   }

   ~Classroom() { delete [] chairs; }
};

注意初始化类成员时成员初始化列表的用法。在实现赋值运算符时还要注意复制/交换习语的使用。

另一个更正的问题是您的默认构造函数没有初始化所有成员。因此，在您的原始课程中，有一个简单的单行程序，例如：

int main()
{
   Classroom cr;
}

会引起问题，因为在析构函数中，您将删除未初始化的chairs指针。

在此之后，astd::vector<Classroom>现在应该可以安全使用了。

推荐阅读