Bison 是一个 LALR(1) 分析器生成器，它生成 C 或 C++ 代码来进行语法分析。其中最常见的问题之一是移位/归约冲突。

移位/归约冲突是指在语法分析时，Bison 遇到一个终结符号，既可以将其视为继续移位，也可以将其视为进行归约操作，此时需要采取一定策略来解决。

解决移位/归约冲突的主要方法有两种：一种是通过手动调整语法规则来消除冲突，另一种是使用 Bison 提供的提示指令来指导 Bison 解析器消除冲突。

下面是一个使用 Bison 解析器出现移位/归约冲突的示例：

例1：

%{
#include 
#include 
%}

%token NUM ADD MUL SUB DIV MOD

%%

expr   : NUM
       | expr ADD expr
       | expr SUB expr
       | expr MUL expr
       | expr DIV expr
       | expr MOD expr
       ;

%%

int main()
{
    yyparse();
    return 0;
}

int yyerror(const char *s)
{
    fprintf(stderr, "%s\n", s);
    return 0;
}

在对该示例文件进行编译时，会出现如下警告信息：

warning: 3 shift/reduce conflicts [-Wother]

这个警告告诉我们出现了 3 次移位/归约冲突，需要进一步检查和解决。

解决冲突的方法如下：

1. 通过手动调整语法规则来消除冲突。

我们可以先分析哪些规则是可能导致冲突的。通常情况下，归约操作的优先级更高，而移位操作优先级更低，因此容易导致移位/归约冲突。解决这种冲突的一种方法是调整规则的优先级顺序，用括号来明确规则的执行顺序。

在我们的示例中，冲突是因为加、减运算符号具有