分支程序设计主要使用以下几种语句：
if语句：
这是最常见的分支语句，它根据给定的条件判断，以决定执行某个分支程序段。if语句有三种形式：
单分支条件语句：if （条件） 语句；
双分支条件语句：if （条件） 语句1； else 语句2；
多分支条件语句（if-else-if形式）：if （条件1） 语句1； else if （条件2） 语句2； else if （条件3） 语句3； ...
switch语句：
这是一种多分支选择结构，它根据表达式的值与多个常量表达式进行比较，执行相应的语句组。switch语句的格式为：
```
switch（表达式） {
case 常量表达式1： 语句组1； break；
case 常量表达式2： 语句组2； break；
...
case 常量表达式n： 语句组n； break；
}
```
条件表达式：
在某些编程语言中，如Python，可以使用条件表达式（也称为三元运算符）进行简洁的条件判断，其语法为：
```
值_if_真 if 条件 else 值_if_假
```
match语句：
这是一种更高级的分支结构，在Python中引入，用于对各种数据类型进行匹配与分支处理。match语句的基本形式如下：
```
match 表达式：
case 模式1： 语句组1
case 模式2： 语句组2
...
```
建议根据具体需求和编程语言的特性选择合适的分支语句。if语句是最基本和常用的分支结构，适用于各种情况。当需要处理多个条件分支时，可以考虑使用if-else-if结构或switch语句。在Python中，match语句提供了一种更简洁和强大的方式来处理分支逻辑。