CompletableFuture深度解析

开发 前端
本文详细探讨了 CompletableFuture 的原理和方法,学习了如何在任务完成后执行操作、处理结果和转换结果。CompletableFuture是Java中强大的异步编程工具之一,合理利用它的方法和策略可以更好地处理异步任务和操作。

本文将深入解析 CompletableFuture,希望对各位读者能有所帮助。

CompletableFuture 适用于以下场景

  • 并发执行多个异步任务,等待它们全部完成或获取其中任意一个的结果。
  • 对已有的异步任务进行进一步的转换、组合和操作。
  • 异步任务之间存在依赖关系,需要按照一定的顺序进行串行执行。
  • 需要对异步任务的结果进行异常处理、超时控制或取消操作。

如何使用

下面是一个演示 CompletableFuture 如何使用的代码示例:

public class CompletableFutureExample {

    public static void main(String[] args) {
        // 创建CompletableFuture对象,并定义异步任务
        CompletableFuture<String> future = CompletableFuture.supplyAsync(() -> {
            // 异步任务的逻辑代码
            // 在这里执行耗时操作或其他需要异步执行的任务
            try {
                TimeUnit.SECONDS.sleep(2); // 模拟耗时操作
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            return "Hello, ";
        });

        // 添加任务完成后的回调方法
        CompletableFuture<String> resultFuture = future.thenApplyAsync(result -> {
            // 任务完成后的处理逻辑
            // result为上一步任务的结果
            return result + "World!";
        });

        // 组合多个CompletableFuture对象
        CompletableFuture<String> combinedFuture = future.thenCombine(resultFuture, (result1, result2) -> {
            // 对多个CompletableFuture的结果进行组合处理
            return result1 + result2 + " Welcome to the CompletableFuture world!";
        });

        // 异常处理
        CompletableFuture<String> exceptionHandledFuture = combinedFuture.exceptionally(ex -> {
            // 异常处理逻辑
            System.out.println("任务执行出现异常:" + ex.getMessage());
            return "Fallback Result";
        });

        // 等待并获取任务的结果
        try {
            String result = exceptionHandledFuture.get();
            System.out.println("任务的最终结果为:" + result);
        } catch (InterruptedException | ExecutionException e) {
            // 处理异常情况
            e.printStackTrace();
        }
    }
}

结果输出:

任务的最终结果为:Hello, Hello, World! Welcome to the CompletableFuture world!

首先,我们创建了一个CompletableFuture对象future。在future中,我们使用supplyAsync方法定义了一个异步任务,其中 lambda表达式 中的代码会在另一个线程中执行。在这个例子中,我们模拟了一个耗时操作,通过TimeUnit.SECONDS.sleep(2)暂停了2秒钟。

然后,我们添加了一个回调方法resultFuture。在这个回调方法中,将前一个异步任务的结果作为参数进行处理,并返回处理后的新结果。在这个例子中,我们将前一个任务的结果与字符串 "World!" 连接起来,形成新的结果。

接下来,我们使用thenCombine方法组合了两个CompletableFuture对象:future和resultFuture。在这个组合任务中,我们将两个任务的结果进行组合处理,返回最终的结果。在这个例子中,我们将前两个任务的结果与字符串 " Welcome to the CompletableFuture world!" 连接起来。

此外,我们还处理了异常情况。通过exceptionally方法,我们定义了一个异常处理回调方法。如果在任务执行过程中发生了异常,我们可以在这里对异常进行处理,并返回一个默认值作为结果。

最后,我们使用get方法等待并获取最终的任务结果。需要注意的是,get方法可能会阻塞当前线程,直到任务完成并返回结果。在这个例子中,我们使用try-catch块捕获可能的异常情况,并打印出最终的任务结果。

这个例子只是部分展示了CompletableFuture的功能,实际上它比你想象的还要强大!

源码解析

CompletableFuture 的源码非常庞大和复杂,涉及到并发、线程池、同步机制等多方面的知识。在这里,我们只重点介绍 CompletableFuture 的核心实现原理。

基本结构

图片图片

CompletableFuture 的作者是大名鼎鼎的 Doug Lea。CompletableFuture 类是实现了 Future 和 CompletionStage 接口的一个关键类。它可以表示异步计算的结果,并提供了一系列方法来操作和处理这些结果。

CompletableFuture 内部使用了一个属性result来保存计算结果,以及若干个属性waiters来保存等待结果的任务。当计算完成后,CompletableFuture将会通知所有等待结果的任务,并将结果传递给它们。

为了实现链式操作,CompletableFuture还定义了内部类:Completion, UniCompletion, 和 BiCompletion。

Completion, UniCompletion, 和 BiCompletion 是 CompletableFuture 内部用于处理异步任务完成的辅助类。

