选择结构是一种常用的程序结构。在自然界和社会生活中，选择是最为常见的，经常会出现两种或多种选择需要选择其一的情况，并且在任何情况下都有“无论分支多少，必择其一；纵使分支众多，仅择其一”的固定特征。选择结构在执行的时候，需要先进行选择条件的判断，根据所判定的条件决定执行哪个分支，选择判定条件的结果往往是一个逻辑值（如if选择结构），为真（非0）或为假（0），根据此结果执行为真的分支或为假的分支；有的时候判断条件是一个整型值或字符型的值，在执行时可与数值相等的分支进行匹配，如果匹配成功，就去执行相应的分支（如switch分支结构）。