原文發佈於個人站點: GitDiG.com, 原文鏈接: Go 編程：那些隱晦的操作符
本篇作爲 Go 編程“邊角料”的最後一篇，主要針對 Go 語言提供的操作符進行一次總結。剛好迴應上篇一位讀者關於表達式是否要加'.'的問題做個回覆。
在 Go 語言中，一共提供了47個操作符，包括標點符號。摘自官方文檔，分別是：
+ & += &= && == != ( )
- | -= |= || < <= [ ]
* ^ *= ^= <- > >= { }
/ << /= <<= ++ = := , ;
% >> %= >>= -- ! ... . :
&^ &^=除以上操作符以外，在 Go 語言中還有一個特殊的符號 _， 以及一個非 Go 語言操作符的特殊字節?。
刨去一些常用的操作符，對其中較隱晦操作符做個簡單的備註，方便不時之需。
就隱晦本身而言可以劃分爲兩類：
- 符號本身隱晦
- 應用場景隱晦
1. 符號隱晦
上文中的 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。
2. 場景隱晦
另一類操作符，看似非常簡單，但因其在不同應用場景下產生了不同功能效果，導致在使用上的陌生。
2.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" //math.Sin
import m "lib/math" //m.Sin
import . "lib/math" //Sin具體語法意義不解釋了。現在看看 '_' 在包引入中的功能。
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"2.2 符號 '.'
符號 '.' 常規情況下是作爲選擇器的在使用。如：
//直接選擇屬性名或函數名
x.FieldName
x.FunctionName還可以做爲包引用使用，如上節。
import . "lib/math" //Sin它的作用有點類似當前目錄符'.'的意思了，簡化掉了包引用的相對路徑。
還有一個用法，即類型斷言（type assertion）。
//類型斷言: 類型必須用'()'括起來
v, ok := x.(T) 作爲類型斷言時，類型必須用'()'括起來，防止和選擇器功能混淆。類型斷言與類型轉換需要區分一下。
//類型轉換: 變量必須用'()'括起來
v := T(x)區別：
-
類型轉換中，待轉換的變量
x只要是一個可以轉換成目標類型的變量即可。失敗時代碼無法編譯通過。 -
類型斷言中，待斷言的變量
x必須與目標類型一致。如果失敗，返回bool參數標識。
2.3 符號 '...'
符號 '...' 主要用於不定參數與切片打散功能。非常簡單，備註一下。
不定參數
import "fmt"
func Foo(args ...interface{}) {
for _, arg := range args {
fmt.Println(arg)
}
}切片打散
args := []interface{}{1, false, "hello"}
Foo(args...)數組長度
[...]int{1,2,4}2.4 符號 '?', 非 Go 語言操作符
很多語言都支持符號 '?', 但是在 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 字符串合適的類型值。
3. 小結
以上收集的操作符僅僅是個簡單的小結，可能更多的應用場景沒有關注到，歡迎指正。