  • Completion 是一个通用的辅助类,它包含了任务完成后的回调方法,以及处理异常的方法。
  • UniCompletion 是 Completion 的子类,是一元依赖的基类,用于处理单个任务的完成情况,并提供了更多的方法来处理结果和异常。
  • BiCompletion 是 UniCompletion 的子类,是二元依赖的基类,同时也是多元依赖的基类,用于处理两个任务的完成情况,并提供了更多的方法来组合和处理这两个任务的结果和异常。

这些辅助类在 CompletableFuture 的内部被使用,以实现异步任务的执行、结果的处理和组合等操作。它们提供了一种灵活的方式来处理异步任务的完成情况,并通过回调方法或其他一些方法来处理任务的结果和异常。

内部原理

图片图片

CompletableFuture中包含两个字段:result 和 stack。result 用于存储当前CF的结果,stack (Completion)表示当前CF完成后需要触发的依赖动作(Dependency Actions),去触发依赖它的CF的计算,依赖动作可以有多个(表示有多个依赖它的CF),以栈(Treiber stack)的形式存储,stack表示栈顶元素。

CompletableFuture 在设计思想上类似 “观察者模式,每个 CompletableFuture 都可以被看作一个被观察者,其内部有一个Completion类型的链表成员变量stack,用来存储注册到其中的所有观察者。当被观察者执行完成后会弹栈stack属性,依次通知注册到其中的观察者。

执行流程

CompletableFuture 的执行流程如下:

  1. 创建CompletableFuture对象:通过调用CompletableFuture类的构造方法或静态工厂方法创建一个新的CompletableFuture对象。
  2. 定义异步任务:使用supplyAsync()、runAsync()等方法定义需要在后台线程中执行的异步任务,这些方法接受一个 lambda表达式 或 Supplier/Runnable 接口作为参数。
  3. 启动异步任务:一旦CompletableFuture对象创建并定义了异步任务,任务会立即在后台线程中开始执行,并返回一个代表异步计算结果的CompletableFuture对象。
  4. 异步任务执行过程:

当异步任务完成时,它会设置自己的结果值,将状态标记为已完成。

如果有其他线程在此之前调用了complete()、completeExceptionally()、cancel()等方法,可能会影响任务的最终状态。

  1. 注册回调方法:
  • 使用thenApply(), thenAccept(), thenRun()等方法来注册回调函数,当异步任务完成或异常时,这些回调函数会被触发。
  • 回调函数也可以是异步的,通过thenApplyAsync(), thenAcceptAsync(), thenRunAsync()等方法注册。
  1. 组合多个CompletableFuture:
  • 使用thenCompose(), thenCombine(), allOf(), anyOf()等方法,可以将多个CompletableFuture对象进行组合,形成更复杂的异步任务处理流程。
  1. 处理异常:
  • 通过使用exceptionally(), handle(), whenComplete()等方法,可以注册异常处理函数,当异步任务出现异常时,这些处理函数会被触发。
  1. 等待结果:
  • 使用get()或join()方法来阻塞当前线程,并等待CompletableFuture对象的完成并获取最终的结果。
  • get()方法会抛出可能的异常(InterruptedException, ExecutionException)。
  • join()方法与get()类似,但不会抛出 checked 异常。
  1. 取消任务:通过调用CompletableFuture对象的cancel()方法取消异步任务的执行。

请注意,以上步骤的顺序和具体实现可能略有不同,但大致上反映了CompletableFuture的执行流程。在实际应用中,我们可以根据需求选择适合的方法来处理异步任务的完成情况、结果、异常以及任务之间的关系。

方法介绍

CompletableFuture类提供了一系列用于处理和组合异步任务的方法。以下是这些方法的介绍:

创建对象

创建一个 CompletableFuture 对象有以下几种方法:

