c++ - 复制构造函数中的段错误

Question

我正在做一项作业，其中我们使用“Image”类来操作 *.ppm 图像。它会编译，然后在调用复制构造函数时出现段错误。这是:

Image::Image(const Image & imageToCopy) {
fileType = imageToCopy.fileType;
width = imageToCopy.width;
height = imageToCopy.height;
maxColor = imageToCopy.maxColor;

image = new int *[height];

for(int i=0; i < height; i++) {
    image[i] = new int [width];
    for(int j=0; j < width; j++) {
    image[i][j] = imageToCopy.image[i][j];
    }
}
}

这样调用:

Image image2(image1);

我有点不明白为什么会发生这种情况。我不知道出了什么问题，因为代码几乎与我的构造函数相同，并且运行良好。唯一的区别是我有

image[i][j] = imageToCopy.image[i][j];

而不是

imageInputStream >> image[i][j];

想法？谢谢

编辑:构造函数如下:

Image::Image(const char* filename) {
    ifstream imageInputStream;
    imageInputStream.open(filename);

    imageInputStream >> fileType;
    imageInputStream >> width;
    imageInputStream >> height;
    imageInputStream >> maxColor;

    image = new int *[height];

    for(int i=0; i < height; i++) {
        image[i] = new int [width];
        for(int j=0; j < width; j++) {
            imageInputStream >> image[i][j];
        }
    }

    imageInputStream.close();
}

Answer 1

在没有看到完整代码的情况下，这只是一个猜测，但是如果您创建了复制构造函数和析构函数，但没有复制赋值运算符，那么如果您尝试使用赋值，则可能会遇到与此完全相同的段错误。

您可能不认为自己在任何地方做作业，但除非您了解 C++ 的所有规则(即使是专家也不知道，更不用说新学生了)，否则很难确定。最简单的查找方法是声明一个私有(private)赋值运算符并且不定义它(或者，如果您使用的是 C++11，则声明它已删除)，然后查看是否出现编译错误。

例如:

struct Image {
  int width_, height_;
  int **image_;
  Image(int width, int height) : width_(width), height_(height),
                                 image_(0) {
    image_ = new int *[height_];
    for (int i = 0; i != height_; ++i) {
      image_[i] = new int[width_];
      for (int j = 0; j != width_; ++j) {
        image_[i][j] = 1;
      }
    }
  }

  Image(const Image& rhs) : width_(rhs.width_), height_(rhs.height_),
                            image_(0) {
    image_ = new int*[height_];
    for (int i = 0; i != height_; ++i) {
      image_[i] = new int[width_];
      for (int j = 0; j != width_; ++j) {
        image_[i][j] = rhs.image_[i][j];
      }
    }
  }

  /* uncomment to uncrash
  Image& operator=(const Image& rhs) {
    if (this == &rhs) return *this;
    for (int i = 0; i != height_; ++i) {
      delete [] image_[i];
    }
    delete [] image_;
    image_ = new int*[height_];
    for (int i = 0; i != height_; ++i) {
      image_[i] = new int[width_];
      for (int j = 0; j != width_; ++j) {
        image_[i][j] = rhs.image_[i][j];
      }
    }
    return *this;
  }
  */

  ~Image() {
    for (int i = 0; i != height_; ++i) {
      delete [] image_[i];
    }
    delete [] image_;
  }
};

int main(int, char*[]) {
  Image img(200, 300);
  Image img2(img);
  Image img3(100, 200);
  img3 = img2;
  return 0;
}

正如注释所暗示的，如果您取消注释复制赋值运算符，整个事情就会起作用。

如果这是您的问题，请阅读三法则( Wikipedia 、 Ward's Wiki )。