어 셈 블 리 에서 c++의 기본 구조 함수 사용 분석
class X {
private:
int i;
};
int main() {
X x;
}
다음은 어 셈 블 리 프로그램 입 니 다.
; 7 : int main() {
push ebp;ebp ， ， ， ， ，
mov ebp, esp; main ebp ， ebp main
push ecx; ecx , esp 4byte
; ， 4byte ， ecx
; 8 : X x;
; 9 : }
xor eax, eax;eax ，
mov esp, ebp; push ecx ， 4byte
pop ebp; main
ret 0;
다음은 c++프로그램 을 살 펴 보 겠 습 니 다.
class X {
private:
int i;
int j;// int j
};
int main() {
X x;
}
다음은 대응 하 는 외환 인 코딩 입 니 다.
; 8 : int main() {
push ebp
mov ebp, esp
sub esp, 8; 8byte， X
; 9 : X x;
; 10 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
따라서 다시 말하자면 구조 함 수 를 명확 하 게 정의 하지 않 았 을 때 컴 파일 러 는 어떠한 함수 호출 도 초기 화 작업 을 하지 않 고 스 택 꼭대기 에 대상 을 남 기 는 데 필요 한 공간 만 남 겼 다.즉,이런 상황 에서 컴 파일 러 는 묵인 적 인 구조 함 수 를 제공 하지 않 는 다.
그렇다면 책 에서 말 하 는 컴 파일 러 가 기본 적 인 구조 함 수 를 제공 하 는 것 은 어떻게 된 일 일 까?
다음은 첫 번 째 상황 을 보 겠 습 니 다.클래스 안에 가상 구성원 함수 가 있 습 니 다.
c+소스 코드 는 다음 과 같 습 니 다.
class X {
private:
int i;
int j;// int j
public:
virtual ~X() {
}
};
int main() {
X x;
}
다음은 main 함수 에 대응 하 는 외환 인 코딩 입 니 다.
; 13 : int main() {
push ebp
mov ebp, esp
sub esp, 12 ; x 12byte ， int i，int j 8byte， ， vptr 4byte
; 14 : X x;
lea ecx, DWORD PTR _x$[ebp]; x ， ecx
call ??0X@@QAE@XZ; x
; 15 : }
lea ecx, DWORD PTR _x$[ebp]; x
call ??1X@@UAE@XZ ;
xor eax, eax
mov esp, ebp
pop ebp
ret 0
다음은 구조 함수 의 외환 인 코딩 입 니 다.
??0X@@QAE@XZ PROC ; X::X, COMDAT
; _this$ = ecx
push ebp
mov ebp, esp
push ecx
mov DWORD PTR _this$[ebp], ecx;ecx x
mov eax, DWORD PTR _this$[ebp]; x eax
mov DWORD PTR [eax], OFFSET ??_7X@@6B@; vptr ， vtable (OFFSET ??_7X@@6B@ vtable )
; ， vptr
mov eax, DWORD PTR _this$[ebp]
mov esp, ebp
pop ebp
ret 0
위 에서 알 수 있 듯 이 클래스 에 가상 함수 가 포함 되 어 있 을 때 구조 함 수 를 명확 하 게 정의 하지 않 았 을 때 컴 파일 러 는 우리 에 게 기본 적 인 구조 함 수 를 제공 할 것 이다.따라서 하나의 유형 이 허 기 류 를 계승 할 때 도 위의 상황 을 만족시킨다.
다음은 두 번 째 상황 입 니 다.클래스 Y 는 클래스 X 를 계승 하고 X 는 기본 적 인 구조 함수(컴 파일 러 가 제공 하 는 것 이 아니 라)를 명 확 히 정 의 했 습 니 다.클래스 Y 는 그 어떠한 구조 함수 도 정의 하지 않 습 니 다.
먼저 c+소스 코드 를 보 겠 습 니 다.
class X {
private:
int i;
int j;
public:
X() {//X
i = 0;
j = 1;
}
};
class Y : public X{//Y X
private:
int i;
};
int main() {
Y y;
}
다음은 main 함수 에 대응 하 는 외환 인 코딩 입 니 다.
; 19 : int main() {
push ebp
mov ebp, esp
sub esp, 12 ; y 12byte ，y int i 4byte int i int j 8byte
; 20 : Y y;
lea ecx, DWORD PTR _y$[ebp]; y ， ecx
call ??0Y@@QAE@XZ; y
; 21 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
다음은 컴 파일 러 가 제공 하 는 y 대상 의 기본 구조 함수 의 어 셈 블 리 인 코딩 입 니 다.
??0Y@@QAE@XZ PROC ; Y::Y, COMDAT
; _this$ = ecx
push ebp
mov ebp, esp
push ecx
mov DWORD PTR _this$[ebp], ecx;ecx y
mov ecx, DWORD PTR _this$[ebp]
call ??0X@@QAE@XZ ; X
mov eax, DWORD PTR _this$[ebp]
mov esp, ebp
pop ebp
ret 0
??0Y@@QAE@XZ ENDP
다음은 부 류 X 의 구조 함수 인 코딩 입 니 다.
; 7 : X() {
push ebp
mov ebp, esp
push ecx
mov DWORD PTR _this$[ebp], ecx; ecx y
; 8 : i = 0;
mov eax, DWORD PTR _this$[ebp]; y eax
mov DWORD PTR [eax], 0; i
; 9 : j = 1;
mov ecx, DWORD PTR _this$[ebp]; y ecx
mov DWORD PTR [ecx+4], 1; j, y ， 8 ， 4byte
; i， y 4byte， j
; 10 : }
mov eax, DWORD PTR _this$[ebp]
mov esp, ebp
pop ebp
ret 0
부모 클래스 X 에서 도 구조 함수 가 정의 되 지 않 았 다 면 어떻게 되 었 을 까?
다음은 c+소스 코드:
class X {
private:
int i;
int j;
};
class Y : public X{//Y X
private:
int i;
};
int main() {
Y y;
}
다음은 main 함수 외환 인 코딩 입 니 다.
; 16 : int main() {
push ebp
mov ebp, esp
sub esp, 12 ; ， y 12byte
; 17 : Y y;
; 18 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
그렇다면 부모 클래스 에 매개 변 수 를 가 진 구조 함수 가 있 고 하위 클래스 에 구조 함수 가 없다 면?이 럴 때 컴 파일 러 가 틀 릴 수 있다.
다음은 세 번 째 상황 을 보 겠 습 니 다.클래스 Y 에는 구성원 대상 X 가 포함 되 어 있 고 구성원 대상 은 정 의 된 기본 구조 함수 가 있 으 며 클래스 Y 에는 구조 함수 가 없습니다.
먼저 c++소스 코드:
; 16 : int main() {
push ebp
mov ebp, esp
sub esp, 12 ; ， y 12byte
; 17 : Y y;
; 18 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
; 21 : int main() {
push ebp
mov ebp, esp
sub esp, 12 ; y 12byte 8byte y 4byte y
; 22 : Y y;
lea ecx, DWORD PTR _y$[ebp]; y ecx
call ??0Y@@QAE@XZ; y ，
; 23 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
대상 y 의 구조 함수 외환 인 코딩:
??0Y@@QAE@XZ PROC ; Y::Y, COMDAT
; _this$ = ecx
push ebp
mov ebp, esp
push ecx
mov DWORD PTR _this$[ebp], ecx;ecx y
mov ecx, DWORD PTR _this$[ebp]
add ecx, 4; 4 y i
call ??0X@@QAE@XZ ; x
mov eax, DWORD PTR _this$[ebp]
mov esp, ebp
pop ebp
ret 0
구성원 대상 x 의 구조 함수 외환 코드:
??0X@@QAE@XZ PROC ; X::X, COMDAT
; _this$ = ecx
; 7 : X() {
push ebp
mov ebp, esp
push ecx
mov DWORD PTR _this$[ebp], ecx;ecx x
; 8 : i = 0;
mov eax, DWORD PTR _this$[ebp]; x eax
mov DWORD PTR [eax], 0; x i
; 9 : j = 0;
mov ecx, DWORD PTR _this$[ebp]; x ecx
mov DWORD PTR [ecx+4], 0; x j 4 j x 4byte( x i )
; 10 : }
mov eax, DWORD PTR _this$[ebp]
mov esp, ebp
pop ebp
ret 0
다음은 c++소스 코드:
class X {
private:
int i;
int j;
};
class Y {
private:
int i;
X x;//x
};
int main() {
Y y;
}
; 17 : int main() {
push ebp
mov ebp, esp
sub esp, 12 ; 12byte
; 18 : Y y;
; 19 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
만약 에 구성원 대상 x 에 인자 가 있 는 구조 함수(즉,기본 구조 함수 가 아 닌)가 있 고 대상 y 에 구조 함수 가 없다 면?이때 컴 파일 러 는 잘못 보고 할 것 이다.
이런 상황 은 앞의 상황 과 매우 비슷 하 다.
이상 의 상황 을 종합 하면 하나의 유형 에 대해 어떠한 구조 함수 도 포함 하지 않 고 컴 파일 러 는 기본 적 인 구조 함 수 를 제공 하 며 세 가지 상황 이 있다.
1 클래스 자체 함수 가상 구성원 함수 또는 가상 기본 클래스 계승
2 류 의 기본 클래스 는 구조 함수 가 있 고 기본 구조 함수 가 정 의 된 기본 구조 함수(비 컴 파일 러 제공)를 표시 합 니 다.만약 에 기본 클래스 의 구조 함수 가 매개 변수(즉,비 기본 구조 함수)를 가지 고 있 으 면 컴 파일 러 가 잘못 보고 합 니 다.
3 이러한 상황 은 이전 과 비슷 합 니 다.클래스 의 구성원 대상 은 구조 함수 가 있 고 구성원 대상 의 구조 함 수 는 정 의 된 기본 구조 함수(비 컴 파일 러 제공)를 표시 합 니 다.구성원 대상 의 구조 함수 에 인자(즉,기본 구조 함수 가 아 닌)가 있 으 면 컴 파일 러 가 잘못 되 었 습 니 다.
이상 에서 의 지식 포 인 트 를 참고 하고 자신의 분석 도 있 습 니 다.지적 을 환영 합 니 다.
이 내용에 흥미가 있습니까?
현재 기사가 여러분의 문제를 해결하지 못하는 경우 AI 엔진은 머신러닝 분석(스마트 모델이 방금 만들어져 부정확한 경우가 있을 수 있음)을 통해 가장 유사한 기사를 추천합니다:
Visual Studio에서 파일 폴더 구분 (포함 경로 설정)Visual Studio에서 c, cpp, h, hpp 파일을 폴더로 나누고 싶었습니까? 어쩌면 대부분의 사람들이 있다고 생각합니다. 처음에 파일이 만들어지는 장소는 프로젝트 파일 등과 같은 장소에 있기 때문에 파일...
텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
CC BY-SA 2.5, CC BY-SA 3.0 및 CC BY-SA 4.0에 따라 라이센스가 부여됩니다.
좋은 웹페이지 즐겨찾기