  • 使用 CompletableFuture 的构造方法
CompletableFuture<String> future = new CompletableFuture<>();
  • 使用 CompletableFuture 的静态工厂方法
CompletableFuture<String> future = CompletableFuture.supplyAsync(() -> {
    // 异步任务逻辑
    return "Result";
});

CompletableFuture<Void> future = CompletableFuture.runAsync(() -> {
    // 异步任务逻辑
});
  • 使用转换方法
CompletableFuture<Integer> transformedFuture = originalFuture.thenApply(result -> {
    // 转换逻辑
    return result.length();
});

originalFuture.thenAccept(result -> {
    // 处理结果逻辑
    System.out.println("Result: " + result);
});

CompletableFuture<Void> runnableFuture = originalFuture.thenRun(() -> {
    // 在结果完成后执行的操作
});
  • 直接创建一个已完成状态的CompletableFuture
//CompletableFuture.completedFuture()直接创建一个已完成状态的CompletableFuture
CompletableFuture<String> cf2 = CompletableFuture.completedFuture("result");

//先初始化一个未完成的CompletableFuture,然后通过complete()、completeExceptionally(),也完成该CompletableFuture
CompletableFuture<String> cf = new CompletableFuture<>();
cf.complete("success");
  • toCompletableFuture
CompletionStage<Integer> stage = CompletableFuture.supplyAsync(() -> 42);

CompletableFuture<Integer> future = stage.toCompletableFuture();

用于将当前的 CompletionStage 对象转换为一个 CompletableFuture 对象。

异步执行任务

以下是在 CompletableFuture 对象上异步执行任务的一些方法示例:

  • supplyAsync(Supplier<U> supplier):异步执行一个有返回值的供应商(Supplier)任务。
CompletableFuture<String> future = CompletableFuture.supplyAsync(() -> {
    // 异步任务逻辑
    return "Result";
});
  • runAsync(Runnable runnable):异步执行一个没有返回值的任务。
CompletableFuture<Void> future = CompletableFuture.runAsync(() -> {
    // 异步任务逻辑
});

链式操作

CompletableFuture提供了不同的方式来对异步任务进行链式操作。

  • thenRun
CompletableFuture<Void> executedFuture = future.thenRun(() -> executeTask());

thenRun方法用于在CompletableFuture完成后执行一个Runnable任务。它返回一个新的CompletableFuture对象,该对象没有返回值。

  • thenAccept
CompletableFuture<Void> acceptedFuture = future.thenAccept(result -> processResult(result));

thenAccept方法用于在CompletableFuture完成后对结果进行处理。它接收一个Consumer函数作为参数,并返回一个新的CompletableFuture对象。

  • thenApply
CompletableFuture<U> appliedFuture = future.thenApply(result -> transformResult(result));

thenApply方法用于在CompletableFuture完成后对结果进行转换。它接收一个Function函数作为参数,并返回一个新的CompletableFuture对象。

  • thenCompose
CompletableFuture<U> composedFuture = future.thenCompose(result -> executeAnotherTask(result));

用于对异步任务的结果进行处理,并返回一个新的异步任务。

  • whenComplete
CompletableFuture<Integer> future = CompletableFuture.supplyAsync(() -> 42);

CompletableFuture<Void> whenCompleteFuture = future.whenComplete((result, exception) -> {
    if (exception != null) {
        System.out.println("Exception occurred: " + exception.getMessage());
    } else {
        System.out.println("Result: " + result);
    }
});

whenCompleteFuture.join();

用于在异步任务完成后执行指定的动作。它允许你在任务完成时处理结果或处理异常。

