一. 初始化列表,构造包括初始化和计算阶段。
#include <iostream>
using namespace std;
class A{
public:
int a;
A(){
cout<<"construct"<<endl;
A(A& b){
cout<<"copy construct"<<endl;
}
A& operator = (const A& x){
cout<<"operator"<<endl;
return *this;
}
};
class B{
public:
A a;
B(A &m){
a = m;
}
};
int main()
{
A a;
B b(a);
cin.get();
return 0;
}
B b(a)输出两个construct,由于B内部有A a,在构造B的时候需要对A进行初始化(先进行一个数据初始化,后进行计算,即后调用构造函数内部的东西),语句B b(a)相当于,默认初始化a,再计算即重载=,将外部的a赋值给B内部的a变量。
考虑将类B改为下面代码:
class B{
public:
A a;
B(A &m):a(m){
}
};
执行同样的代码,结果为
即没有了一个多余的construct(默认的),而采用copy construct代替了construct和operator两者的功能,原理是:a(m)在构造阶段,而非计算阶段执行。
三种情况下必须用初始化列表:
1. 常量,不能赋值
2. 引用类型,必须定义初始化,不能修改
3. 无默认构造函数的类,可以用copy construct函数替代。
初始化列表,初始化顺序是按照类中定义进行的。
二、i++原理
对于内建模型int来说
int b = i++;//先将i值赋给b,然后i自加
mov eax,dword ptr [ebp-8]
mov dword ptr [ebp-0Ch],eax
mov ecx,dword ptr [ebp-8]
add ecx,1
mov dword ptr [ebp-8],ecx
int b = ++i;//i先自加,然后将自加后的i值赋给b
mov edx,dword ptr [ebp-8]
add edx,1
mov dword ptr [ebp-8],edx
mov eax,dword ptr [ebp-8]
mov dword ptr [ebp-0Ch],eax
从汇编语言来看,两者几乎没有区别。
而对于类来说,其实现必有下面差别。
// ++i版本
INT INT::operator ++ ()
{
*this=*this+1;
return *this;
}
//i++版本
const INT INT::operator ++ (int)
{
INT oldvalue=*this;
*this=*this+1;
return oldvalue
}
多用一个存储空间。
for(i=n;i>0;i--) vs for(i=0;i<n;i++)效率高在于其与0判断,直接可以i操作的CPSR寄存器看出是否为0,为负,为0,溢出,有进位。
for(i=0;i<n;++i) vs for(i=0;i<n;i++)有人做测试,在debug模式下,++i相对操作内存更少,而release模式下,差不多。不过本人测试在debug模式下,却是如下结果,看来差别不大。
for(i=0;i<a;++i);
003D1507 mov dword ptr [i],0
003D150E jmp main+49h (3D1519h)
003D1510 mov eax,dword ptr [i]
003D1513 add eax,1
003D1516 mov dword ptr [i],eax
003D1519 mov eax,dword ptr [i]
003D151C cmp eax,dword ptr [a]
003D151F jge main+53h (3D1523h)
003D1521 jmp main+40h (3D1510h)
for(i=0;i<a;i++);
003D1523 mov dword ptr [i],0
003D152A jmp main+65h (3D1535h)
003D152C mov eax,dword ptr [i]
003D152F add eax,1
003D1532 mov dword ptr [i],eax
003D1535 mov eax,dword ptr [i]
003D1538 cmp eax,dword ptr [a]
003D153B jge main+6Fh (3D153Fh)
003D153D jmp main+5Ch (3D152Ch)