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

조건연산자는 오른쪽에서 왼쪽으로 결합성을 갖는다.