[📚정보] 밑 c++ 동적할당 질문

[뽀로로(dlwngjs1212)]

처음에 인라인화되서 그런줄 알았다 하지만 직접 확인해보자고 생각해서 확인해보았다

참고로 최적화는 껐다

일단 대충 이렇게 했다

메인부분을 먼저보자면 

nullptr을 넣고 그냥 인자에 this를 넣고 그냥 test::a를 호출한다

그리고 test::a에서 this를 받고 데이터영역에서 텍스트를 가져와 그냥 출력한다

결론은 당연하게 this를 참조하지 않으니 이론상 호출은 가능한거다

나는 솔직히 이건 ide단에서 막히는줄 알고 당연히 인라인하나보다 했다 그리고 그래야 맞는거 같지만 안막는게 좀 그렇다

그리고 여기서 생각할건 위 사진은 x86/64기준이고 gcc기준이다 근데 함수호출정도만 다르고 나머지는 비슷하기 때문에 크게 상관은 없을거같다

+그리고 보면서 처음알았는데 커널쪽 함수는 32비트인거 같다

- dc official App

[익명(119.194)]

'역시 플머는 달라' 콘

[익명(211.224)]

레지스터에 this넣는 부분이 어디있음?

[뽀로로(dlwngjs1212)]

2번째 3번째 줄입니다 - dc App

[익명(211.224)]

mov연산말하는거?

[뽀로로(dlwngjs1212)]

맞습니다 - dc App

[익명(211.224)]

첫줄 mov연산으로 t에다가 0넣고 둘째줄에서 그 값을 rax에 넣고 셋째에서 rdi에 넣는거 아님?

[뽀로로(dlwngjs1212)]

맞습니다 - dc App

[익명(211.224)]

근데 그게 왜 this값임?

[익명(211.224)]

아 this자체가 null값이라 this값이라고 말한거구나 이해했슴..

[뽀로로(dlwngjs1212)]

t는 스택에 있지만 t값은 힙을 가르킵니다 - dc App

[뽀로로(dlwngjs1212)]

아니에요 t값이 this에요 - dc App

[익명(211.224)]

좀 이해가 안가는데, t값이 왜 this임?

[익명(211.224)]

t에다가 할당도안했는데 어떻게 힙을 가리키는거고

[뽀로로(dlwngjs1212)]

t자체말고 t가 가지고 있는 ”값“이(t자체는 그냥 스택에 잡힌포인터에요)t주소에요 - dc App

[뽀로로(dlwngjs1212)]

그래서 말했잖습니다 ide단에서 막아야된다고 저건 this참조가 없어서 그런거지 원래였으면 뻣어야 정상이에요 - dc App

[뽀로로(dlwngjs1212)]

보시다시피 0을 가르키고 있어요 - dc App

[익명(211.224)]

그러니까 t 자체는 스택메모리에 생성될거고 그게 어셈블리에서 PTR[rbp-8]이잖음. 애초에 포인터 변수가 할당되었는데 "t가 가지고있는 값"이라는 부분이 이해가 안가는데

[익명(211.224)]

포인터에 공간할당한것도아니고 어느 주소 가리킨것도아닌데

[뽀로로(dlwngjs1212)]

한번 제가 말한것들을 조합해보시고 생각해보세요 - dc App

[뽀로로(dlwngjs1212)]

계속 말했지만 ide단에서 막아야된다고 생각한다고 생각해요 - dc App

[익명(211.224)]

나 진짜 이해가 안가는데 t가 갖고있는값은 null값(어셈블리에서 0)잖아.

[익명(211.224)]

아니 ide단에서 막아야하는거야 당연한거고 난 너의 설명에서 "레지스터에 this를 넣고"부분이 이해가 안가서 물어본거임

[뽀로로(dlwngjs1212)]

Main함수는 저렇게 되있지만 a함수는 this가 뭐가 들어올지 몰라요 그래서 실행은 가능한거에요 왜냐면 this를 참조하는게 없거든요 그래서 가능한겁니다 - dc App

[뽀로로(dlwngjs1212)]

아까도 말했지만 t값이 this입니다 t는 0을 가르키는거 뿐이죠 함수에서 참조했다면 뻣었을겁니다 - dc App

[뽀로로(dlwngjs1212)]

이해가 되셨을까요 - dc App

[익명(211.224)]

혹시 c++ 멤버함수 호출할때 어셈블리로 변환되었을때 rdi에 this값이 들어감?

[뽀로로(dlwngjs1212)]

그거는 호출규약마다 다릅니다 - dc App

[익명(211.224)]

stdcall일때

[뽀로로(dlwngjs1212)]

그렇죠 64는 인자도 레지스터를 씁니다 - dc App

[익명(211.224)]

ㅇㅋ 그럼 내가 호출규약 관련해서 생각못해서 뭔설명인지 몰랐는듯

[익명(211.224)]

c언어할때만 디스어셈블리켜서 봤어가지고.. 미안합니다

[뽀로로(dlwngjs1212)]

좋습니다 mavc말고도 다른 컴파일러도 보여주는
https://godbolt.org/
이걸
써보세요 - dc App

[익명(211.224)]