  • thenCompose() 用于对异步任务的结果进行处理,并返回一个新的异步任务。它接受一个函数式接口参数,根据原始任务的结果创建并返回一个新的 CompletionStage 对象。
  • whenComplete() 用于在异步任务完成后执行指定的动作。它接受一个消费者函数式接口参数,用于处理任务的结果或异常,但没有返回值。

异步任务组合

CompletableFuture还提供了一系列方法来组合和处理多个异步任务的结果。

  • allOf
CompletableFuture<Void> allFuture = CompletableFuture.allOf(future1, future2, future3);

allOf方法接收一组CompletableFuture对象作为参数,并返回一个新的CompletableFuture对象,该对象在所有给定的CompletableFuture都完成时完成。这样我们可以等待所有任务都完成后再进行下一步操作。

  • anyOf
CompletableFuture<Object> anyFuture = CompletableFuture.anyOf(future1, future2, future3);

anyOf方法与allOf类似,不同之处在于它返回的CompletableFuture对象在任何一个给定的CompletableFuture完成时就完成。这样我们可以获取最先完成的任务的结果。

  • thenCombine
CompletableFuture<U> combinedFuture = future1.thenCombine(future2, (result1, result2) -> combineResults(result1, result2));

thenCombine方法接收两个CompletableFuture对象和一个函数作为参数,用于指定当这两个CompletableFuture都完成时如何处理它们的结果。返回的新的CompletableFuture对象将接收到计算后的结果。

  • applyToEither
CompletableFuture<U> resultFuture = future1.applyToEither(future2, result -> processResult(result));

applyToEither方法用于获取两个CompletableFuture中任意一个完成的结果,并对该结果进行处理。它接收一个Function函数作为参数,并返回一个新的CompletableFuture对象。

  • acceptEither
CompletableFuture<Integer> future1 = CompletableFuture.supplyAsync(() -> 10);
CompletableFuture<Integer> future2 = CompletableFuture.supplyAsync(() -> 20);

future1.acceptEither(future2, result -> {
    System.out.println("Result: " + result);
});

用于在两个 CompletableFuture 对象中任意一个完成时执行指定的操作。该方法接收两个参数:另一个 CompletableFuture 对象和一个消费者函数(Consumer)。当其中任何一个 CompletableFuture 完成时,将其结果作为参数传递给消费者函数进行处理。

  • runAfterBoth
CompletableFuture<Integer> future1 = CompletableFuture.supplyAsync(() -> 42);
CompletableFuture<String> future2 = CompletableFuture.supplyAsync(() -> "Hello");

CompletableFuture<Void> combinedFuture = future1.runAfterBoth(future2, () -> {
    System.out.println("Both futures completed");
});

combinedFuture.join();

用于在两个异步任务都完成后执行指定的动作,需要注意的是,runAfterBoth() 方法是一个非阻塞方法,动作将在两个异步任务都完成后立即执行。

