運算 Julia 參數型別上的值

之前介紹過將值放在參數型別上。

今天來介紹一下如何可以做到類似運算的效果。

struct A{T}
end

a1 = A{5}()
a2 = A{3}()

在一些應用場景上會希望將參數欄位上的值做運算，例如加總。

這時候我們可以這樣做：

import Base:+

function +(::A{T}, ::A{S}) where {T, S}
	x = T + S
	return A{x}()
end

如此一來，就可以簡單搞定囉！

println(a1 + a2)

A{8}()