如何使构造函数为参数类型的字段创建默认值

Question

对于具有参数类型字段的类型，例如：

struct Point{T <: AbstractFloat}
    x::T
    y::T
end

如何制作一个外部构造函数来创建具有所需类型的默认值？例如，我想要 Point() 不带任何参数来创建 Point{T}(0.0, 0.0)，我仍然可以通过某种方式将 T 指定为 Float64 或其他类型。

Answer 1

这是你想要的吗？

julia> struct Point{T <: AbstractFloat}
           x::T
           y::T
       end

julia> Point{T}() where T = Point{T}(zero(T), zero(T))

julia> Point{Float64}()
Point{Float64}(0.0, 0.0)

julia> Point{Float32}()
Point{Float32}(0.0f0, 0.0f0)

julia> Point{Float16}()
Point{Float16}(Float16(0.0), Float16(0.0))

Answer 2

如果您不介意添加额外的依赖项，包 Parameters.jl 提供宏 @with_kw 允许以下列方式指定默认值：

using Parameters
@with_kw struct Point{T <: AbstractFloat}
  x::T = 0.0
  y::T = 0.0
end

julia> Point()
Point{Float64}
  x: Float64 0.0
  y: Float64 0.0

julia> Point{Float32}() 
Point{Float32}
  x: Float32 0.0f0
  y: Float32 0.0f0

如何使构造函数为参数类型的字段创建默认值

How to make constructors that create default values for the parametrically typed fields

types

constructor

julia

default-value

parametric-polymorphism