Task VS ValueTask

299 阅读4分钟

在 C# 中,异步编程是构建响应式应用程序的基础。Task 是表示异步操作的首选类型。但是,在某些高性能场景中,与 Task 相关的开销可能会达到一个瓶颈。ValueTask 是 .NET Core 2.1 中引入的结构。与引用类型的 Task 不同,ValueTask 是一种值类型,这使得它在某些情况下效率更高,尤其是在异步操作通常同步完成时。

1. Task 的特点

定义

  • Task 是 C# 中表示异步操作的基础类型。
  • 它是一个引用类型,用于表示一个可能尚未完成的异步操作。

适用场景

  • 适用于大多数异步操作,尤其是那些可能需要较长时间完成的操作(如 I/O 操作、网络请求等)。
  • 当异步操作的结果可能不会立即完成时,Task 是一个通用的选择。

优点

  • 功能强大,支持复杂的异步操作。
  • 可以表示没有返回值(Task)和有返回值(Task<T>)的异步操作。
  • 支持任务组合(如 Task.WhenAllTask.WhenAny)。

缺点

  • 由于是引用类型,每次创建 Task 都会在堆上分配内存,可能对性能产生一定影响,尤其是在高频调用的场景中。

2. ValueTask 的特点

定义

  • ValueTask 是 C# 7.0 引入的一种轻量级的异步操作类型。
  • • 它是一个值类型,用于表示可能同步完成或异步完成的操作。

适用场景

  • 适用于高频调用的异步操作,尤其是那些可能经常同步完成的操作。
  • 当异步操作的结果可能立即完成时,ValueTask 可以避免不必要的堆分配,从而提高性能。

优点

  • 由于是值类型,ValueTask 在栈上分配内存,避免了堆分配的开销。
  • 在同步完成的场景中,性能优于 Task
  • 支持与 Task 相同的功能,如 await 和异步操作组合。

缺点

  • 功能相对简单,不适合复杂的异步操作(均不支持任务组合、取消操作、任务状态等等)。
  • 由于是值类型,不能为 null,且不能直接转换为 Task

3. ValueTaskTask 的区别

特性TaskValueTask
类型引用类型(class)值类型(struct)
内存分配堆分配栈分配(在同步完成时)
性能适用于大多数场景,但可能有堆分配开销在高频调用或同步完成时性能更优
适用场景通用异步操作高频调用或可能同步完成的异步操作
复杂性功能强大,支持复杂操作功能相对简单
是否可为 null可以不可以

4. 举例说明

从缓存中读取数据

假设有一个方法,尝试从缓存中读取数据。如果缓存中有数据,则直接返回;如果没有,则从数据库异步获取数据并缓存。

使用 Task 的实现
public async Task<ProductDto> GetProductAsync(int productId)
{
    var key = $"Product_{productId}";

    // 尝试从缓存中同步获取数据
    if (_memoryCache.TryGetValue(key, out var cachedData))
    {
        return cachedData; // 如果数据在缓存中,直接返回
    }

    // 如果数据不在缓存中,异步获取数据并缓存
    var data = await _productRepo.GetDataAsync(productId);
    _memoryCache.Set(key, data, TimeSpan.FromMinutes(60)); // 设置缓存过期时间
    return data;
}
  • • 问题:
    • 即使缓存命中(同步操作),Task 也会在堆上分配内存。
    • 如果缓存命中率很高,频繁的内存分配会影响性能。
使用 ValueTask 的实现
public async ValueTask<ProductDto> GetProductAsync(int productId)
{
    var key = $"Product_{productId}";

    // 尝试从缓存中同步获取数据
    if (_memoryCache.TryGetValue(key, out var cachedData))
    {
        return cachedData; // 如果数据在缓存中,直接返回
    }

    // 如果数据不在缓存中,异步获取数据并缓存
    var data = await _productRepo.GetDataAsync(productId);
    _memoryCache.Set(key, data, TimeSpan.FromMinutes(60)); // 设置缓存过期时间
    return data;
}
  • • 优点:
    • 如果缓存命中(同步操作),ValueTask 不会在堆上分配内存,性能更高。
    • 如果缓存未命中(异步操作),ValueTask 会退化为 Task,性能与 Task 相同。

ValueTask 的内部结构主要由以下两部分组成:

1736418480173-ceac26ff-5c46-4e3b-9c2f-7de3793fe1e5.png

  1. TResult:用于存储同步操作的结果值。
  2. Task<TResult>IValueTaskSource<TResult>:用于表示异步操作的任务。

通过这种设计,ValueTask 可以根据操作的实际完成方式(同步或异步)动态选择最合适的实现方式。

5.如何选择

场景推荐类型原因
大多数异步操作(如 I/O 操作)Task代码简单,易于理解。
高频调用(如缓存读取)ValueTask减少内存分配,提升性能。
可能同步完成的操作ValueTask同步完成时不会分配堆内存。
长时间运行的操作TaskTask更适合长时间运行的异步操作。
需要多次 await的操作TaskValueTask不能多次 await

6. 注意事项

Task 的注意事项

  • 内存分配: * • 每次调用都会在堆上分配内存,即使操作是同步完成的。
  • 简单性: * • 代码更易于理解和维护。

ValueTask 的注意事项

  • 不能多次 await
    • ValueTask 只能被 await 一次,如果需要多次等待,应先转换为 Task。 例如:await (await GetProductAsync()).ConfigureAwait(false); 是不允许的。
  • 复杂性:
    • 需要更多注意,避免误用。
  • 性能优化:
    • 只有在高频调用或可能同步完成的场景下,ValueTask 的性能优势才明显。

7.总结

  • Task
    • 适用于大多数异步场景,代码简单易用。
    • 每次调用都会在堆上分配内存。
  • ValueTask
    • 适用于高频调用或可能同步完成的场景,性能更高。
    • 需要更多注意,避免误用。

根据你的具体需求选择合适的类型。如果性能是关键,且缓存命中率较高,推荐使用 ValueTask;否则,使用 Task 是更通用的选择。