C 언어의 조건 연산자(conditional operator)에는 다음과 같은 3항(ternary)연산자가 있다.
수식1 ? 수식2 ? : 수식3
이 조건 연산자는 수식1이 먼저 평가되어 참(0 이외의 값)이면 수식2가 평가되고, 거짓(0의 값)이면 수식3이 평가된다. 이 형식은 6장에서 언급할 if 문의 형태로 표현할 수 있다. 예를 들어,
min = (y < z) ? y : z;
는
if (y < z)
min = y;
else
min = z;
로 표현할수 있으며, 그 의미는 y가 z보다 작으면 min에 y값을 배정하고, 그렇지 않으면 min 에 z값을 배정한다.
한편, '수식1 ? 수식2 : 수식3' 의 형(type)은 수식2와 수식3의 형에 의해 결정된다.
따라서 수식2와 수식3이 서로 다른 형이면 일반적인 형 변환 규칙이 적용된다. 주의 할 점은 수식2 또는 수식3 두 수식 중 어느 하나가 평가되는가와 관계없이 형 변환이 일어난다는 점이다.
이러한 조건 연산자의 사용 예와 연산 우선 순위 및 결합성은 다음과 같다.
예5. 18 조건 연산자의 연산 우선 순위의 결합성
[변수 선언 및 값의 배정]
char a='a', b='b', c='c'; /* a는 10진값 97을 가짐 */
int i=1, j=2, k=3;
float x=3.337;
| 수식 | 우선 순위와 결합성 | 결과값 | 형 |
| i==j?a-1:b+1 | (i==j)?(a-1):(b+1) | 99 | int |
| k%3==0?i:x+1 | ((k%3)==0)?i:(x+1) | 1.0 | double |
| k%3?i:x+1 | (k%3)?i:(x+1) | 4.337 | double |
| 문장 | 출력 결과 | ||
| printf("n%d tree%c", k, (k==1)?'':'s'); | 3trees | ||
| printf"n%d frog%c", k, (k==1)?'':'s'); | 1frog | ||
조건연산자는 오른쪽에서 왼쪽으로 결합성을 갖는다.