析构函数给出 "may be used uninitialized" 用于删除资源
destructor giving "may be used uninitialized" for deleting resource
下面的代码是模拟数组的基本class。
析构函数使用 g++ 发出警告:
warning: ‘*((void*)(&<anonymous>)+8).s_array<int>::my_array’ may be used uninitialized in this function [-Wmaybe-uninitialized]
delete [] my_array;
我是不是设置错了?像这样使用变量 "initialized" 是我过去这样做的方式,没有任何警告。
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
的值,如果未初始化,它将具有未定义的行为。
当然,您可能已经建立了一个不变量,即 initialized
仅在初始化 my_array
时为真,但编译器无法证明这一点。
您可以通过删除 initialized
成员来简化 class,并将其所有比较替换为比较 my_array
到 nullptr
(析构函数中的那个除外;该检查变得多余),并在默认构造函数中将 my_array
初始化为 nullptr
。后面的改动解决了警告。
下面的代码是模拟数组的基本class。
析构函数使用 g++ 发出警告:
warning: ‘*((void*)(&<anonymous>)+8).s_array<int>::my_array’ may be used uninitialized in this function [-Wmaybe-uninitialized]
delete [] my_array;
我是不是设置错了?像这样使用变量 "initialized" 是我过去这样做的方式,没有任何警告。
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
的值,如果未初始化,它将具有未定义的行为。
当然,您可能已经建立了一个不变量,即 initialized
仅在初始化 my_array
时为真,但编译器无法证明这一点。
您可以通过删除 initialized
成员来简化 class,并将其所有比较替换为比较 my_array
到 nullptr
(析构函数中的那个除外;该检查变得多余),并在默认构造函数中将 my_array
初始化为 nullptr
。后面的改动解决了警告。