어셈블리어를 보는 수업 형태를 통해 알게 된 게

Question

왜 디폴트 매개변수를 항상 뒤에 배치해야하는지 의문이었는데요. 지난 수업들에서 본 바로는 매개변수는 뒤에서 부터 메모리에 할당이 되니까 오히려 디폴트 매개변수를 더 먼저 등록해야한다는 것을 알게 되었습니다. 그런데 이렇게 디폴트를 먼저 등록해야하는 이유라도 있나요?

Rookiss · Answer

사실, 그 부분은 메모리 구조 때문이라기 보다는
순전히 문법적인 이유가 강합니다.
(어셈블리 관점에서 '디폴트 매개변수'라는 개념은 존재하지도 않습니다)

Func(int a, int b, int c = 0); 이 있을 때,
a, b는 필수적으로 전달해야 하지만
c는 전달하지 않으면 기본값(0)으로 설정됩니다.
즉 Func(100, 200)로 호출하면 a = 100, b = 200, c = 0이 되겠죠.

그런데 만약 Func(int c = 0, int a, int b)와 같은 형태를 허락한다면
a, b한테만 값을 전달할 수가 없고 c도 아무값이나 넣는 형태로 호출해야 합니다.
즉 Func(100, 200) 이렇게 해버리면
c의 자리에 100이 들어가고 a = 200,
b는 입력 안 한 상태가 되겠죠.
따라서 기본 매개변수가 들어가는 애들은 뒤쪽으로 몰빵하게 문법이 만들어진 것입니다.

정민균 · Answer

아 함수 오버로딩은 무난하게 이해해놓고 여기서 걸렸네요 ㅎㅎ 감사합니다!