Dataframe 检查数据帧名称是否包含其他数组中的名称

我想检查我的数据框是否包含我指定的所有列。当然，我可以用下面的代码来做，但我觉得这应该可以在一行代码中实现

using DataFrames
bools = Array{Bool}([])
df = DataFrame(A=[1,2], B=[3,4], C=[5,6])
for name in ["A", "B"]
    push!(bools, name ∈ names(df))
end
false ∉ bools

---

我找到了。

⊆运算符可用于检查一个数组是否是另一个数组的子集：

# "⊆" can be typed by \subseteq<tab>
julia> ["A", "B"] ⊆ names(df)
true

julia> issubset(["A", "B"], names(df))
true

# "⊈" can be typed by \nsubseteq<tab>
julia> ["A", "D"] ⊈ names(df)
true

# "⊊" can be typed by \subsetneq<tab>
julia> ["A", "B", "C"] ⊊ names(df)
false

julia> ["A", "B"] ⊊ names(df)
true

# "⊇" can be typed by \supseteq<tab>
julia> ["A", "B", "C", "D"] ⊇ names(df)
true