|
8 | 8 |
|
9 | 9 | macro fixed_vector(name, parent) |
10 | 10 | expr = quote |
11 | | - struct $(name){S,T} <: $(parent){S,T} |
12 | | - data::NTuple{S,T} |
13 | | - |
14 | | - function $(name){S,T}(x::NTuple{S,T}) where {S,T} |
15 | | - return new{S,T}(x) |
16 | | - end |
17 | | - |
18 | | - function $(name){S,T}(x::NTuple{S,Any}) where {S,T} |
19 | | - return new{S,T}(StaticArrays.convert_ntuple(T, x)) |
20 | | - end |
21 | | - end |
22 | | - |
23 | | - size_or(::Type{$(name)}, or) = or |
24 | | - eltype_or(::Type{$(name)}, or) = or |
25 | | - eltype_or(::Type{$(name){S,T} where S}, or) where {T} = T |
26 | | - eltype_or(::Type{$(name){S,T} where T}, or) where {S} = or |
27 | | - eltype_or(::Type{$(name){S,T}}, or) where {S,T} = T |
28 | | - |
29 | | - size_or(::Type{$(name){S,T} where S}, or) where {T} = or |
30 | | - size_or(::Type{$(name){S,T} where T}, or) where {S} = Size{(S,)}() |
31 | | - size_or(::Type{$(name){S,T}}, or) where {S,T} = (S,) |
32 | | - |
33 | | - # Array constructor |
34 | | - function $(name){S}(x::AbstractVector{T}) where {S,T} |
35 | | - @assert S <= length(x) |
36 | | - return $(name){S,T}(ntuple(i -> x[i], Val(S))) |
37 | | - end |
38 | | - |
39 | | - function $(name){S,T1}(x::AbstractVector{T2}) where {S,T1,T2} |
40 | | - @assert S <= length(x) |
41 | | - return $(name){S,T1}(ntuple(i -> T1(x[i]), Val(S))) |
42 | | - end |
43 | | - |
44 | | - function $(name){S,T}(x) where {S,T} |
45 | | - return $(name){S,T}(ntuple(i -> T(x), Val(S))) |
46 | | - end |
47 | | - |
48 | | - $(name){S}(x::T) where {S,T} = $(name){S,T}(ntuple(i -> x, Val(S))) |
49 | | - $(name){1,T}(x::T) where {T} = $(name){1,T}((x,)) |
50 | | - $(name)(x::NTuple{S}) where {S} = $(name){S}(x) |
51 | | - function $(name)(x::T) where {S,T<:Tuple{Vararg{Any,S}}} |
52 | | - return $(name){S,StaticArrays.promote_tuple_eltype(T)}(x) |
53 | | - end |
54 | | - |
55 | | - function $(name){S}(x::T) where {S,T<:Tuple} |
56 | | - return $(name){S,StaticArrays.promote_tuple_eltype(T)}(x) |
57 | | - end |
58 | | - $(name){S,T}(x::StaticVector) where {S,T} = $(name){S,T}(Tuple(x)) |
59 | | - |
60 | | - @generated function (::Type{$(name){S,T}})(x::$(name)) where {S,T} |
61 | | - idx = [:(x[$i]) for i in 1:S] |
62 | | - return quote |
63 | | - $($(name)){S,T}($(idx...)) |
64 | | - end |
65 | | - end |
66 | | - |
67 | | - @generated function Base.convert(::Type{$(name){S,T}}, |
68 | | - x::$(name)) where {S,T} |
69 | | - idx = [:(x[$i]) for i in 1:S] |
70 | | - return quote |
71 | | - $($(name)){S,T}($(idx...)) |
72 | | - end |
73 | | - end |
74 | | - |
75 | | - @generated function (::Type{SV})(x::StaticVector) where {SV<:$(name)} |
76 | | - len = size_or(SV, size(x))[1] |
77 | | - return if length(x) == len |
78 | | - :(SV(Tuple(x))) |
79 | | - elseif length(x) > len |
80 | | - elems = [:(x[$i]) for i in 1:len] |
81 | | - :(SV($(Expr(:tuple, elems...)))) |
82 | | - else |
83 | | - error("Static Vector too short: $x, target type: $SV") |
84 | | - end |
85 | | - end |
86 | | - |
87 | | - Base.@pure StaticArrays.Size(::Type{$(name){S,Any}}) where {S} = Size(S) |
88 | | - Base.@pure StaticArrays.Size(::Type{$(name){S,T}}) where {S,T} = Size(S) |
89 | | - |
90 | | - Base.@propagate_inbounds function Base.getindex(v::$(name){S,T}, |
91 | | - i::Int) where {S,T} |
92 | | - return v.data[i] |
93 | | - end |
94 | | - |
95 | | - Base.Tuple(v::$(name)) = v.data |
96 | | - function Base.convert(::Type{$(name){S,T}}, x::NTuple{S,T}) where {S,T} |
97 | | - return $(name){S,T}(x) |
98 | | - end |
99 | | - function Base.convert(::Type{$(name){S,T}}, x::Tuple) where {S,T} |
100 | | - return $(name){S,T}(convert(NTuple{S,T}, x)) |
101 | | - end |
102 | | - |
103 | | - @generated function StaticArrays.similar_type(::Type{SV}, ::Type{T}, |
104 | | - s::Size{S}) where {SV<:$(name), |
105 | | - T,S} |
106 | | - return if length(S) === 1 |
107 | | - $(name){S[1],T} |
108 | | - else |
109 | | - StaticArrays.default_similar_type(T, s(), Val{length(S)}) |
110 | | - end |
111 | | - end |
112 | | - |
113 | | - Base.:(*)(a::$name, b::$name) = a .* b |
114 | | - function Base.broadcasted(f, a::AbstractArray{T}, |
115 | | - b::$name) where {T<:$name} |
116 | | - return Base.broadcasted(f, a, (b,)) |
117 | | - end |
| 11 | + struct $(name){S,T} <: $(parent){S,T} |
| 12 | + data::NTuple{S,T} |
| 13 | + |
| 14 | + function $(name){S,T}(x::NTuple{S,T}) where {S,T} |
| 15 | + return new{S,T}(x) |
| 16 | + end |
| 17 | + |
| 18 | + function $(name){S,T}(x::NTuple{S,Any}) where {S,T} |
| 19 | + return new{S,T}(StaticArrays.convert_ntuple(T, x)) |
| 20 | + end |
| 21 | + end |
| 22 | + |
| 23 | + size_or(::Type{$(name)}, or) = or |
| 24 | + eltype_or(::Type{$(name)}, or) = or |
| 25 | + eltype_or(::Type{$(name){S,T} where S}, or) where {T} = T |
| 26 | + eltype_or(::Type{$(name){S,T} where T}, or) where {S} = or |
| 27 | + eltype_or(::Type{$(name){S,T}}, or) where {S,T} = T |
| 28 | + |
| 29 | + size_or(::Type{$(name){S,T} where S}, or) where {T} = or |
| 30 | + size_or(::Type{$(name){S,T} where T}, or) where {S} = Size{(S,)}() |
| 31 | + size_or(::Type{$(name){S,T}}, or) where {S,T} = (S,) |
| 32 | + |
| 33 | + # Array constructor |
| 34 | + function $(name){S}(x::AbstractVector{T}) where {S,T} |
| 35 | + @assert S <= length(x) |
| 36 | + return $(name){S,T}(ntuple(i -> x[i], Val(S))) |
| 37 | + end |
| 38 | + |
| 39 | + function $(name){S,T1}(x::AbstractVector{T2}) where {S,T1,T2} |
| 40 | + @assert S <= length(x) |
| 41 | + return $(name){S,T1}(ntuple(i -> T1(x[i]), Val(S))) |
| 42 | + end |
| 43 | + |
| 44 | + function $(name){S,T}(x) where {S,T} |
| 45 | + return $(name){S,T}(ntuple(i -> T(x), Val(S))) |
| 46 | + end |
| 47 | + |
| 48 | + $(name){S}(x::T) where {S,T} = $(name){S,T}(ntuple(i -> x, Val(S))) |
| 49 | + $(name){1,T}(x::T) where {T} = $(name){1,T}((x,)) |
| 50 | + $(name)(x::NTuple{S}) where {S} = $(name){S}(x) |
| 51 | + function $(name)(x::T) where {S,T<:Tuple{Vararg{Any,S}}} |
| 52 | + return $(name){S,StaticArrays.promote_tuple_eltype(T)}(x) |
| 53 | + end |
| 54 | + |
| 55 | + function $(name){S}(x::T) where {S,T<:Tuple} |
| 56 | + return $(name){S,StaticArrays.promote_tuple_eltype(T)}(x) |
| 57 | + end |
| 58 | + $(name){S,T}(x::StaticVector) where {S,T} = $(name){S,T}(Tuple(x)) |
| 59 | + |
| 60 | + @generated function (::Type{$(name){S,T}})(x::$(name)) where {S,T} |
| 61 | + idx = [:(x[$i]) for i in 1:S] |
| 62 | + return quote |
| 63 | + $($(name)){S,T}($(idx...)) |
| 64 | + end |
| 65 | + end |
| 66 | + |
| 67 | + @generated function Base.convert(::Type{$(name){S,T}}, x::$(name)) where {S,T} |
| 68 | + idx = [:(x[$i]) for i in 1:S] |
| 69 | + return quote |
| 70 | + $($(name)){S,T}($(idx...)) |
| 71 | + end |
| 72 | + end |
| 73 | + |
| 74 | + @generated function (::Type{SV})(x::StaticVector) where {SV<:$(name)} |
| 75 | + len = size_or(SV, size(x))[1] |
| 76 | + return if length(x) == len |
| 77 | + :(SV(Tuple(x))) |
| 78 | + elseif length(x) > len |
| 79 | + elems = [:(x[$i]) for i in 1:len] |
| 80 | + :(SV($(Expr(:tuple, elems...)))) |
| 81 | + else |
| 82 | + error("Static Vector too short: $x, target type: $SV") |
| 83 | + end |
| 84 | + end |
| 85 | + |
| 86 | + Base.@pure StaticArrays.Size(::Type{$(name){S,Any}}) where {S} = Size(S) |
| 87 | + Base.@pure StaticArrays.Size(::Type{$(name){S,T}}) where {S,T} = Size(S) |
| 88 | + |
| 89 | + Base.@propagate_inbounds function Base.getindex(v::$(name){S,T}, i::Int) where {S,T} |
| 90 | + return v.data[i] |
| 91 | + end |
| 92 | + |
| 93 | + Base.Tuple(v::$(name)) = v.data |
| 94 | + function Base.convert(::Type{$(name){S,T}}, x::NTuple{S,T}) where {S,T} |
| 95 | + return $(name){S,T}(x) |
| 96 | + end |
| 97 | + function Base.convert(::Type{$(name){S,T}}, x::Tuple) where {S,T} |
| 98 | + return $(name){S,T}(convert(NTuple{S,T}, x)) |
| 99 | + end |
| 100 | + |
| 101 | + @generated function StaticArrays.similar_type(::Type{SV}, ::Type{T}, |
| 102 | + s::Size{S}) where {SV<:$(name),T,S} |
| 103 | + return if length(S) === 1 |
| 104 | + $(name){S[1],T} |
| 105 | + else |
| 106 | + StaticArrays.default_similar_type(T, s(), Val{length(S)}) |
| 107 | + end |
| 108 | + end |
| 109 | + |
| 110 | + Base.:(*)(a::$name, b::$name) = a .* b |
| 111 | + function Base.broadcasted(f, a::AbstractArray{T}, b::$name) where {T<:$name} |
| 112 | + return Base.broadcasted(f, a, (b,)) |
| 113 | + end |
118 | 114 | end |
119 | 115 | return esc(expr) |
120 | 116 | end |
|
0 commit comments