选择结构/分支结构与if语句

两种情况对应两个条件判断：

• 如果口渴，那么喝水；
• 如果不口渴，那么不喝水。

左边的描述还可以精简为：

如果口渴，那么喝水；

否则，不喝水。

伪代码描述如下：

如果 口渴:
     喝水
否则:
     不喝水

流程图描述如右图所示（Y表示YES，条件成立；N表示NO，条件不成立）：

使用C++语言的if语句来实现：

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
	if(n>=0){
		cout<<"YES";
	}else{
		cout<<"NO";
	}
	return 0;
} 

if(条件){
    //条件成立时执行的语句（语句组）
}else{
    //条件不成立时执行的语句（语句组）
}

将if读成“如果”，将else读成“否则”，会发现if语句解读下来很容易理解，和自然语言一致。

没有else部分的if语句格式：

if(条件){
    //条件成立时执行的语句（语句组）
}

没有else部分的if语句，只指定条件成立时要执行的if语句（组），条件不成立时什么都不处理。

#include<iostream>
using namespace std;
int main()
{
    int n;
    cin>>n;
    if(n>=0){
        cout<<"YES";
    }else(n<0){ //编译错误，else后不能写条件
        cout<<"NO";
    }
    return 0;
} 

通过前面的分析，我们已经知道else意味着“否则”，也就是if后()括号内条件判断不成立，显然这里是不用再写条件的（画蛇添足！）

注意：只有>、<与数学书写一致，>=、<=、==、!=和数学书写都不同。特别是判断相等的==运算符，一定要和赋值运算符=区分开：

1. n=0是赋值语句，将0赋值给变量n；
2. n==0是关系表达式，判断变量n的值是否等于0。

关系表达式的结果是bool值，条件成立则结果为true，条件不成立则是false。

if(1){    //条件成立
}

if(-1){   //条件成立
}

if(0){    //条件不成立
}

if(n){    //整型变量n的值不为0则条件成立
}

求两个整数的最大值（根据情况分别输出）：

#include<iostream>
using namespace std;
int main()
{
	int a,b;
	cin>>a>>b;
	if(a>b){
		cout<<a<<endl;
	}else{
		cout<<b<<endl;
	}
	return 0;
} 

求两个整数的最大值（根据情况计算结果，最后输出：输入数据→计算结果→输出结果）：

#include<iostream>
using namespace std;
int main()
{
	int a,b,max;
	cin>>a>>b;
	//if语句{}中如果只有一条语句或者是一个整体
	//可以不写{}，甚至写到一行中
	if(a>b) max = a;
	else max = b;	
	cout<<max<<endl;
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
	if(n>=0) cout<<n<<endl;
	else cout<<-n<<endl;
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
	if(n<0) n = -n;
	cout<<n<<endl;
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
	if(n%2==0) cout<<"even";
	else cout<<"odd";
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
	//下面的语句中的条件n%2=0会出现编译错误
	if(n%2=0) cout<<"even";
	else cout<<"odd";
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int n,mod;
	cin>>n;
	mod = n%2;    //计算余数
	//下面语句中的条件mod=0会出现逻辑错误
	if(mod=0) cout<<"even";
	else cout<<"odd";
	return 0;
}

同上面右侧程序一样，也将==写成了=。此时不会出现编译错误（思考原因），但是测试时会发现，不管输入奇数还是偶数，程序的输出都是odd。

什么原因呢？mod=0是赋值语句，赋值语句的结果是mod的值0，这里相当于是用整数0作为if语句的条件。根据上面的知识点可知，此时条件不成立会执行else部分输出odd。

#include<iostream>
#include<cmath>
using namespace std;
int main()
{
    int a,b,ans;
    cin>>a>>b;
    ans = ceil(1.0*a/b);
    cout<<ans<<endl;
    return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int a,b;
	cin>>a>>b;
	if(a%b==0)
		cout<<a/b;
	else
		cout<<a/b+1;
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int a,b,ans;
	cin>>a>>b;
	ans = a/b+(a%b!=0);
	cout<<ans<<endl;
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
	if(n<0) n = -n;//求绝对值 
	if(n<5) cout<<"YES";
	else cout<<"NO";
	return 0;
} 

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
 	//注意下面条件的写法
	if(n>-5 && n<5) cout<<"YES";
	else cout<<"NO";
	return 0;
} 

下面的程序会出现逻辑错误：

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n; 
	//注意：下面的条件描述有逻辑错误
	if(-5<n<5) cout<<"YES"<<endl;
	else cout<<"NO"<<endl;
	return 0;
}

左边的程序条件的描述有误，将n>-5 && n<5错误写成数学中的写法-5<n<5。此时编译不会出错，但是测试运行时会发现不管输入什么整数，都会输出YES（也就是作为条件的-5<n<5恒成立）。

-5<n<5这样的表达式会从左到右依次计算，首先计算-5<n，然后将结果与整数5比较。根据前面内容可知-5<n的结果是bool值，成立时结果为true相当于1，不成立时结果为false相当于0。那么-5<n<5就相当于1<5或者0<5了，当然结果恒成立。