근데 생각해보니 ide단에서 막기 힘들지않음? 지금이야 메인함수에서 널값 넣자마자 함수호출한거지만 어떤 함수에서 파라미터로 포인터가 들어왔다고 하면 그 값이 뭔줄알고 막나싶은데

[뽀로로(dlwngjs1212)]

재귀함수도 부분 인라인화하는 그들입니다 과소평가하지 마세요 - dc App

[익명(211.224)]

런타임일때 값이 결정 되는데 어떻게 알아냄

[뽀로로(dlwngjs1212)]

런타임에 결정나도 하라면 할수있죠 초기화되지 않는 변수가 존재한다는 경고처럼 미리 테이블 만들어보고 하나하나 따지면 되긴할겁니다 - dc App

[뽀로로(dlwngjs1212)]

그게 아니면 c++ 디자인철학이라고 우길수도 있겠네요 자유도 준다는 식으로 - dc App

[익명(211.224)]

하긴 생각해보니 스코프내에 선언한 것들중 할당 한번도 안했다면 그정도는 가능할듯..

[익명(211.224)]

근데 그러면 os 만들때 힘들것같긴하내

[익명(tomkazansky)]

호에에?

[123(122.38)]

참조용 포인터에 인스턴스가 할당이 안되어있어도 함수내용이 필드랑 상관 없는 인라인함수로 가능한게 되어있으면 참조용 포인터에서 호출은 가능하다... 신기하네

[뽀로로(dlwngjs1212)]

저수준에서 보면 다 의미가 없는거죠 - dc App

[123(122.38)]

c++만 그런건지 다른 언어도 그런건지 궁금함

[뽀로로(dlwngjs1212)]

C#은 컴파일최적화를 꺼도 그냥 인라인 시키네요 - dc App

[뽀로로(dlwngjs1212)]

그리고 컴파일러가 안막는다면 abi가 동일해야되기 때문에 같은 플랫폼에선 위결과랑 같을겁니다 - dc App

[꺄아악(58.234)]

너무 딥하게 접근하네..게임개발 이거 말고도 할것 많다...그냥 넘어가

[뽀로로(dlwngjs1212)]

딥하진 않은거 같습니다 원래 디스어셈블리보면서 콜스택 추적하는게 재미거든요 - dc App

[뽀로로(dlwngjs1212)]

그리고 이건 좀만 공부하먄 볼수있는 수준입니다 - dc App

[익명(59.19)]

C++ 막 시작한 뉴빈데 내가 이해한게 맞는지 물어봐도 될까? 지금 테스트 클래스의 객체를 가르키는 포인터를 널포인터로 선언하고, 객체도 안만들고 그 널 포인터로 클래스 함수를 불러왔는데 문제가 없다는거 맞음?ㄷㄷ 인라인 한 것도 아니고 그냥 t->a() 가 함수 포인터처럼 작동한거지? 신기하네ㄷㄷ 매개변수가 있을때도 함수부터 부르고 객체를 부르려나?

[뽀로로(dlwngjs1212)]

인자는 스택을 씁니다(위 사진에선 레지스터) 그래서 인자가 있어도 맴버함수나 맴버 변수에 접근하지 않는 이상 괜찮을거 같네요 - dc App

[익명(59.19)]

오 감사합니다ㅎ 근데 테스트 클래스에 b() 를 만들고 a()에서 b를 불러도 작동 하는거 아닌가요? 맴버 변수에만 접근 안하면 되는게 아닌지??

[뽀로로(dlwngjs1212)]

그 함수가 맴버변수를 접근할수있으니 안부르는게 좋죠 저 함수는 그냥 메크로로 박아도 이상하지 않은 코드니 되는것이고요 - dc App

[익명(58.224)]

int main() { test::a(); }

[뽀로로(dlwngjs1212)]

Test* this = nullptr; test::a(this); 이게 맞는 표현입니다 - dc App

[익명(59.19)]

static 선언 안했는디 객체 없이 접근 할 수 있나요?

[뽀로로(dlwngjs1212)]

위에 설명있습니다 - dc App

[익명(218.155)]

선생님 결국 인라인화 되긴한건가요? 선언과동시에 정의까지 다썻으니까 인라인이되기는한건가

[뽀로로(dlwngjs1212)]

인라인은 아니에요 보시다시피 this를 인자에 넣습니다 근데 아마 최적화를 키면 인라인될겁니다 - dc App

[익명(121.129)]

함수 호출이 문제될건 없지 어차피 함수는 코드 영역에 있으니, 님이 말한대로 문제는 this 에 접근하려는데 그게 null 일 때 문제가 생기는거고 근데 님 함수는 this 에 접근을 안하니 문제가 없는거지 이게 왜 컴파일러 단에서 막아야된단거임??

[뽀로로(dlwngjs1212)]

C#으로 보면 맴버가 포인터일때랑 비슷한 원인이라 생각하시면 됩니다 - dc App

[뽀로로(dlwngjs1212)]

말씀하신거처럼 저수준에선 문제 없어요 - dc App

[뽀로로(dlwngjs1212)]

그리고 컴파일러에서 막아야된다고 한적은 없습니다 - dc App