如何将元素追加到Spark Dataframe的数组列?

假设我具有以下DataFrame:

Suppose I have the following DataFrame:

scala> val df1 = Seq("a", "b").toDF("id").withColumn("nums", array(lit(1)))
df1: org.apache.spark.sql.DataFrame = [id: string, nums: array<int>]

scala> df1.show()
+---+----+
| id|nums|
+---+----+
|  a| [1]|
|  b| [1]|
+---+----+

我想将元素添加到nums列中的数组中，以便获得如下内容:

And I want to add elements to the array in the nums column, so that I get something like the following:

+---+-------+
| id|nums   |
+---+-------+
|  a| [1,5] |
|  b| [1,5] |
+---+-------+

是否可以使用DataFrame的.withColumn()方法来执行此操作?例如.

Is there a way to do this using the .withColumn() method of the DataFrame? E.g.

val df2 = df1.withColumn("nums", append(col("nums"), lit(5))) 

我已经浏览了Spark的API文档，但是找不到任何可以执行此操作的内容.我可能可以使用split和concat_ws一起破解某些东西，但是如果可能的话，我希望有一个更优雅的解决方案.谢谢.

I've looked through the API documentation for Spark, but can't find anything that would allow me to do this. I could probably use split and concat_ws to hack something together, but I would prefer a more elegant solution if one is possible. Thanks.