윤성우 책의 문제점이라는 게 이해가 잘 안 돼요

Question

https://namu.wiki/w/%EC%9C%A4%EC%84%B1%EC%9A%B0Call by value인 이유가 함수 내에서 변수가 함수 바깥의 인자를 조작할 수 없기 때문이라는데.. call by value는 값을 넘겨주는 거고 call by reference는 주소나 포인터를 넘겨주는 거 아닌가요? 그렇게 배워서.. 애초에 참조와 포인터의 차이부터 잘 모르겠네요.4.2도 문장 자체가 잘 이해되지 않네요.. 구글링해도 역시 이해가 안 돼서 질문 드립니다.초보라 그런가 싶다가도 궁금하긴 하네요.

Throwaway · Accepted Answer

명제가C언어에서 모든 매개변수는 값으로만 넘겨진다.포인터와 레퍼런스는 다르다.레퍼런스는 그냥 레퍼런스. (Not nullable)포인터는 null이 될수도 있고 레퍼런스 속성을 갖고있을수도 있음C에는 pass-by-reference 는 없으나, pass-by-pointer는 있고 그 아래에서 모든 것은 결국 pass-by-value이다 정도인거 같습니다.

장독깨기 · Answer

4.1call by value 에서 이 value 가 무엇이냐. 이걸 생각해보면 될 거 같습니다.int a &#61; 1; // a 는 주소(포인트) 정보도 있고, 1이라는 값도 있습니다.call(a); // 이때 value 는 1이라는 값입니다.call(&a); // 이때 value 는 a의 주소(포인트) 입니다.call by value 는 변함이 없는데, 이 value 가 값일 수도 주소일 수도 있는거죠.반면, c&#43;&#43; 에서는 call by reference 가 있습니다. 받는 쪽에서 & 연산자로 정의할 수 있죠.이런 식으로요. void swap(int&a, int&b);4.2가령, int*a 이렇게 선언하면 a 는 포인터 변수입니다. a 를 변경할 수 있죠. 그래서, 변수입니다.int b[10]; 이렇게 선언하면 b 는 배열 입니다.b 에도 주소 정보가 있겠죠. 그래서, 포인터라고 하는데요,근데, b 배열의 내용을 변경할 수 있지만, 저 주소는 변경할 수 없잖아요. b &#61; a; 이게 안되죠.그래서, 보통 포인터 상수라고 하는데요, 저도 이 정도로 이해했고, 딱히 틀린말은 아니지 싶은데요,저 글에서는 아니라고 하네요. ㅎ 이건 그냥 그런가 보다 하면 될 거 같습니다.

memoization · Answer

와...나무위키 윤성우님에 대한 지적 글 어마무시하네요. ㄷ ㄷ

bot99 · Answer

call by reference는 포인터가 아니라 참조를 그대로 넘겨주는 것입니다. 포인터 주소값을 넘겨주는 것이라면 call by value로 보는 것이 타당하며, 타협을 하더라도 call by value와 포인터를 통해 call by reference를 흉내내는 것이다 라는 식으로 설명하는 것이 바람직합니다. 적어도 C&#43;&#43;이 아닌 C언어에선, call by reference는 없습니다.4.2.는 일명 포인터 상수라 하여 널리 퍼진 틀린 설명인데, 좀 미묘한 차이가 있습니다. 이건 윤성우씨만 그런게 아니고 꽤 많은 서적들이 문제가 있습니다.정확한 규칙은 배열 이름이 그 첫번째 원소를 가리키는 포인터 상수인게 아닙니다. 배열 이름을 포함하여, 배열 타입을 갖는 수식의 결과값이 그 첫번째 원소를 가리키는 포인터 상수로 바뀐다(보통 decay 된다 라고 표현을 합니다)라는 것이 원래의 정확한 규칙입니다. 이것에 대해서는 나무위키 포인터 항목에서도 설명하고 있습니다.나무위키 C(프로그래밍 언어)/포인터 - 5.2. 배열과 포인터의 관계여기에는 예외가 있는데, char형 배열을 초기화 할 때 쓰이는 문자열 상수(char s[]&#61;&#34;string&#34;;과 같은 구문의 경우를 뜻함. 문자열 상수는 char형 배열이므로 이 규칙의 영향을 받습니다), &연산자의 피연산자로 쓰일 때, sizeof연산자의 피연산자로 쓰일때 입니다.그러면 배열 이름&#61;포인터 상수가 뭐가 문제인지 살펴봅시다.배열 이름이 포인터 상수이면 그 타입은 포인터 주소값이므로 sizeof(array_name) &#61;&#61; sizeof(pointer_size)가 되어야 할 것입니다. 64비트 환경이라면 보통 포인터 주소값도 8바이트니까 char arr[10];인 배열 arr에 대해 sizeof(arr)은 8이 되어야 할 겁니다. 하지만 실제로는 sizeof(arr)&#61;&#61;10 이 됩니다.& 연산자에 대해서도 이 점은 마찬가지라서, arr이 포인터 주소값이라면 여기에 l-value에만 붙을 수 있는 &연산자를 붙이는 것은 말이 되지 않습니다. 하지만 실제로 &arr 하면 arr 전체의 주소값이 반환됩니다.또한, 배열 이름만 포인터 상수인 것은 아니고 수식 안에서 배열 타입이 그 결과물인 모든 항에 대해, 그 첫번째 원소를 가리키는 포인터 주소값으로 자동 변환됩니다. 배열 이름만 포인터 상수라고 생각하면, 다차원 배열이 들어간 수식을 해석할 때 제대로 해석이 안됩니다.이처럼 배열이름&#61;포인터상수 라고 생각해서는 안되는 미묘한 차이가 좀 있습니다. 물론 배열이름&#61;포인터상수다 라고 해놓고 여기에 예외상황을 주렁주렁 추가하면 맞출 수는 있긴 합니다. 하지만 그냥 원래의 정확한 규칙을 배우면 되는 일을 굳이 빙 돌아서 잘못된 규칙을 배울 필요는 없습니다.

윤성우 책의 문제점이라는 게 이해가 잘 안 돼요

4개의 답변

기술 목록