? ? ? ?我們雖然已經(jīng)脫離了野蠻和不開化，但是，我們依然保持著對(duì)未知世界的敬畏。當(dāng)人們還處在洪荒遠(yuǎn)古時(shí)期，我們對(duì)未知的事物，總是以鬼神來解釋。到了開化之后，我們對(duì)科學(xué)的敬畏無時(shí)不刻的不在提醒著我們對(duì)未知的恐懼。
? ? ? ?今天，我來講述一個(gè)lua關(guān)于對(duì)數(shù)學(xué)世界的恐懼之一，極大值和極小值。[inf] [nan]在某次偶然的log調(diào)試?yán)?，我注意到控制臺(tái)輸出了這么兩個(gè)以前沒有見過的東西。雖然我的程序代碼里只有非常簡單的數(shù)學(xué)計(jì)算，還是出現(xiàn)這樣高端（未知）的東西。對(duì)數(shù)學(xué)的敬畏由此展開......
? ? ? ?這個(gè)知識(shí)點(diǎn)很簡單，也許是初中或者小學(xué)時(shí)代的數(shù)學(xué)里有提及過；分子/分母的關(guān)系，簡單的除法計(jì)算方式，問題也從這兒開始延展...
以下是lua腳本:
????????local result = numCounts / numNeed
????????print("result:"..result)
? ? ? ?想這樣簡單代碼里蘊(yùn)含的數(shù)學(xué)問題，一個(gè)簡單的除法計(jì)算會(huì)導(dǎo)致一些讓人震驚的bug,numNeed 是一個(gè)極小的數(shù)字，也學(xué)就是0。這個(gè)時(shí)候觸發(fā)了這個(gè)很有意思的bug 得出的結(jié)果是 [inf] 出了這個(gè)bug之后，我求助于網(wǎng)友得出的結(jié)果是【一個(gè)極大的數(shù)值】可能已經(jīng)超出了我們所有人預(yù)期。本著格物致知的原則，我確認(rèn)了一下 inf的意思是infimum，另外一種更為坑爹的情況得出的結(jié)果是[nan]，事后某位同學(xué)給我解答了一下，這個(gè)代表極小值...，事后我確認(rèn)了一下，這個(gè)的實(shí)際意思因該是[no a number的縮寫]。
? ? ? ?討論回到數(shù)學(xué)課堂，這樣的代碼看似沒有任何問題，但是，在數(shù)學(xué)的角度來說，除法計(jì)算里分母是絕對(duì)不能等于0的。從嚴(yán)謹(jǐn)?shù)某绦蚪嵌葋硭伎歼@個(gè)問題，分子、分母是都不可以為0的，如果過小也會(huì)導(dǎo)致bug。這似乎跟程序一點(diǎn)兒關(guān)系都沒有，但是也會(huì)導(dǎo)致程序的bug。延伸的說，簡單的除法會(huì)導(dǎo)致這樣的問題，如果是稍微復(fù)雜一點(diǎn)兒的計(jì)算公式，分子分母不能為0的情況必須加適當(dāng)?shù)臄r截條件去過濾（同樣接受九年義務(wù)教育的你也許不會(huì)犯這樣的數(shù)學(xué)錯(cuò)誤，不過配置表的作者就很難說了）。
? ? ? ?我們所從事的工作是一個(gè)團(tuán)隊(duì)（幾個(gè)人一起協(xié)同工作）不排除隊(duì)友可能出這樣的數(shù)學(xué)上的失誤，雖然看起來代碼并沒有問題，并不代表不會(huì)出這樣的bug。
? ? ? ?因?yàn)槟衬?某月-某日-某時(shí)，在這個(gè)數(shù)學(xué)問題上出過這樣的bug，然后引起了一場(chǎng)預(yù)計(jì)未知的恐懼和對(duì)數(shù)學(xué)的敬畏，基于團(tuán)隊(duì)協(xié)作的互補(bǔ)思考。
? ? ? 在每次數(shù)學(xué)計(jì)算之前，基于數(shù)學(xué)角度的思考，加上這些非0判斷，這些參與計(jì)算的值是不可以為0的，可以使用assert斷言來過濾和判斷，或者根據(jù)需求給出默認(rèn)值。翻譯到實(shí)處就是說debug版本的提供assert斷言給出明確的錯(cuò)誤提示給測(cè)試同學(xué)作為測(cè)試依據(jù)，release版根據(jù)需求過濾此類錯(cuò)誤留下log或者根據(jù)實(shí)際需求給出默認(rèn)值（我是很抵觸默認(rèn)值這玩意兒的，不建議給出默認(rèn)值，除非是必要的）。由于代碼比較簡單，所以，我就不給出具體實(shí)現(xiàn)的代碼了。
數(shù)學(xué)參考：https://baike.baidu.com/item/INF/10856600?fr=aladdin
數(shù)學(xué)參考：https://baike.baidu.com/item/nan/7455322?fr=aladdin
