Julia常见符号意思

::, 声明变量的类型

::符号来声明（或者标注）变量类型，使用 :: 运算符在函数声明中指定返回类型。 这可以将返回值转换为指定的类型。

julia> function g(x, y)::Int8
           return x * y
       end;

julia> typeof(g(1, 2))
Int8

不完全初始化

julia> mutable struct SelfReferential
           obj::SelfReferential
       end

<:运算符代表：左边是右边的子类型，它可以在声明的时候使用，也可以用来做类型判断

<:,sub-type

abstract type Person
end

abstract type Musician <: Person
end

->, 创建一个匿名函数

用在Anonymous Functions中，类似于python里面的lambda

julia> x -> x^2 + 2x - 1
#1 (generic function with 1 method)

julia> function (x)
           x^2 + 2x - 1
       end
#3 (generic function with 1 method)

定义一个x平方的函数，可以是：

square(x) = x^2

也可以是使用匿名函数的形式：

square = x -> x^2

上面这段语句的意思是：定义一个x的函数，并返回x的平方值

匿名函数的扩展

有时候，会在一个函数的输入中，有匿名函数的定义，比如：quadgk(x->f(x,42,4), 3, 4)，这代表的含义是什么呢？
Aurelio Amerio大神的解释通俗易懂，以下面两种函数定义的形式为例：
有一个函数f，有三个变量x,y,z,如果固定两个变量y,z,求f对x的积分，就可以写成下面的形式：

using Pkg
Pkg.add("QuadGK")
using QuadGK

f(x,y,z) = (x^2 + 2y)*z

quadgk(x->f(x,42,4), 3, 4)

等效于：

using Pkg
Pkg.add("QuadGK")
using QuadGK

f(x,y,z) = (x^2 + 2y)*z
arg(x) = f(x,42,4)

quadgk(arg, 3, 4)

。。。未完待续
如果对您有启发，欢迎您给我点赞支持！

Reference

https://blog.csdn.net/m0_37696990/article/details/82262060
https://techytok.com/lesson-functions/
https://docs.julialang.org/en/v1/manual/functions/index.html#man-anonymous-functions-1

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接https://blog.csdn.net/weixin_44217573/article/details/114693588