为何switch表达式引入yield关键字而非直接使用return？

当return语句出现在lambda表达式中时，它仅会从lambda中返回，不会导致外层方法返回。

很多人会疑惑：既然lambda里的return能清晰区分作用域，为什么switch表达式不能直接用return返回值，反而要专门引入yield关键字？

先看你给出的这段尝试用return的switch表达式代码——它其实是编译不通过的：

class TestClass {
    public int testMethod() {
        // ...
        int a = switch (allOptions) {
            case "case1" -> {
                System.out.println("case 1");
                return 1;
            }
            default -> {
                System.out.println("default");
                return -1;
            }
        };

        return a;
    }
}

问题出在switch表达式的本质：它是一个表达式，核心作用是产生一个值，赋值给左边的变量（比如示例中的a）。而Java中return的语义是终止当前所在的方法/构造器，如果在switch的case代码块里写return，它会直接跳出外层的testMethod，根本不会把值返回给switch表达式，导致int a = switch(...)永远无法完成赋值，后面的return a也永远执行不到——这完全违背了switch表达式作为“产生值的表达式”的设计初衷。

再看lambda表达式的例子：

class TestClass {
    interface FunctionalInterface {
        int test(int n);
    }
    
    public int testMethod() {
        FunctionalInterface f = (n) -> {
            return n * 2;
        };
        return f.test(10);
    }
}

lambda是一个独立的函数式接口实现，它的return作用域被严格限定在lambda内部——这个return是从FunctionalInterface.test(int)方法返回，把结果传给f.test(10)，外层的testMethod会继续执行，直到自己的return语句。这里的作用域边界非常清晰，编译器能明确区分lambda内部和外层方法的return，不会产生歧义。

而yield的语义就非常明确：它专门用来在switch表达式的代码块中返回一个值给switch表达式本身，同时不会终止外层方法的执行。把上面的错误代码改成yield就能正常工作：

class TestClass {
    public int testMethod() {
        // ...
        int a = switch (allOptions) {
            case "case1" -> {
                System.out.println("case 1");
                yield 1; // 将1返回给switch表达式，赋值给a
            }
            default -> {
                System.out.println("default");
                yield -1; // 将-1返回给switch表达式，赋值给a
            }
        };

        return a; // 正常执行，返回最终结果
    }
}

简单总结两者的核心差异：

• lambda是独立的函数单元，return作用域与外层方法完全分离，不会混淆；
• switch表达式是值产生式，需要专门的关键字来区分“返回值给表达式”和“终止外层方法”，yield正是承担了这个明确的语义角色，避免语法歧义与逻辑错误。

内容的提问来源于stack exchange，提问作者Mehdi Rahimi