Cpp에서의멤버함수구현메커니즘

• 다음 소스에서는 die메소드에서 자신을 삭제해줍니다. 그런데. 삭제되고도 뻔뻔스럽게 자신의 메소드를 호출하네요. 어떻게 된것일까요? 알아봅시다.
  

~cpp 

#include <iostream>
using namespace std;

class Foo{
public:
	int id;
	Foo(){
		static idSequance = 0;
		id = idSequance++;
		cout << "Create! id = " << id << endl;
	}
	void die(){
		cout << "I suicide. Id is " << id << endl;
		delete this;	// 자신 삭제
	}
	void sayMyId(){
		cout << "My Id is no " << id << endl;
	}
	void sayHello(){
		cout << "say Hello" << endl;
	}	
};


int main(int argc, char** argv)
{	
	cout << endl << ":::::: Case 1 - 동적할당 " << endl;
	Foo* foo1 = new Foo();// Create! 를 출력한다.
	foo1->sayHello();		// Hello 출력
	foo1->sayMyId();		// id 출력
	foo1->die();		// 객체 삭제
	foo1->sayHello();		// 동작 가능
	foo1->sayMyId();		// 동작 가능
	

	// id 확인차
	cout << endl << ":::::: Case 2 - id 확인" << endl;
	Foo* foo2 = new Foo();// Create! 를 출력한다.
	foo2->sayHello();		// Hello World 출력
	foo2->sayMyId();		// id 출력
	foo2->die();			
	foo2->sayHello();
	foo2->sayMyId();		
	
	cout << endl << ":::::: Case 3 - 포인터 NULL로 하고 메소드 호출하기 " << endl;
	Foo* foo3 = NULL;		//  자세한 설명보세요.		
	foo3->sayHello();		// Hello 를 출력한다.
	//foo3->sayMyId();		// debug, release 모두 동작할 수 없다. 
	//foo3->die();		// debug, release 모두 동작할 수 없다.	

	cout << endl << ":::::: Case3 - 지역변수로 선언" << endl;
	Foo foo4;
	foo4.sayHello();		// Hello World 출력
	foo4.sayMyId();		// id 출력
	foo4.die();		// debug mode에서 assertion error
	foo4.sayHello();		// release 에서 동작 가능
	foo4.sayMyId();		// release 에서 동작 가능
	cout << endl;

	return 0;
}

~cpp 
:::::: Case 1 - 동적할당
Create! id = 0
say Hello
My Id is no 0
I suicide. Id is 0
say Hello
My Id is no 3604872

:::::: Case 2 - id 확인
Create! id = 1
say Hello
My Id is no 1
I suicide. Id is 1
say Hello
My Id is no 3604872

:::::: Case 3 - 포인터 NULL로 하고 메소드 호출하기
say Hello

:::::: Case3 - 지역변수로 선언
Create! id = 2
say Hello
My Id is no 2
I suicide. Id is 2
say Hello
My Id is no 2

Press any key to continue

• 첫째로, C++의 클래스와 인스턴스 생성을 알아봅시다.
  
• 둘째로, 인스턴스에 귀속된 멤버 함수들을 실행하는 것을 생각해 보겠습니다.
  
• 마지막으로, 위의 문제제기에 대해 분석해 봅시다.
  
  

~cpp 
class Foo{
public:
    int id;  // <- 이 부분의 정보 입니다.
};

~cpp 
Foo foo4; 

~cpp 
class Foo{
public: 
	int id;
	void sayMyId(){
		cout << "My Id is no " << id << endl;
	}
};

~cpp 
Foo:sayMyId()

~cpp 
Foo:sayMyId(Foo* x)

~cpp 
foo1->sayMyId(foo1);

~cpp 
	Foo* foo1 = new Foo();	// Create! 를 출력한다.
	foo1->sayHello();		// Hello 출력
	foo1->sayMyId();		// id 출력
	foo1->die();		// 객체 삭제
	foo1->sayHello();		// 동작 가능
	foo1->sayMyId();		// 동작 가능

~cpp 
Create! id = 0
say Hello
My Id is no 0
I suicide. Id is 0
say Hello                    // 객체 삭제(delete this)후 실행 코드
My Id is no 3604872          // 객체 삭제(delete this)후 실행 코드

~cpp 
sayHello() -> sayHello(Foo*)
sayMyId() -> sayMyId(Foo*) 

~cpp 
say Hello                    객체 삭제(delete this)후 실행 코드
My Id is no 3604872          객체 삭제(delete this)후 실행 코드

~cpp 
delete x

~cpp 
	Foo* foo2 = NULL;		//  자세한 설명보세요.		
	foo2->sayHello();		// Hello 를 출력한다.

~cpp 
say Hello

~cpp 
Foo::sayHello(foo2)  -> Foo::sayHello(NULL)

• C++ 에서 class 의 멤버 함수를 호출할때 멤버 함수의 첫인자를 해당 class 의 instance pointer 로 묵시적으로 선언되고 호출된다.
  
• 위의 호출시에 pointer 의 유효성은 확인하지 않는다.
  

~cpp 
// Main.java file
class Foo{
	public int a;
	void sayHello(){
		System.out.println("Hello");
	}
}
public class Main {
	public static void main(String[] args) {
		Foo foo= null;
		foo.sayHello();
	}
}

~cpp 
java.lang.NullPointerException
	at Main.main(Main.java:19)
Exception in thread "main"