  • runAfterEither
CompletableFuture<Integer> future1 = CompletableFuture.supplyAsync(() -> {
    try {
        Thread.sleep(500);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    return 42;
});

CompletableFuture<String> future2 = CompletableFuture.supplyAsync(() -> {
    try {
        Thread.sleep(1000);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    return "Hello";
});

CompletableFuture<Void> eitherFuture = future1.runAfterEither(future2, () -> {
    System.out.println("One of the futures completed");
});

eitherFuture.join();

用于在两个异步任务中任意一个完成后执行指定的动作。

  • thenAcceptBoth
CompletableFuture<Integer> future1 = CompletableFuture.supplyAsync(() -> 42);
CompletableFuture<String> future2 = CompletableFuture.supplyAsync(() -> "Hello");

CompletableFuture<Void> thenAcceptBothFuture = future1.thenAcceptBoth(future2, (result1, result2) -> {
    System.out.println("Action executed with thenAcceptBoth(): " + result1 + ", " + result2);
});

thenAcceptBothFuture.join();

用于在两个异步任务都完成后执行指定的动作。它的作用是接收两个异步任务的结果,并将结果作为参数传递给指定的消费者函数。

异常处理

CompletableFuture提供了多种方式来处理异步任务的异常情况。

  • exceptionally
CompletableFuture<U> exceptionHandledFuture = future.exceptionally(ex -> handleException(ex));

通过exceptionally方法,我们可以对CompletableFuture的异常情况进行处理。它接收一个Function函数作为参数,用于处理异常并返回一个新的CompletableFuture对象。

  • handle
CompletableFuture<U> handledFuture = future.handle((result, ex) -> handleResult(result, ex));

handle方法可以同时处理正常结果和异常情况。它接收一个BiFunction函数作为参数,用于处理结果和异常,并返回一个新的CompletableFuture对象。

  • completeExceptionally
future.completeExceptionally();

异常地完成 CompletableFuture,将结果设置为一个异常。

  • isCompletedExceptionally
CompletableFuture<Integer> future = CompletableFuture.supplyAsync(() -> {
    throw new RuntimeException("Something went wrong");
});

boolean completedExceptionally = future.isCompletedExceptionally();
System.out.println("Is completed exceptionally: " + completedExceptionally);

该方法返回一个布尔值,表示当前异步任务是否已经异常完成。

  • obtrudeException
CompletableFuture<Integer> future = new CompletableFuture<>();

future.obtrudeException(new RuntimeException("Something went wrong"));

boolean completedExceptionally = future.isCompletedExceptionally();
System.out.println("Is completed exceptionally: " + completedExceptionally);

用于强制将指定的异常作为异步任务的结果,调用 obtrudeException(Throwable ex) 方法后,异步任务将立即完成,并将指定的异常作为结果返回。

取值与状态

  • join
future.join()

join() 方法不会抛出已检查异常,因为它是基于 CompletableFuture 类设计的,如果异步任务抛出异常,join() 方法会将该异常包装在 CompletionException 中并抛出。

  • get
future.get()

get() 方法会抛出一个 InterruptedException 异常和一个 ExecutionException 异常,前者表示获取结果时被中断,后者表示获取结果时任务本身抛出了异常。

future.get(1,TimeUnit.Hours)

有异常则抛出异常,最长等待一个小时,一个小时之后,如果还没有数据,则异常。

  • getNow
CompletableFuture<Integer> future = CompletableFuture.supplyAsync(() -> {
    // 异步任务逻辑
    return 42;
});

int result = future.getNow(0); // 获取异步操作的结果,如果尚未完成,则返回默认值0

System.out.println("Result: " + result);

getNow(T value) 是 CompletableFuture 类的一个方法,用于获取异步操作的结果,如果异步操作尚未完成,则返回给定的默认值,该方法会立即返回结果,不会阻塞当前线程。

超时控制与取消操作

CompletableFuture也支持超时控制和取消操作,以便更好地管理异步任务的执行。

  • completeOnTimeout
CompletableFuture<U> timeoutFuture = future.completeOnTimeout(defaultResult, timeout, timeUnit);

completeOnTimeout方法在指定的超时时间内等待CompletableFuture的完成,如果超时则将其设置为默认结果。它返回一个新的CompletableFuture对象。

  • cancel
boolean isCancelled = future.cancel(true);

cancel方法可用于取消CompletableFuture的执行。它接收一个boolean参数,指示是否中断正在执行的任务。返回值表示是否成功取消了任务。

  • isCancelled
CompletableFuture<Integer> future = CompletableFuture.supplyAsync(() -> {
    // 异步任务逻辑
    return 42;
});

future.cancel(true); // 取消异步任务

boolean isCancelled = future.isCancelled();
System.out.println("Is cancelled: " + isCancelled);

isCancelled() 是 CompletableFuture 类的一个方法,用于判断当前异步任务是否已被取消。如果异步任务已被取消,则返回 true;否则返回 false。

依赖

  • getNumberOfDependents
CompletableFuture<Integer> future1 = CompletableFuture.supplyAsync(() -> 10);
CompletableFuture<Integer> future2 = CompletableFuture.supplyAsync(() -> 20);

CompletableFuture<Integer> combinedFuture = future1.thenCombine(future2, (result1, result2) -> result1 + result2);

int numberOfDependents = combinedFuture.getNumberOfDependents();
System.out.println("Number of dependents: " + numberOfDependents);

getNumberOfDependents() 用于获取当前 CompletableFuture 对象所依赖的其他异步任务的数量。如果没有任何依赖任务,或者所有依赖任务已经完成,则返回的数量为0。

完成

  • complete
future.complete("米饭");

complete(T value):该方法返回布尔值,表示是否成功地将结果设置到 CompletableFuture 中。如果 CompletableFuture 未完成,则将结果设置,并返回 true;如果 CompletableFuture 已经完成,则不进行任何操作并返回 false。

  • obtrudeValue
CompletableFuture<Integer> future = new CompletableFuture<>();

future.obtrudeValue(42);

boolean completedNormally = future.isDone() && !future.isCompletedExceptionally();
System.out.println("Is completed normally: " + completedNormally);

用于强制将指定的值作为异步任务的结果,调用 obtrudeValue(T value) 方法后,异步任务将立即完成,并将指定的值作为结果返回。

与 complete() 不同,obtrudeValue() 必须在任务已经完成的情况下调用,否则会引发 IllegalStateException 异常。并且complete() 方法对于已经完成的任务会忽略额外的完成操作,并返回 false。而obtrudeValue() 方法即使任务已经完成,仍然会强制使用新的结果值,并返回 true。

  • isDone
CompletableFuture<Integer> future = CompletableFuture.completedFuture(42);

boolean done = future.isDone();
System.out.println("Is done: " + done);

用于判断当前异步任务是否已经完成(无论是正常完成还是异常完成)。

并发限制

CompletableFuture也支持并发限制,以控制同时执行的异步任务数量。

Executor executor = Executors.newFixedThreadPool(10);
CompletableFuture<U> future = CompletableFuture.supplyAsync(() -> doSomething(), executor);

我们可以通过使用线程池来限制CompletableFuture的并发执行数量。通过创建一个固定大小的线程池,并将其作为参数传递给CompletableFuture,就可以控制并发执行任务的数量。

记忆窍门

CompletableFuture类提供了许多方法,但实际上常用的方法只有几个。为了方便记忆,以下是一些总结的规律:

  • 方法名带Async的都是异步方法,对应的没有Async则是同步方法,比如 thenAccept  与 thenAcceptAsync 。
  • 方法名带run的入参为Runnable,且无返回值。
  • 方法名带supply的入参为Supplier,且有返回值。
  • 方法名带Accept的入参为Consumer,且无返回值。
  • 方法名带Apply的入参为Function,且有返回值。
  • 方法名带Either的方法表示谁先完成就消费谁。
  • 方法名带Both的方法表示两个任务都完成才消费。

掌握以上规律后,就可以基本记住大部分方法,剩下的其他方法可以单独记忆。

总结

本文详细探讨了 CompletableFuture 的原理和方法,学习了如何在任务完成后执行操作、处理结果和转换结果。

CompletableFuture是Java中强大的异步编程工具之一,合理利用它的方法和策略可以更好地处理异步任务和操作。

责任编辑:武晓燕 来源: Java随想录
相关推荐

2024-08-30 09:53:17

Java 8编程集成

2021-02-21 14:35:29

Java 8异步编程

2017-12-21 15:48:11

JavaCompletable

2023-03-27 08:12:40

源码场景案例

2023-10-10 11:02:00

LSM Tree数据库

2013-12-09 10:34:12

2023-03-06 11:13:20

Spring注解加载

2023-03-13 08:12:25

@DependsOn源码场景

2019-03-06 09:55:54

Python 开发编程语言

2011-07-29 15:09:48

iPhone Category

2009-12-14 17:14:08

Ruby文件操作

2011-07-01 14:39:08

Qt Quick

2011-06-27 09:15:21

QT Creator

2012-08-03 08:57:37

C++

2011-06-02 11:13:10

Android Activity

2011-08-02 18:07:03

iPhone 内省 Cocoa

2023-10-12 13:01:29

Redis数据库

2013-07-02 10:08:46

烂代码代码优化代码清理

2021-10-12 11:07:33

动画深度Android

2021-08-30 19:00:46

静态CompletableCountDownLa
点赞
收藏

51CTO技术栈公众号