首先需要解释一下vector,它是STL中重要的容器之一,我们可以简单的把它看成是顺序表,因为vector就是由动态的顺序表实现的,所以它具有
1.随机访问(在O(1)的时间复杂度中访问到任意的元素);
2.插入和删除需要移动大量元素(需要O(n)的时间复杂度完成插入和删除);
3.存储效率高(因为开辟的空间可以全部用来存储数据,不像链表结点还需要分出空间来存储指针)。
template<class T>
class vector{ //vector是动态增长的数组
public:
vector(){
_a = nullptr;
_size = 0;
_capacity = 0;
}
~vector(){
delete[] _a;
_a = nullptr;
_size = _capacity = 0;
}
private:
T* _a;
size_t _size;
size_t _capacity;
};
在构造函数被调用之后,对象中成员变量就有了我们给定的初始值,就是上述代码中构造函数体中的做法,但并不能称为成员变量的初始化,在构造函数体中的语句只是为成员变量赋初值,构造函数体中可以进行多次赋值,而初始化只能进行一次。注意区分,初始化对象和初始化成员变量,构造函数就是完成对象的初始化。
引例:
template<class T>
class vector{ //vector是动态增长的数组
public:
vector():_a(nullptr),_size(0),_capacity(0){}
//在类里面声明,类外面定义
void pushBack(const T& x);
void popBack(const T& x);
~vector(){
delete[] _a;
_a = nullptr;
_size = _capacity = 0;
}
private:
T* _a;
size_t _size;
size_t _capacity;
};
//类外面定义
template<class T>
void vector<T>::pushBack(const T& x) {
//如果空间不够,需要增容
if (_size == _capacity){
size_t newCapacity = _capacity == 0 ? 4 : 2*_capacity;
T* tmp = new T[newCapacity];
if (_a){
memcpy(tmp,_a,_size* sizeof(T));
delete[] _a;
}
_a = tmp;
_capacity = newCapacity;
}
_a[_size] = x;
++_size;
}
template<class T>
void vector<T>::popBack(const T &x) {
assert(_size > 0);
--_size;
}
int main(){
vector<int> v;
v.pushBack(1);
v.pushBack(2);
v.pushBack(3);
return 0;
}
在这个例子中,我们在构造函数初始化的时候使用了初始化列表,以冒号开头逗号分隔成员变量括号中给出初始化的值,即 :_a(nullptr),_size(0),_capacity(0)
为什么要用这种写法呢,或者说为什么要使用初始化参数列表呢?
1. 类中存在引用成员变量或const成员变量;
2.类中存在自定义类型成员,并且该成员的类没有默认构造函数。
其中,默认构造函数就是不需要我们传参数的构造函数(例如,自己手动实现的无参构造函数、编译器自动生成的无参构造函数或手动实现的全缺省构造函数)。需要注意,默认构造函数只会存在一个。
在以上情况下只能使用初始化列表初始化。
我们还需要知道程序在这里做的具体是什么事情,在上述代码中:
vector<int> v;
这一行是我们定义了一个对象v,
private:
T* _a;
size_t _size;
size_t _capacity;
这一块代码是我们对成员变量的声明,
vector()
:_a(nullptr)
,_size(0)
,_capacity(0)
{}
这一块初始化列表部分才是我们对成员变量的定义。
在这个地方我们还需要注意一点,成员变量的初始化顺序并不取决于初始化列表中的顺序,而是取决于成员变量声明的顺序。
听起来有点绕,可以看下面这个例子:
另外,我们能否像数组一样去访问对象中的数据呢,是可以的,我们可以通过重载操作符[ ]来实现,如下,我们在类的public域中定义这两个函数:
size_t size(){
return _size;
}
T operator[](size_t i){
assert(i < _size);
return _a[i];
}
这样就能实现和访问数组元素相同形式,即通过下标索引到元素。