如何从DeflateStream中获取压缩数据的长度？

using System;
using System.IO;
using System.IO.Compression;

class Program
{
    static void Main()
    {
        // 原始数据
        byte[] data = System.Text.Encoding.UTF8.GetBytes("Hello, World!");

        // 创建一个内存流用于存储压缩后的数据
        using (MemoryStream compressedStream = new MemoryStream())
        {
            // 创建DeflateStream对象，使用压缩模式
            using (DeflateStream deflateStream = new DeflateStream(compressedStream, CompressionMode.Compress))
            {
                // 将数据写入DeflateStream
                deflateStream.Write(data, 0, data.Length);
                // 确保所有数据都被写入DeflateStream
                deflateStream.Flush();
            }

            // 获取压缩后的数据长度
            int compressedLength = (int)compressedStream.Length;

            Console.WriteLine("压缩后的数据长度: " + compressedLength);
        }
    }
}