时间戳

首页 > 解决方案 > 析构函数给出“可能未初始化”用于删除资源

c++ - 析构函数给出“可能未初始化”用于删除资源

问题描述

下面的代码是一个模拟数组的基本类。

析构函数使用 g++ 发出警告：

warning: ‘*((void*)(&<anonymous>)+8).s_array<int>::my_array’ may be used uninitialized in this function [-Wmaybe-uninitialized]
       delete [] my_array;

我是否设置错误？像这样使用变量“初始化”是我过去的做法，没有任何警告。

template<class TYPE>
class s_array{
private:
  int my_size;
  TYPE * my_array;
  bool initialized;

public:

  s_array(){initialized=false;}
  s_array(int size){
    initialized=true;
    my_size=size;
    my_array=new TYPE[my_size];
  }

  s_array(const s_array& source){
    if (source.initialized==true){
      initialized=true;
      my_size=source.my_size;
      my_array=new TYPE[my_size];
      for (int i=0; i<my_size; i++)
       my_array[i]=source.my_array[i];
    }
    else
      initialized=false;
  }
  s_array& operator= (const s_array& source){
    if (&source!=this){
      if (source.initialized==true){
       initialized=true;
       my_size=source.my_size;
       my_array=new TYPE[my_size];
        for (int i=0; i<my_size; i++)
         my_array[i]=source.my_array[i];
      }
      else
    initialized=false;
    }
    return *this;
  }
  ~s_array(){
    if (initialized)
      delete [] my_array;
  }
    TYPE operator [](int i) const    {
      assert(i>=0 && i<my_size);
      return my_array[i];
    }
    TYPE & operator [](int i) {
      assert(i>=0 && i<my_size);
      return my_array[i];
    }

};

特别是，初始化的流程是否存在阻止编译器看到它对应于正在初始化的 my_array 的内容？

标签： c++warningsdestructor

解决方案

编译器会看到，如果您使用默认构造函数创建对象，则my_array不会初始化。默认构造的对象可以被销毁，并且在析构函数中my_array，如果未初始化，您访问的值将具有未定义的行为。

initialized当然，您可能已经建立了一个仅在初始化时才成立的不变量my_array，但编译器将无法证明这一点。

您可以通过删除成员来简化您的类initialized，并将其所有比较替换为比较my_array（nullptr除了析构函数中的那个；该检查变得多余），并在默认构造函数中初始化my_array为。nullptr后一个更改解决了警告。

推荐阅读