析构函数提供删除资源的"may be used uninitialized"

destructor giving "may be used uninitialized" for deleting resource

本文关键字：may be used uninitialized 删除 资源 析构函数      更新时间：2023-10-16

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

析构函数使用 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？

编译器

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

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

可以通过删除 initialized 成员来简化类，并将其所有比较替换为将my_array与nullptr进行比较(析构函数中的比较除外;该检查变为冗余(，并将my_array初始化为默认构造函数中的nullptr。后一项更改解决了警告。

相关文章：