如何仅使用结构中的一个属性作为默认属性？

Question

我想创建一个具有许多属性的结构，但在应用函数时，我希望它的行为就像其类型是选定的属性之一，例如：

mutable struct Field{T}
    field_type::T
    field_description::String
end

如果我为它分配一个String，在执行 print(Field{String}("Hello", "World")) 时，如果字段类型是 Int8，我希望它打印 Hello 我希望能够做到Field{Int8}(1, "First term") + Field{Int8}(1,"Second term") 并得到 2 等等。这有可能吗？

对于更多上下文，我希望将一些元数据添加到字段类型，但它必须表现为所选的 field_type

Answer 1

你把事情搞得太复杂了。您只需要认识到 Field{String} 和 Field{Int8} 是两种不同的类型，并将它们视为不同的类型。

例如：

foo(f::Field{String}) = do_something()
foo(f::Field{Int8}) = do_something_else()

因此，对于打印和添加，请定义：

Base.show(io::IO, f::Field{String}) = show(io, f.field_type)
Base.:+(f1::Field{Int8}, f2::Field{Int8}) = f1.field_type + f2.field_type

您可以通过定义来使其更加通用

Base.show(io::IO, f::Field{<:AbstractString}) = show(io, f.field_type)
Base.:+(f1::Field{<:Number}, f2::Field{<:Number}) = f1.field_type + f2.field_type

。

我定义了 show 而不是 print，因为这样更方便，但您可以为任何您喜欢的 Field{T} 定义任何方法。只需记住不同的 T 会给出不同的类型，这很简单。

我建议您创建另一个便利构造函数：

Field(x::T, d) where {T} = Field{T}(x, d)

现在您不需要在构造函数调用中指定 T ：

1.7.2> f1 = Field("Hello", "World"); typeof(f1)
Field{String}

1.7.2> f2 = Field(Int8(1), "World"); typeof(f2)
Field{Int8}

1.7.2> print(f1)
"Hello"
1.7.2> f2 + f2
2

Answer 2

我会考虑使用Base.@kwdef或Parameters包中更好的等效项。

Base.@kwdef struct Field{T}                          
    field::T                                             
    description::Union{String,Nothing} = nothing          
end                                                  

现在：

julia> Field(field=1)
Field{Int64}(1, nothing)

或：

using Parameters
@with_kw struct Field2{T}
    field::T
    description::Union{String,Nothing} = nothing
end

现在：

julia> Field2(field=1)
Field2{Int64}
  field: Int64 1
  description: Nothing nothing

但是，如果您不想提供名称，您可以这样做：

julia> struct Field3{T}
    field::T
    description::Union{String, Nothing}
    Field3(field::T, description=nothing) where T = new{T}(field, description)
end

现在您可以这样做：

julia> Field3(11)
Field3{Int64}(11, nothing)