目前我们写的简单函数中可以有多条语句，但这些语句总是从前到后顺序执行的。除了从前到后顺序执行之外，有时候我们需要检查一个条件，然后根据检查的结果执行不同的后续代码，在C语言中可以用分支语句（Selection Statement）实现，比如：
if (x != 0) {
printf("x is nonzero.\n");
}其中x != 0表示“x不等于0”这个条件，这个表达式称为控制表达式（Controlling Expression）如果条件成立，则{}中的语句被执行，否则{}中的语句不执行，直接跳到}后面。if和控制表达式改变了程序的控制流程（Control Flow），不再是从前到后顺序执行，而是根据不同的条件执行不同的语句，这种控制流程称为分支（Branch）。上例中的!=号表示“不等于”，像这样的运算符有：
注意以下几点：
这里的==表示数学中的相等关系，相当于数学中的=号，初学者常犯的错误是在控制表达式中把==写成=，在C语言中=号是赋值运算符，两者的含义完全不同。
如果表达式所表示的比较关系成立则值为真（True），否则为假（False），在C语言中分别用1和0表示。例如x是-1，那么x>0这个表达式的值为0，x>-2这个表达式的值为1。
在数学中a<b<c表示b既大于a又小于c，但作为C语言表达式却不是这样。以上几种运算符都是左结合的，请读者想一下这个表达式表示什么？
这些运算符的两个操作数都应该是相同类型的，例如两边都是字符型、都是整型或者都是浮点型，但不能比较两个字符串，以后我们会介绍比较字符串的方法。
==和!=称为相等性运算符（Equality Operator），其余四个称为关系运算符（Relational Operator），相等性运算符的优先级低于关系运算符。
总结一下，if (x != 0) { ... }这个语句的计算顺序是：首先求x != 0这个表达式的值，如果值为0，就跳过{}中的语句直接执行后面的语句，如果值为1，就先执行{}中的语句，然后再执行后面的语句。事实上控制表达式取任何非0的值都表示真值，例如if (x) { ... }和if (x != 0) { ... }是等价的，如果x的值是2，则x != 0的值是1，但对于if来说不管是1还是2都表示真值。
if语句的格式为：
if (控制表达式) 语句
在C语言中，任何可以放“语句”的地方都既可以是一条语句，也可以是由{}括起来的若干条语句组成的语句块（Statement Block），如果是语句块则不需要在{}后面加;号。如果}后面加了;号，则这个;号本身又是一条新的语句了，在C语言中一个单独的;号表示一条空语句。上例的语句块中只有一条语句，也可以简单地写成：
if (x != 0)
printf("x is nonzero.\n");语句块中也可以定义局部变量，就像函数体一样。例如：
void foo(void)
{
int i = 0;
{
int i = 1;
int j = 2;
printf("i=%d, j=%d\n", i, j);
}
printf("i=%d\n", i); /* cannot access j here */
}和函数的局部变量同样道理，每次进入语句块时为变量j分配存储空间，每次退出语句块时释放变量j的存储空间。语句块也构成一个作用域，如果整个源文件是一张大纸，foo函数是贴在上面的一张小纸，则函数中的语句块是贴在小纸上面的一张更小的纸。语句块中的变量i和函数的变量i是两个不同的变量，因此两次打印的i值是不同的；语句块中的变量j在退出语句块之后就没有了，因此最后一行的printf不能打印变量j，否则编译器报错。从这个例子也可以看出，语句块可以用在任何允许放语句的地方，不一定非得用在if语句中，单独使用语句块通常是为了定义一些比函数的局部变量更“局部”的变量。
1、以下是程序段编译能通过，执行也不出错，但是执行结果不正确（根据第 3 节 “程序的调试”，这是一个语义错误），请分析一下哪里错了。还有，既然错了为什么编译能通过呢？
if (x > 0);
printf("x is positive.\n");