博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
三:Go编程语言规范-表达式
阅读量:4948 次
发布时间:2019-06-11

本文共 3008 字,大约阅读时间需要 10 分钟。

1.限定标识符

限定标识符为使用包名前缀限定的标识符。包名与标识符均不能为空白的。限定标识符用于访问另一个包中的标识符,它必须被导入。 标识符必须是已导出且在该包的包块中声明。

math.Sin	// 表示math包中的Sin函数

2.函数字面

函数字面可赋予一个变量或直接调用。

f := func(x, y int) int { return x + y }func(ch chan int) { ch <- ACK }(replyChan)

闭包 的函数字面:它们可引用定义在外围函数中的变量。 那些变量共享于外围函数与函数字面之间,并且只要它们可访问就会继续存在。

3.选择器 .

对于不为包名的主表达式 x,选择器表达式为,

x.f
    1. 对于非接口类型 T 或 *T 的值 x, x.f 中的 f 表示在 T 中最浅深度的字段或方法。 若并非,该选择者表达式即为非法的。
    2. 对于接口类型 I 的变量 xx.f 表示赋予 x 的值的名为 f 的真实方法。若在 I 的中没有名为 f 的方法,该选择者即为非法的。
    3. 其它情况下,所有 x.f 均为非法的。
    4. 若 x 为指针或接口类型且值为 nil,对 x.f 进行赋值、求值或调用会产生 .

选择者会自动解引用指向结构的指针。 若 x 为指向结构的指针,x.y 即为 (*x).y 的缩写; 若字段 y 亦为指向结构的指针,x.y.z 即为 (*(*x).y).z 的缩写, 以此类推。 若 x 包含类型为 *A 的匿名字段,且 A 亦为结构类型, x.f 即为 (*x.A).f 的缩写。

p.z   // (*p).zp.y   // ((*p).T1).yp.x   // (*(*p).T0).xp.M2()  // (*p).M2()p.M1()  // ((*p).T1).M1()p.M0()  // ((*p).T0).M0()

4.下标表达式

形式为:a[x]

5.切片

对于数组或字符串,若 0 <= low <= high <= len(a) 下标 low 和 high 即在界内,否则即在界外。 对于切片,其上界为该切片的容量 cap(a) 而非长度。下标必为非负值, 且可表示为 int 类型的值。若其下标也为常量,它们必定满足 low <= high。 若 a 为 nil 或其下标在运行时越界,就会引发一个。

a[low : high]

6.类型断言

对于接口类型的表达式 x 与类型 T,主表达式x.(T),注意x必须为接口类型

var x interface{} = 7  // x 拥有动态类型 int 与值 7i := x.(int)           // i 拥有类型 int 与值 7type I interface { m() }var y Is := y.(string)        // 非法:string 没有实现 I(缺少方法 m)r := y.(io.Reader)     // r 拥有 类型 io.Reader 且 y 必须同时实现了 I 和 io.Reader

更确切地说,若 T 为非接口类型,x.(T) 断言 x 的动态类型 与 T。在此情况下,T 必须 x 的(接口)类型,除非其类型断言由于无法为 x 存储类型为 T 的值而无效。若 T 为接口类型, x.(T) 则断言 x 的动态类型实现了接口 T

若该类型断言成立,该表达式的值即为存储于 x 中的值,且其类型为 T。若该类型断言不成立, 就会出现一个。换句话说,即使 x 的动态类型只能在运行时可知,在正确的程序中,x.(T) 的类型也可知为 T

若类型断言以

v, ok = x.(T)v, ok := x.(T)var v, ok = x.(T)

若该断言成立,该表达式返回值对 (x.(T), true);否则,该表达式返回 (Z, false), 其中 Z 为类型为 T 的零值。此种情况不会产生运行时恐慌。 类型断言在这种构造中,其行为类似于函数调用返回一个值与一个布尔值以表示成功。

7.比较操作符

在任何比较中,第一个操作数必须为第二个操作数的类型,反之亦然。

