在C语言中，选择结构程序设计是编写复杂程序的关键部分，它允许根据特定条件执行不同的代码路径。本节主要讲解了关系表达式、逻辑表达式以及if语句，这些都是C语言中控制流程的基础。
首先，关系表达式涉及比较两个操作数的大小。关系运算符包括大于（>）、小于（<）、大于等于（>=）、小于等于（<=）、等于（==）和不等于（!=）。这些运算符用于比较数值型数据，并返回一个逻辑值，即"真"（1）或"假"（0）。在C语言中，非零值被视为"真"，零值被视为"假"。
接着，逻辑表达式通过逻辑运算符（!、&&和||）来确定两个操作数的逻辑关系。逻辑非（!）运算符返回其操作数的逻辑反面，逻辑与（&&）运算符只有当两个操作数都为真时才返回真，逻辑或（||）运算符只要有一个操作数为真就返回真。逻辑运算符具有不同的优先级和结合性，比如"!"的优先级高于"&&"和"||"，"&&"的优先级高于"||"，并且"&&"和"||"都是从左到右结合的。逻辑表达式的值也是一个逻辑值，当涉及到数值型数据时，非零值被视为"真"，零值被视为"假"。
特别需要注意的是，逻辑运算符"&&"和"||"的"短路"现象。如果在"&&"表达式中，左边的操作数为假，那么不会评估右边的操作数，因为结果已经确定为假。同样，在"||"表达式中，如果左边的操作数为真，右边的操作数也不会被评估，因为结果已经确定为真。这种特性在某些情况下可以提高程序的效率。
然后，我们来到了if语句，这是C语言中的基本条件控制结构。简单的if语句形式如下：
```c
if(表达式) {
语句1;
} else {
语句2;
}
```
如果表达式的值为真，执行语句1，然后继续执行语句2之后的代码；如果表达式的值为假，将跳过语句1执行语句2。"else"部分是可选的，若省略，则当表达式为假时，会直接跳过所有if块内的语句。如果语句1或语句2包含多条语句，需要使用花括号（{}）将它们包围起来，形成一个复合语句。
例如，下面的代码示例用于找出两个输入数字中的较大值：
```c
#include <stdio.h>
int main() {
int a, b, max;
scanf("%d%d", &a, &b);
if (a > b) {
max = a;
} else {
max = b;
}
printf("max is %d\n", max);
return 0;
}
```
这个程序首先读取两个整数，然后通过if语句判断哪个数较大并将其存储在变量max中，最后输出较大的数。
理解关系表达式、逻辑表达式和if语句对于编写C语言中的条件控制至关重要。它们是构建更复杂的控制结构，如if-else嵌套和switch语句的基础，这些都将在后续章节中进一步探讨。通过熟练掌握这些基础知识，开发者可以编写出能够根据条件灵活执行不同任务的程序。
