Joinc Wiki: 실수하기 쉬운 후위증감연산자

Facebook Joinc 그룹 Joinc QA 사이트

joinc는 Firefox와 chrome에서 테스트 했습니다. IE에서는 테이블이 깨지거나 이미지가 보이지 않을 수 있습니다. 특히 구글 Docs이미지의 경우 엑박처리될 수 있습니다.

증감연산자가 피연산자에 붙는 위치에 따라서 미묘한 차이가 있을 수 있다는건 알고 있는건 한데, 차이가 미묘하다 보니 실수를 할 경우가 생긴다. 이를테면 아래와 같은 경우다.

int i = 1; 
int idx = 0; 
while(1) 
{ 
    idx = i++; 
    //  어떤식으로든 idx를 이용한다. 
}

이 경우 프로그래머가 의도하는 바는 idx에 2가 대입되는 것임이 분명하다. 그러나 idx에는 1이 대입된다. 이러한 실수는 다른 예에서도 찾아볼 수 있다.

#define MAX(A,B) ( (A) > (B) ) ? (A) : (B) 
MAX(x++, 2)

위의 경우도 마찬가지다. 매크로 함수에 문제가 있는 것은 평소에는 분명히 인지하고 있겠지만, 사람이다 보니 상황에 따라 명백해 보이는 실수를 하게 된다. 평소에 inline templatized를 지원하는 [http]

C++과 같은 언어를 사용하고 있었다면, 별생각없이 위에서와 같은 버그를 가지는 매크로를 작성할 수도 있는 것이다.

