C언어의 콤마 연산자에 대해서...

> for(i=1,j=1;j<10,i<10;j++)
> {
> ...
> }
>
> 친구가 작성한 이 코드를 보고 문법에 틀린게 아닌가 생각이 들었는데
>

문법은 틀리지 않았지만, 의도한 "의미"상 틀렸습니다.

> 왜냐하면 콤마 연산자는 두 문장을 이어주는 역활을 하는것인데

두 문장을 연결해 주는 역할이 아니라, 두 수식을 연결해 하나의 수식으로
만들어 주는 역할을 합니다.

> for문에 들어갈 조건식에 사용되면 의미상으로 전체 수식이 참인지, 거짓인지 구별하지 못할꺼라고 생각했거든요
> 그런데 정상적으로 작동을 하더라구요
>

그럴리가요.

> 이렇게 사용하는것이 정말로 문법에 어긋나는것이 아닌가요?
> 친구 말로는 이렇게 콤마로 연결되어있으면 or(||)와 같이 작동한다고 하더라구요
>

친구분이 틀렸습니다.

a, b 와 같은 수식이 있을 때 행동은 a 를 평가하고 그 결과를 "무시"하고
b 를 평가하는 식으로 동작합니다. 쉼표 연산자로 여러 수식이 연결되어
있을 경우 수식의 결과는 마지막 피연산자로 주어진 수식의 결과가 됩니다.
따라서 마지막 수식이 아닌 수식들은 값을 변경하는 등의 side effect 를
가지지 않는 이상 무의미합니다.

보여주신 j<10, i<10 에서도 j 가 10 미만인지 판단한 결과는 "무시"되어
버리고 i<10 의 결과만이 전체 결과를 좌지우지합니다. 따라서 for 문의
제어 수식으로 j<10, i<10 을 써 준 것은 i<10 만 써준 것과 다를 바
없습니다. 친구분 말씀대로 logical OR 의 역할을 한다면 아래 코드는
j == 10 시점에 종료 되어야 하지만 실상은 그렇지 않다는 것을 확인하실
수 있습니다.

~$ cat > t.c
#include <stdio.h>;
 
int main(void)
{
    int i, j;
 
    puts("will this stop?\n");
    for (i=0, j=0; j<10, i<10; j++)
        printf("%d\n");
 
    return 0;
}
 
~$ gcc t.c
~$ ./a.out
will this stop?
 
0
1
2
3
4
5
6
7
8
9
10
11
12
...

--
Jun, Woong (woong at icu.ac.kr)
Web: http://www.woong.org (서버 공사중)