据您提供的信息，皇马以4-0的比分战胜了巴萨，成功进入了国王杯决赛。至于比赛的具体阵容，由于您没有提供更多信息，无法给出确切的阵容名单。但是根据常规做法，我们可以推测一下皇马和巴萨的可能阵容。
据您提供的信息，皇马以4-0的比分战胜了巴萨，成功进入了国王杯决赛。至于比赛的具体阵容，由于您没有提供更多信息，无法给出确切的阵容名单。但是根据常规做法，我们可以推测一下皇马和巴萨的可能阵容。
皇马可能的阵容：
门将：Courtois（库尔图瓦）
后卫：Carvajal（卡瓦哈尔）、Varane（瓦拉内）、Nacho（纳乔）、Marcelo（马塞洛）
中场：Casemiro（卡塞米罗）、Kroos（克罗斯）、Modric（莫德里奇）
前锋：Benzema（本泽马）、Vinicius Jr.（维尼修斯）、Asensio（阿森西奥）
巴萨可能的阵容：
门将：Ter Stegen（特尔斯特根）
后卫：Dest（德斯特）、Piqué（皮克）、Lenglet（兰格莱）、Jordi Alba（阿尔巴）
中场：Busquets（布斯克茨）、De Jong（德容）、Pedri
前锋：Messi（梅西）、Griezmann（格里兹曼）、Dembele（登贝莱）
需要注意的是，以上阵容仅为推测，实际比赛中可能会有调整和变化。