从汇编看c++内联函数评估求值
添加时间:2013-6-21 点击量:
在c++中,一个inline函数实体,在全部class 声明未被完全看到之前,是不会被评估求值的,也就是说,对于类里面内联的成员函数本身的解析,要比及class的声明完全停止之后才开端。
下口试c++源码:
extern int x;//外部声明的x
class X {
public:
float getX() const {
return x;//x绑定的是哪个?
}
private:
float x;//类自身的成员变量x
};
int main() {
X xObj;
float x;
x = xObj.getX();
}
根据上方的规矩,内联函数getX绑定的将会是成员变量x(float型)
下面我们只算作员函数getX的汇编码:
?getX@X@@QBEMXZ PROC ; X::getX, COMDAT
; _this¥ = ecx
; 5 : float getX() const {
push ebp
mov ebp, esp
push ecx;压栈到的目标是为了保存对象xObj的首地址(即this指针)预留空间
mov DWORD PTR _this¥[ebp], ecx;存放器ecx中保存xObj对象首地址,存放到刚才分派的空间
; 6 : return x;
mov eax, DWORD PTR _this¥[ebp];将对象xObj对象首地址给eax存放器
fld DWORD PTR [eax];将对象首地址处内存内容写入到浮点数存放器ST(0)中,作为返回值 也就是将成员变量x的值返回
;可以看到,x确切绑定的是成员变量
; 7 : }
mov esp, ebp
pop ebp
ret 0
?getX@X@@QBEMXZ ENDP
然则,这种规矩对于成员函数的参数却不是如许。
下面是c++源码:
typedef int length;//全局
class X {
public:
void setI(length x) {//length是什么类型?
i = x;
}
private:
typedef float length;//类成员
length i;
};
int main() {
X xObj;
xObj.setI(1.1);
}
下面经由过程汇编码算作员变量i和成员函数setI的参数x到底是什么类型
下面是mian函数汇编码:
; 13 : int main() {
push ebp
mov ebp, esp
push ecx;压栈存放器ecx的目标,是为了为对象xObj预留4byte空间
;这里没有调用xObj默认机关器是因为编译器没有须要为其供给非无用的默认机关器
; 14 : X xObj;
; 15 : xObj.setI(1.1);
push 1;将1压栈作为参数传递(固然传递的是浮点数1.1,然则这里将参数截取为整型,申明参数length确切为int)
lea ecx, DWORD PTR _xObj¥[ebp];将对象xObj的首地址给存放器ecx,作为隐含参数传递给成员函数setI
call ?setI@X@@QAEXH@Z ; 调用setI
; 16 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
下面是setI函数的汇编码:
?setI@X@@QAEXH@Z PROC ; X::setI, COMDAT
; _this¥ = ecx
; 5 : void setI(length x) {//length是什么类型?
push ebp
mov ebp, esp
push ecx;压栈存放器ecx是为保存xObj对象的首地址预留空间
mov DWORD PTR _this¥[ebp], ecx;存放器ecx中存放对象xObj首地址,存放到刚才预留的空间
; 6 : i = x;
fild DWORD PTR _x¥[ebp];将参数x(int 型)放入浮点数存放器ST(0)中, 这条指令专门将整型压入浮点存放器
mov eax, DWORD PTR _this¥[ebp];将对象首地址给存放器eax
fstp DWORD PTR [eax];将浮点数存放器ST(0)的内容给对象首地址存内存,即给成员变量i赋值(申明i是浮点型)
; 7 : }
mov esp, ebp
pop ebp
ret 4
?setI@X@@QAEXH@Z ENDP
经由过程汇编码可以看到,成员函数setI的参数类型在第一次碰见就绑定了类型。
容易发怒的意思就是: 别人做了蠢事, 然后我们代替他们, 表现出笨蛋的样子。—— 蔡康永
在c++中,一个inline函数实体,在全部class 声明未被完全看到之前,是不会被评估求值的,也就是说,对于类里面内联的成员函数本身的解析,要比及class的声明完全停止之后才开端。
下口试c++源码:
extern int x;//外部声明的x
class X {
public:
float getX() const {
return x;//x绑定的是哪个?
}
private:
float x;//类自身的成员变量x
};
int main() {
X xObj;
float x;
x = xObj.getX();
}
根据上方的规矩,内联函数getX绑定的将会是成员变量x(float型)
下面我们只算作员函数getX的汇编码:
?getX@X@@QBEMXZ PROC ; X::getX, COMDAT
; _this¥ = ecx
; 5 : float getX() const {
push ebp
mov ebp, esp
push ecx;压栈到的目标是为了保存对象xObj的首地址(即this指针)预留空间
mov DWORD PTR _this¥[ebp], ecx;存放器ecx中保存xObj对象首地址,存放到刚才分派的空间
; 6 : return x;
mov eax, DWORD PTR _this¥[ebp];将对象xObj对象首地址给eax存放器
fld DWORD PTR [eax];将对象首地址处内存内容写入到浮点数存放器ST(0)中,作为返回值 也就是将成员变量x的值返回
;可以看到,x确切绑定的是成员变量
; 7 : }
mov esp, ebp
pop ebp
ret 0
?getX@X@@QBEMXZ ENDP
然则,这种规矩对于成员函数的参数却不是如许。
下面是c++源码:
typedef int length;//全局
class X {
public:
void setI(length x) {//length是什么类型?
i = x;
}
private:
typedef float length;//类成员
length i;
};
int main() {
X xObj;
xObj.setI(1.1);
}
下面经由过程汇编码算作员变量i和成员函数setI的参数x到底是什么类型
下面是mian函数汇编码:
; 13 : int main() {
push ebp
mov ebp, esp
push ecx;压栈存放器ecx的目标,是为了为对象xObj预留4byte空间
;这里没有调用xObj默认机关器是因为编译器没有须要为其供给非无用的默认机关器
; 14 : X xObj;
; 15 : xObj.setI(1.1);
push 1;将1压栈作为参数传递(固然传递的是浮点数1.1,然则这里将参数截取为整型,申明参数length确切为int)
lea ecx, DWORD PTR _xObj¥[ebp];将对象xObj的首地址给存放器ecx,作为隐含参数传递给成员函数setI
call ?setI@X@@QAEXH@Z ; 调用setI
; 16 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
下面是setI函数的汇编码:
?setI@X@@QAEXH@Z PROC ; X::setI, COMDAT
; _this¥ = ecx
; 5 : void setI(length x) {//length是什么类型?
push ebp
mov ebp, esp
push ecx;压栈存放器ecx是为保存xObj对象的首地址预留空间
mov DWORD PTR _this¥[ebp], ecx;存放器ecx中存放对象xObj首地址,存放到刚才预留的空间
; 6 : i = x;
fild DWORD PTR _x¥[ebp];将参数x(int 型)放入浮点数存放器ST(0)中, 这条指令专门将整型压入浮点存放器
mov eax, DWORD PTR _this¥[ebp];将对象首地址给存放器eax
fstp DWORD PTR [eax];将浮点数存放器ST(0)的内容给对象首地址存内存,即给成员变量i赋值(申明i是浮点型)
; 7 : }
mov esp, ebp
pop ebp
ret 4
?setI@X@@QAEXH@Z ENDP
经由过程汇编码可以看到,成员函数setI的参数类型在第一次碰见就绑定了类型。
容易发怒的意思就是: 别人做了蠢事, 然后我们代替他们, 表现出笨蛋的样子。—— 蔡康永