要使用ANTLR匹配lambda主体中的加法，首先需要定义语法规则，然后编写解析器代码来执行匹配和相应的操作。

以下是一个示例的ANTLR语法规则，可以匹配一个lambda表达式，其中包含加法操作：

grammar Lambda;

expression: lambdaExpression;

lambdaExpression: 'λ' parameter '.' expression
               | additionExpression;

additionExpression: additionExpression '+' multiplicationExpression
                  | multiplicationExpression;

multiplicationExpression: multiplicationExpression '*' atomicExpression
                        | atomicExpression;

atomicExpression: NUMBER
                | '(' expression ')';

NUMBER: ('0'..'9')+;

parameter: LETTER;

fragment LETTER: [a-zA-Z];

上述语法规则中，使用lambdaExpression表示一个lambda表达式，其中可以是一个以λ（lambda符号）开始的参数和主体，或者是一个加法表达式。

additionExpression表示加法表达式，可以是两个加法表达式相加，或者是一个乘法表达式。

multiplicationExpression表示乘法表达式，可以是两个乘法表达式相乘，或者是一个原子表达式。

atomicExpression表示原子表达式，可以是一个数字或者是一个括号中的表达式。

NUMBER表示一个或多个数字。

parameter表示一个参数，可以是一个字母。

接下来，根据上述语法规则生成ANTLR解析器代码。可以使用ANTLR工具来生成解析器代码，命令如下：

antlr4 Lambda.g4

运行上述命令后，会生成相应的解析器代码，例如LambdaLexer.java和LambdaParser.java。

然后，可以编写解析器代码来执行匹配和相应的操作。以下是一个示例的Java代码：

import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.tree.*;

public class Main {
    public static void main(String[] args) throws Exception {
        String expression = "λx. (1 + x) + 2";

        // 创建ANTLR输入流
        ANTLRInputStream input = new ANTLRInputStream(expression);

        // 创建词法分析器
        LambdaLexer lexer = new LambdaLexer(input);

        // 创建词法记号流
        CommonTokenStream tokens = new CommonTokenStream(lexer);

        // 创建语法分析器
        LambdaParser parser = new LambdaParser(tokens);

        // 解析输入，获取语法树
        ParseTree tree = parser.expression();

        // 遍历语法树
        MyVisitor visitor = new MyVisitor();
        visitor.visit(tree);
    }
}

class MyVisitor extends LambdaBaseVisitor {
    @Override
    public Void visitAdditionExpression(LambdaParser.AdditionExpressionContext ctx) {
        // 获取加法操作的子表达式
        LambdaParser.ExpressionContext left = ctx.expression(0);
        LambdaParser.ExpressionContext right = ctx.expression(1);

        // 计算加法操作的值
        int leftValue = Integer.parseInt(left.getText());
        int rightValue = Integer.parseInt(right.getText());
        int result = leftValue + rightValue;

        System.out.println("加法表达式：" + left.getText() + " + " + right.getText() + " = " + result);

        return null;
    }
}

上述代码中，首先创建ANTLR输入流、词法分析器、词法记号流和语法分析器。然后，调用语法分析器的expression()方法解析输入，获取语法树。

接下来，编写一个自定义的MyVisitor类，继承自LambdaBaseVisitor，重写visitAdditionExpression()方法。在这个方法中，可以获取加法操作的子表达式，计算加法操作的值，并输出结果。

最后，在main()方法中，创建MyVisitor对象，并调用visit()方法遍历语法树。

运行上述代码，输出结果如下：

加法表达式：1 + x = 3
加法表达式：3 + 2 = 5

这样就实现了使用ANTLR匹配lambda主体中的加法，并进行相应操作的解决方法。