二元關係運算子和相等運算子會比較其第一個運算元與第二個運算元，以測試指定的關聯性是否有效。 如果測試的關聯性是 true，則關聯運算式的結果為 1，如果是 false，結果即為 0。 結果的類型是 int。
語法
relational-expression：
shift-expression
relational-expression < shift-expression
relational-expression > shift-expression
relational-expression <= shift-expression
relational-expression >= shift-expression
equality-expression：
relational-expression
equality-expression == relational-expression
equality-expression != relational-expression
關係運算式和相等運算子會測試下列關聯性：
| 運算子 | 測試的關聯性 |
|---|---|
< |
第一個運算元小於第二個運算元 |
> |
第一個運算元大於第二個運算元 |
<= |
第一個運算元小於或等於第二個運算元 |
>= |
第一個運算元大於或等於第二個運算元 |
== |
第一個運算元等於第二個運算元 |
!= |
第一個運算元不等於第二個運算元 |
清單中前四個運算子的優先順序高於相等運算子 (== 和 !=)。 請參閱表 C 運算子的優先順序和關聯性中的優先順序資訊。
運算元的類型可能是整數類型、浮點類型或指標類型。 運算元的類型可以不同。 關係運算子會對整數和浮點類型運算元執行一般算術轉換。 此外，您可以使用下列運算元類型組合搭配關係運算子和相等運算子：
任何關係運算子或相等運算子的運算元都可以是相同類型的指標。 針對相等運算子 (
==) 和不等運算子 (!=)，比較結果會指出兩種指標是否定址相同的記憶體位置。 針對其他關係運算子 (<、>、<=與>=)，比較結果則會指出物件的兩個記憶體位址所指向的相對位置。 關係運算子只會比較位移。指標比較的定義僅適用於同一物件的部分。 如果指標參考陣列的成員，比較就相當於對應註標的比較。 第一個陣列元素的位址「小於」最後一個元素的位址。 對於結構而言，之後宣告的結構成員指標「大於」之前在結構中宣告的成員指標。 相等位的成員指標是相等的。
指標值可以與常數值 0 進行相等比較 (
==) 或不等比較 (!=)。 值為 0 的指標稱為「Null」指標；也就是說，該指標不指向有效的記憶體位置。相等運算子和關係運算子遵循相同的規則，但允許其他可能性；指標可以和值為 0 的常數整數運算式比較，也可以和
void的指標比較。 如果兩個指標都是 Null 指標，則比較結果為相等。 相等運算子會比較區段和位移二者。
範例
這些範例說明關係運算子和相等運算子。
int x = 0, y = 0;
if ( x < y )
因為 x 和 y 相等，因此這個範例中的運算式產生的值會是 0。
char array[10];
char *p;
for ( p = array; p < &array[10]; p++ )
*p = '\0';
這個範例中的片段會將 array 的每個元素設為 Null 字元常數。
enum color { red, white, green } col;
.
.
.
if ( col == red )
.
.
.
這些陳述式會宣告名為 col 且有 color 標記的列舉變數。 無論何時，此變數可能包含整數值 0、1 或 2，代表其中一個列舉元素會設定color：分別為red、white或green。 如果 col 在執行 if 陳述式時包含 0，會執行所有與 if 相依的陳述式。