相等性操作符 == 和 != 适用于可比较操作数。 顺序操作符 <<=> 和 >= 适用于有序的操作数。这些比较操作的关系和值定义如下:

    • 布尔值之间可比较。若两个布尔值同为 true 或同为 false,它们即为相等。
    • 通常情况下,整数值之间可比较或排序。
    • 根据 IEEE-754 标准的定义,浮点数值之间可比较或排序。
    • 复数值之间可比较。对于两个复数值 u 与 v, 若 real(u) == real(v) 且 imag(u) == imag(v),它们即为相等。
    • 根据按字节词法,字符串值之间可比较或排序。
    • 指针值之间可比较。若两个指针指向相同的值或其值同为 nil,它们即为相等。 指向明显为变量的指针可能相等也可能不相等。
    • 信道值可比较。若两个信道值通过相同的 make 调用 (§)创建或同为 nil 值,它们即为相等。
    • 接口值可比较。若两个接口值拥有的动态类型与相等的动态值,或同为 nil 值,它们即为相等。
    • 当非接口类型 X 的值可比较且 X 实现了 T 时, 非接口类型 X 的值 x 与接口类型 T 的值 t 则可比较。 若 t 的动态类型与 X 相同且 t 动态值等于 x,它们即为相等。
    • 若两个结构值的所有字段可比较,它们即可比较。若其相应的非字段相等,它们即为相等。
    • 若两个数组元素类型的值可比较,则数组值可比较。若其相应的元素相等,它们即为相等。

8.地址操作符

对于类型为 T 的操作数 x,地址操作符 &x 将生成一个类型为 *T 的指针指向 x。对于指针类型为 *T 的操作数 x,间接指针 *x 表示类型为 T 的值指向 x。若 x 为 nil, 尝试求值 *x 将会引发运行时恐慌。

&x&a[f(2)]&Point{2, 3}*p*pf(x)

9.接收操作符

v1 := <-chv2 = <-chf(<-ch)<-strobe  // 在时钟脉冲和丢弃接收值之前等待
x, ok = <-chx, ok := <-chvar x, ok = <-ch

若接收的值由一次成功向信道发送的操作发出的,则 ok 的值为 true; 若接收的值是由于信道被关闭或为空而产生的零值,则为 false。

10.类型转换

类型转换是形式为 T(x) 的表达式,其中 T 为类型,而 x 是可转换为类型 T 的表达式。

若类型以操作符 *<- 或关键字 func 开始则必须加上括号:

*Point(p)        // 等价于 *(Point(p))(*Point)(p)      // p 被转换为 (*Point)<-chan int(c)    // 等价于 <-(chan int(c))(<-chan int)(c)  // c 被转换为 (<-chan int)func()(x)        // 函数签名 func() x(func())(x)      // x 被转换为 (func())

转载于:https://www.cnblogs.com/cyzsoho/p/4842356.html

你可能感兴趣的文章
网页消息类
查看>>
【BZOJ】2959: 长跑(lct+缩点)(暂时弃坑)
查看>>
日常一些出现bug的问题
查看>>
同时启动多个tomcat服务器
查看>>
怎么将iphone上的照片导出到本地文件
查看>>
Repeater+DataPagerSource分页
查看>>
模块化导出
查看>>
pagebean pagetag java 后台代码实现分页 demo 前台标签分页 后台java分页
查看>>
Sphinx 2.0.8 发布,全文搜索引擎 Installing Sphinx on Windows
查看>>
pod
查看>>
ResultSet 可滚动性和可更新性
查看>>
VS2013 C++代码运行问题
查看>>
iOS 加载图片选择imageNamed 方法还是 imageWithContentsOfFile?
查看>>
LUOGU P2986 [USACO10MAR]伟大的奶牛聚集Great Cow Gat…
查看>>
toad for oracle中文显示乱码
查看>>
scala的REPL shell的调用
查看>>
SQL中Group By的使用
查看>>
Mybatis映射原理,动态SQL,log4j
查看>>
哪个微信编辑器比较好用?
查看>>
错误org/aopalliance/intercept/MethodInterceptor解决方法
查看>>