KT
struct LVector{T,A <: AbstractVector{T},Syms} <: AbstractVector{T}
__x::A
LVector{Syms}(__x) where {T,A,Syms} = new{eltype(__x),typeof(__x),Syms}(__x)
endSize: a a a
2020 January 23
АО
Видимо за счёт того, что их мало, это ок.
И получается, что вместо того, чтобы делать if, и добавлять маппинг имён -> индексы он перекладывает эту работу на компилятор.
И получается, что вместо того, чтобы делать if, и добавлять маппинг имён -> индексы он перекладывает эту работу на компилятор.
KT
что за Syms такой )
KT
просто имя типа?
АО
Syms - это тип
АО
То есть ты будешь писать что-то вроде
LVector{:x, :y, :z}([1, 2, 3])
LVector{:x, :y, :z}([1, 2, 3])
АО
Не совсем так, но как-то близко
KT
непонятно, как эта структура зависит от Syms
KT
у неё ведь нет полей с Syms
АО
А ей и не нужно
АО
В этом весь фокус.
KT
symnames(::Type{LVector{T,A,Syms}}) where {T,A,Syms} = Syms
function Base.getindex(x::LVector,::Val{s}) where s
idx = findfirst(y->y==s,symnames(typeof(x)))
x.__x[idx]
endАО
Он её вот в этом месте использует
АО
idx = findfirst(y->y==s,symnames(typeof(x)))
KT
ну первое понятно — просто вернуть список символьных имён
АО
В следующей строчке, когда индекс пишет.
KT
а почему тут так написано:
symnames(::Type{LVector{T,A,Syms}}) where {T,A,Syms} = SymsKT
почему не
symnames(x :: LVector{T,A,S}) = SАО
Грубо говоря.
Представь, что у тебя есть тупл
Соответственно, ты можешь сказать, что вместо обращения по индексу ты будешь обращаться по тому месту, где находится соответствующий тип
Представь, что у тебя есть тупл
(1, 1.0). Его тип будет Tuple{Int, Float64}Соответственно, ты можешь сказать, что вместо обращения по индексу ты будешь обращаться по тому месту, где находится соответствующий тип
Int или Float64. Для этого ты вычисляешь, где именно в типе находится Int/Float и производишь вызов соответствующего элемента тупла.АО
Заменяя встроенные типы Int, Float64, на твои собственные
X, Y, ты получишь Named tuple