本篇作為 Go 編程「邊角料」的最後一篇,主要針對 Go 語言提供的操作符進行一次總結。剛好回應上篇一位讀者關於表達式是否要加'.'的問題做個回復。
在 Go 語言中,一共提供了47個操作符,包括標點符號。摘自官方文檔,分別是:
+ & += &= && == != ( )
- | -= |= || < <= [ ]
* ^ *= ^= <- > >= { }
/ << /= <<= ++ = := , ;
% >> %= >>= -- ! ... . :
&^ &^=
除以上操作符以外,在 Go 語言中還有一個特殊的符號 _, 以及一個非 Go 語言操作符的特殊字節?。
刨去一些常用的操作符,對其中較隱晦操作符做個簡單的備註,方便不時之需。就隱晦本身而言可以劃分為兩類:
上文中的 47 個操作符,一個個看下來,真正隱晦的符號基本上都是位運算操作符或相關操作符。之所以隱晦,因為位運算在大部分開發人員的日常開發中屬於非常規操作,因為運用得少,而增加了其陌生感。不妨簡單羅列一下:
& bitwise AND integers
| bitwise OR integers
^ bitwise XOR integers
&^ bit clear (AND NOT) integers
<< left shift integer << unsigned integer
>> right shift integer >> unsigned integer
寫個簡單的例子, 強化記憶:
package main
import "fmt"
func main(){
fmt.Printf("AND: a(%b) & b(%b) = (%b)\n", 4, 5, (4 & 5))
fmt.Printf("OR: a(%b) | b(%b) = (%b)\n", 4, 5, (4 | 5))
fmt.Printf("XOR: a(%b) ^ b(%b) = (%b)\n", 4, 5, (4 ^ 5))
fmt.Printf("AND NOT: a(%b) &^ b(%b) = (%b)\n", 4, 5, (4 &^ 5))
fmt.Printf("Left Shift: a(%b) << 1 = (%b)\n", 5, (5 << 1))
fmt.Printf("Right Shift: a(%b) >> 1 = (%b)\n", 5, (5 >> 1))
}
輸出的結果是:
AND: a(100) & b(101) = (100)
OR: a(100) | b(101) = (101)
XOR: a(100) ^ b(101) = (1)
AND NOT: a(100) &^ b(101) = (0)
Left Shift: a(101) << 1 = (1010)
Right Shift: a(101) >> 1 = (10)
位操作符並不難,之所以隱晦,主要是實際運用的少導致的。其中,XOR 運算有個特點:如果對一個值連續做兩次 XOR,會返回這個值本身。XOR 的這個特點,使得它可以用於信息的加密。阮一峰這篇文章XOR 加密簡介很好讀。
與位運算符相關的符號,有:
<<= >>= &= ^= |=
其功能與+=是一樣的,即 a += 1 等同於 a = a + 1。
另一類操作符,看似非常簡單,但因其在不同應用場景下產生了不同功能效果,導致在使用上的陌生。
符號 '_', 又稱為空標識符(Blank identifier)。它有兩種使用場景,不同場景提供的功能是不同的.
此時符號 '_', 功能與 /dev/null 類似,只負責接收值並直接丟棄,無法取回。
ar := [10]int{1,2,3,4,5,6,7,8,9,0}
for _, v := range ar {
println(v)
}
常規情況下,包引用格式是這樣的:
package YourPackage
import "lib/math"
import m "lib/math"
import . "lib/math"
具體語法意義不解釋了。現在看看 '_' 在包引入中的功能。
import _ "the/third/pkg"
此時引入的第三方包"the/third/pkg",如果引入的結果是一個空標識符'_'。按其空標識符的原始意義,就是對於使用方而言,沒有任何意義,因為無法使用被引入包中任何變量或是函數。
但是,這種引用有一個副作用,就是:會對第三方包進行編譯並且執行初始化func init()操作.這一功能,對於某些引用方就非常有用。
所以當我們研究一些開原始碼時,看到類似的引用import _ "the/third/pkg"時,直接跳到引入包的init函數,就可以建立起內在邏輯。不妨看一下github.com/golang/protobuf/protoc-gen-go/link_grpc.go的代碼, 這就是grpc插件註冊到protoc-gen-go的地方。
package main
import _ "github.com/golang/protobuf/protoc-gen-go/grpc"
符號 '.' 常規情況下是作為選擇器的在使用。如:
//直接選擇屬性名或函數名
x.FieldName
x.FunctionName
還可以做為包引用使用,如上節。
import . "lib/math"
它的作用有點類似當前目錄符'.'的意思了,簡化掉了包引用的相對路徑。
還有一個用法,即類型斷言(type assertion)。
//類型斷言: 類型必須用'()'括起來
v, ok := x.(T)
作為類型斷言時,類型必須用'()'括起來,防止和選擇器功能混淆。類型斷言與類型轉換需要區分一下。
//類型轉換: 變量必須用'()'括起來
v := T(x)
區別:
符號 '...' 主要用於不定參數與切片打散功能。非常簡單,備註一下。
不定參數
import "fmt"
func Foo(args ...interface{}) {
for _, arg := range args {
fmt.Println(arg)
}
}
切片打散
args := []interface{}{1, false, "hello"}
Foo(args...)
數組長度
[...]int{1,2,4}
很多語言都支持符號 '?', 但是在 Go 語言中並它不屬於系統操作符, 雖然在 Go 代碼中經常會碰到符號 '?'。在語言級別符號 '?' 沒有任何語法意義,只是一個常規的字節。
常見使用場景是做為 SQL 語句的替換符使用。如:
import "database/sql"
id := 47
result, err := db.ExecContext(ctx, "UPDATE balances SET balance = balance + 10 WHERE user_id = ?", id)
if err != nil {
log.Fatal(err)
}
其中的符號 '?' 僅僅與依賴包database/sql有關,與 Go 語言本身無關。在database/sql包中,字符 '?' 可以將任意類型參數變量替換轉義成 SQL 字符串合適的類型值。
推薦閱讀
喜歡本文的朋友,歡迎關注「Go語言中文網」:
Go語言中文網啟用微信學習交流群,歡迎加微信:274768166