Go1.7+中的BCE(Bounds Check Elimination)

自go1.7+市咆,我們可以在編譯時(shí)開(kāi)啟對(duì)有潛在slice越界訪問(wèn)風(fēng)險(xiǎn)的語(yǔ)句進(jìn)行提示。

原文地址(需梯子):

http://www.tapirgames.com/blog/go-1.7-bce

本文引用了原文中的一小段示例再来,只是簡(jiǎn)單的講解一下BCE如何使用蒙兰,更深入的使用方法請(qǐng)各位參考原文磷瘤。

package main

func f1(s []int) {
    _ = s[0] // line 5: bounds check 
    _ = s[1] // line 6: bounds check 
    _ = s[2] // line 7: bounds check 
}

此處代碼并未對(duì)slice的使用進(jìn)行邊界校驗(yàn),容易發(fā)生危險(xiǎn)搜变,因?yàn)?s []int 尺寸未知采缚。

go build -gcflags="-d=ssa/check_bce/debug=1" main.go

# command-line-arguments
./main.go:14:5: Found IsInBounds
./main.go:15:6: Found IsInBounds
./main.go:16:7: Found IsInBounds

當(dāng)我們把上面的代碼修改為:

func f1(s []int) {

    if len(s) < 3 {
        return
    }

    _ = s[0] // line 5: bounds check
    _ = s[1] // line 6: bounds check
    _ = s[2] // line 7: bounds check
}

再執(zhí)行剛才的命令,就不會(huì)再提示有越界的可能了

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末挠他,一起剝皮案震驚了整個(gè)濱河市扳抽,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌殖侵,老刑警劉巖贸呢,帶你破解...
    沈念sama閱讀 217,509評(píng)論 6 504
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場(chǎng)離奇詭異拢军,居然都是意外死亡楞陷,警方通過(guò)查閱死者的電腦和手機(jī),發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 92,806評(píng)論 3 394
  • 文/潘曉璐 我一進(jìn)店門(mén)茉唉,熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái)猜谚,“玉大人,你說(shuō)我怎么就攤上這事赌渣∥呵Γ” “怎么了?”我有些...
    開(kāi)封第一講書(shū)人閱讀 163,875評(píng)論 0 354
  • 文/不壞的土叔 我叫張陵坚芜,是天一觀的道長(zhǎng)览芳。 經(jīng)常有香客問(wèn)我,道長(zhǎng)鸿竖,這世上最難降的妖魔是什么沧竟? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 58,441評(píng)論 1 293
  • 正文 為了忘掉前任,我火速辦了婚禮缚忧,結(jié)果婚禮上悟泵,老公的妹妹穿的比我還像新娘。我一直安慰自己闪水,他們只是感情好糕非,可當(dāng)我...
    茶點(diǎn)故事閱讀 67,488評(píng)論 6 392
  • 文/花漫 我一把揭開(kāi)白布。 她就那樣靜靜地躺著球榆,像睡著了一般朽肥。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上持钉,一...
    開(kāi)封第一講書(shū)人閱讀 51,365評(píng)論 1 302
  • 那天衡招,我揣著相機(jī)與錄音,去河邊找鬼每强。 笑死始腾,一個(gè)胖子當(dāng)著我的面吹牛州刽,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播浪箭,決...
    沈念sama閱讀 40,190評(píng)論 3 418
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼怀伦,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼!你這毒婦竟也來(lái)了山林?” 一聲冷哼從身側(cè)響起,我...
    開(kāi)封第一講書(shū)人閱讀 39,062評(píng)論 0 276
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤邢羔,失蹤者是張志新(化名)和其女友劉穎驼抹,沒(méi)想到半個(gè)月后,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體拜鹤,經(jīng)...
    沈念sama閱讀 45,500評(píng)論 1 314
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡框冀,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 37,706評(píng)論 3 335
  • 正文 我和宋清朗相戀三年,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了敏簿。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片明也。...
    茶點(diǎn)故事閱讀 39,834評(píng)論 1 347
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡,死狀恐怖惯裕,靈堂內(nèi)的尸體忽然破棺而出温数,到底是詐尸還是另有隱情,我是刑警寧澤蜻势,帶...
    沈念sama閱讀 35,559評(píng)論 5 345
  • 正文 年R本政府宣布撑刺,位于F島的核電站,受9級(jí)特大地震影響握玛,放射性物質(zhì)發(fā)生泄漏够傍。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 41,167評(píng)論 3 328
  • 文/蒙蒙 一挠铲、第九天 我趴在偏房一處隱蔽的房頂上張望冕屯。 院中可真熱鬧,春花似錦拂苹、人聲如沸安聘。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 31,779評(píng)論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)搞挣。三九已至,卻和暖如春音羞,著一層夾襖步出監(jiān)牢的瞬間囱桨,已是汗流浹背。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 32,912評(píng)論 1 269
  • 我被黑心中介騙來(lái)泰國(guó)打工嗅绰, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留舍肠,地道東北人搀继。 一個(gè)月前我還...
    沈念sama閱讀 47,958評(píng)論 2 370
  • 正文 我出身青樓,卻偏偏與公主長(zhǎng)得像翠语,于是被迫代替她去往敵國(guó)和親叽躯。 傳聞我的和親對(duì)象是個(gè)殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 44,779評(píng)論 2 354

推薦閱讀更多精彩內(nèi)容

  • Android 自定義View的各種姿勢(shì)1 Activity的顯示之ViewRootImpl詳解 Activity...
    passiontim閱讀 172,111評(píng)論 25 707
  • 1. Java基礎(chǔ)部分 基礎(chǔ)部分的順序:基本語(yǔ)法肌括,類相關(guān)的語(yǔ)法点骑,內(nèi)部類的語(yǔ)法,繼承相關(guān)的語(yǔ)法谍夭,異常的語(yǔ)法黑滴,線程的語(yǔ)...
    子非魚(yú)_t_閱讀 31,631評(píng)論 18 399
  • 區(qū)塊鏈,在6月份以前紧索,對(duì)于我來(lái)說(shuō)是個(gè)陌生的事物袁辈。在此,感謝金馬老師珠漂,帶我了解區(qū)塊鏈晚缩,讓我走進(jìn)區(qū)塊鏈的世界。...
    鄭小傻閱讀 188評(píng)論 1 0
  • 給定一個(gè)int數(shù)組媳危,其中兩個(gè)數(shù)相加等于一個(gè)特定值荞彼,返回這兩個(gè)數(shù)的索引 示例 int數(shù)組: [2, 7, 11, 1...
    小菜鳥(niǎo)程序媛閱讀 993評(píng)論 0 2
  • 看來(lái)我現(xiàn)在逐漸把簡(jiǎn)書(shū)當(dāng)做我的筆記本了,希望他之后發(fā)展越來(lái)越好待笑。 今天的一些小事又觸動(dòng)了我卿泽,可能是我比較敏感吧,就是...
    vieber閱讀 155評(píng)論 0 0