실수를 줄이는 가장 확실한 방법은 '''실수를 직접 경험해서 뼈속에 새기거나"', 증감연산자는 조심해서 써야된다더라. 후위 증감연산자를 쓸경우 대입이 먼저 일어나게 된다더라라는 식으로 아는게 아닌 컴퓨터수준에서 어떻게 처리하는지를 이해하면 될것이다. 이렇다고 하더라도 이러한 류의 실수는 계속 발생하겠지만, 줄일 수는 있을 것이다.

해서, 증감연산자가 선위에 쓰이는 것과 후위에 쓰이는 차이를 어셈블리어 수준에서 고찰해보기로 했다. 테스트를 위해서 2개의 C 코드를 준비했다.

// 첫번째 테스트 코드 : 선위형 증감연산자 
#include <stdio.h> 
 
int main() 
{ 
    int a = 0; 
    int b = 1; 
 
    a = ++b; 
} 
 
// 두번째 테스트 코드 : 후위형 증감연산자 
#include <stdio.h> 
 
int main() 
{ 
    int a = 0; 
    int b = 1; 
 
    a = b++; 
}

각각 test1.c 와 test2.c 로 저장한다음 gcc 컴파일러를 이용해서 어셈블리 코드를 생성했다. gcc는 3.2.2 버전을 사용했다.

# gcc -S test1.c 
# gcc -S test2.c

다음은 만들어진 어셈블리코드다. 30라인 정도의 어셈블리 코드가 생성되었다. 그 중 중요한 부분만을 가지고 차이점에 대해서 알아보도록 했다.

# test1.s : 선위형 증감연산자
    movl    $0, -4(%ebp)                   # 값 0을 스택의 첫번째에 복사 했다. a = 0;
    movl    $1, -8(%ebp)                   # 값 1을 스택의 두번째에 복사 했다. b = 1;
    leal    -8(%ebp), %eax
    incl    (%eax)                         # 두번째 스택에 있는 값을 1만큼 증가 시켰다. b++;
    movl    -8(%ebp), %eax
    movl    %eax, -4(%ebp)                 # 두번재 스택에 있는 값을 스택의 첫번째에 복사했다.
    leave                                  # C형식으로 표현하자면 a = b 이고 결국 a에 2가 복사된다.

# test2.s : 후위형 증감연산자
    movl    $0, -4(%ebp)
    movl    $1, -8(%ebp)
    movl    -8(%ebp), %eax
    movl    %eax, -4(%ebp)             # 두번재 스택에 있는 값을 스택의 첫번째에 저장했다. a = b
    leal    -8(%ebp), %eax
    incl    (%eax)                     # 두번째 스택에 있는 값을 1만큼 증가 시켰다. b++
                                       # 그러나 b의 값을 a에 복사하는 과정이 빠져있다. 결국 a는 1이다.

뇌자극 QA 뇌자극 에러 및 수정목록 총 페이지 수 : 3224 전체 함수/용어사전 구글검색방법 구글 맞춤검색	Facebook Joinc 그룹 Joinc QA 사이트 현재위치 : 미니사이트>C>Documents>Plus_Operation Tweet joinc는 Firefox와 chrome에서 테스트 했습니다. IE에서는 테이블이 깨지거나 이미지가 보이지 않을 수 있습니다. 특히 구글 Docs이미지의 경우 엑박처리될 수 있습니다. 증감연산자가 피연산자에 붙는 위치에 따라서 미묘한 차이가 있을 수 있다는건 알고 있는건 한데, 차이가 미묘하다 보니 실수를 할 경우가 생긴다. 이를테면 아래와 같은 경우다. int i = 1; int idx = 0; while(1) { idx = i++; // 어떤식으로든 idx를 이용한다. } 이 경우 프로그래머가 의도하는 바는 idx에 2가 대입되는 것임이 분명하다. 그러나 idx에는 1이 대입된다. 이러한 실수는 다른 예에서도 찾아볼 수 있다. #define MAX(A,B) ( (A) > (B) ) ? (A) : (B) MAX(x++, 2) 위의 경우도 마찬가지다. 매크로 함수에 문제가 있는 것은 평소에는 분명히 인지하고 있겠지만, 사람이다 보니 상황에 따라 명백해 보이는 실수를 하게 된다. 평소에 inline templatized를 지원하는 C++과 같은 언어를 사용하고 있었다면, 별생각없이 위에서와 같은 버그를 가지는 매크로를 작성할 수도 있는 것이다. 실수를 줄이는 가장 확실한 방법은 '''실수를 직접 경험해서 뼈속에 새기거나"', 증감연산자는 조심해서 써야된다더라. 후위 증감연산자를 쓸경우 대입이 먼저 일어나게 된다더라라는 식으로 아는게 아닌 컴퓨터수준에서 어떻게 처리하는지를 이해하면 될것이다. 이렇다고 하더라도 이러한 류의 실수는 계속 발생하겠지만, 줄일 수는 있을 것이다. 해서, 증감연산자가 선위에 쓰이는 것과 후위에 쓰이는 차이를 어셈블리어 수준에서 고찰해보기로 했다. 테스트를 위해서 2개의 C 코드를 준비했다. // 첫번째 테스트 코드 : 선위형 증감연산자 #include <stdio.h> int main() { int a = 0; int b = 1; a = ++b; } // 두번째 테스트 코드 : 후위형 증감연산자 #include <stdio.h> int main() { int a = 0; int b = 1; a = b++; } 각각 test1.c 와 test2.c 로 저장한다음 gcc 컴파일러를 이용해서 어셈블리 코드를 생성했다. gcc는 3.2.2 버전을 사용했다. # gcc -S test1.c # gcc -S test2.c 다음은 만들어진 어셈블리코드다. 30라인 정도의 어셈블리 코드가 생성되었다. 그 중 중요한 부분만을 가지고 차이점에 대해서 알아보도록 했다. # test1.s : 선위형 증감연산자 movl $0, -4(%ebp) # 값 0을 스택의 첫번째에 복사 했다. a = 0; movl $1, -8(%ebp) # 값 1을 스택의 두번째에 복사 했다. b = 1; leal -8(%ebp), %eax incl (%eax) # 두번째 스택에 있는 값을 1만큼 증가 시켰다. b++; movl -8(%ebp), %eax movl %eax, -4(%ebp) # 두번재 스택에 있는 값을 스택의 첫번째에 복사했다. leave # C형식으로 표현하자면 a = b 이고 결국 a에 2가 복사된다. # test2.s : 후위형 증감연산자 movl $0, -4(%ebp) movl $1, -8(%ebp) movl -8(%ebp), %eax movl %eax, -4(%ebp) # 두번재 스택에 있는 값을 스택의 첫번째에 저장했다. a = b leal -8(%ebp), %eax incl (%eax) # 두번째 스택에 있는 값을 1만큼 증가 시켰다. b++ # 그러나 b의 값을 a에 복사하는 과정이 빠져있다. 결국 a는 1이다.