云數(shù)據(jù)庫GaussDB函數(shù)
函數(shù)類型解析
從系統(tǒng)表pg_proc中選擇所有可能被選到的函數(shù)。如果使用了一個(gè)不帶模式修飾的函數(shù)名稱,那么認(rèn)為該函數(shù)是那些在當(dāng)前搜索路徑中的函數(shù)。如果給出一個(gè)帶修飾的函數(shù)名,那么只考慮指定模式中的函數(shù)。
如果搜索路徑中找到了多個(gè)不同參數(shù)類型的函數(shù)。將從中選擇一個(gè)合適的函數(shù)。
早在去年,華為云便發(fā)布了《云原生2.0白皮書》,闡述了云原生2.0定義、價(jià)值及參考架構(gòu),解讀了“資源高效、應(yīng)用敏捷、業(yè)務(wù)智能、安全可信”四大價(jià)值以及預(yù)測(cè)未來發(fā)展趨勢(shì)。而今年的《云原生2.0架構(gòu)白皮書》,圍繞架構(gòu)升級(jí),重點(diǎn)詮釋了云原生2.0技術(shù)特征與架構(gòu)設(shè)計(jì)模式,以云原生技術(shù)力量推動(dòng)企業(yè)數(shù)字化轉(zhuǎn)型升級(jí)。
查找和輸入?yún)?shù)類型完全匹配的函數(shù)。如果找到一個(gè),則用之。如果輸入的實(shí)參類型都是unknown類型,則不會(huì)找到匹配的函數(shù)。
如果未找到完全匹配,請(qǐng)查看該函數(shù)是否為一個(gè)特殊的類型轉(zhuǎn)換函數(shù)。
尋找最優(yōu)匹配。
- 拋棄那些輸入類型不匹配并且也不能隱式轉(zhuǎn)換成匹配的候選函數(shù)。unknown文本在這種情況下可以轉(zhuǎn)換成任何東西。如果只剩下一個(gè)候選項(xiàng),則用之,否則繼續(xù)下一步。
- 遍歷所有候選函數(shù),保留那些輸入類型匹配最準(zhǔn)確的。此時(shí),域被看作和它們的基本類型相同。如果沒有一個(gè)函數(shù)能準(zhǔn)確匹配,則保留所有候選。如果只剩下一個(gè)候選項(xiàng),則用之,否則繼續(xù)下一步。
- 遍歷所有候選函數(shù),保留那些需要類型轉(zhuǎn)換時(shí)接受首選類型位置最多的函數(shù)。如果沒有接受首選類型的函數(shù),則保留所有候選。如果只剩下一個(gè)候選項(xiàng),則用之,否則繼續(xù)下一步。
- 如果有任何輸入?yún)?shù)是unknown類型,檢查剩余的候選函數(shù)對(duì)應(yīng)參數(shù)位置的類型范疇。在每一個(gè)能夠接受字符串類型范疇的位置使用string類型(這種對(duì)字符串的偏愛是合適的,因?yàn)閡nknown文本確實(shí)像字符串)。另外,如果所有剩下的候選函數(shù)都接受相同的類型范疇,則選擇該類型范疇,否則拋出一個(gè)錯(cuò)誤(因?yàn)樵跊]有更多線索的條件下無法作出正確的選擇)。現(xiàn)在拋棄不接受選定的類型范疇的候選函數(shù),然后,如果任意候選函數(shù)在那個(gè)范疇接受一個(gè)首選類型,則拋棄那些在該參數(shù)位置接受非首選類型的候選函數(shù)。如果沒有一個(gè)候選符合這些測(cè)試則保留所有候選。如果只有一個(gè)候選函數(shù)符合,則使用它;否則,繼續(xù)下一步。
- 如果同時(shí)有unknown和已知類型的參數(shù),并且所有已知類型的參數(shù)有相同的類型,假設(shè)unknown參數(shù)也是這種類型,檢查哪個(gè)候選函數(shù)可以在unknown參數(shù)位置接受這種類型。如果正好一個(gè)候選符合,那么使用它。否則,產(chǎn)生一個(gè)錯(cuò)誤。
GaussDB 函數(shù)示例
示例1:圓整函數(shù)參數(shù)類型解析。只有一個(gè)round函數(shù)有兩個(gè)參數(shù)(第一個(gè)是numeric,第二個(gè)是integer)。所以下面的查詢自動(dòng)把第一個(gè)類型為integer的參數(shù)轉(zhuǎn)換成numeric類型。
實(shí)際上它被分析器轉(zhuǎn)換成:
因?yàn)閹?shù)點(diǎn)的數(shù)值常量初始時(shí)被賦予numeric類型,因此下面的查詢將不需要類型轉(zhuǎn)換,并且可能會(huì)略微高效一些:
示例2:子字符串函數(shù)類型解析。有好幾個(gè)substr函數(shù),其中一個(gè)接受text和integer類型。如果用一個(gè)未聲明類型的字符串常量調(diào)用它,系統(tǒng)將選擇接受string類型范疇的首選類型(也就是text類型)的候選函數(shù)。
如果該字符串聲明為varchar類型,就像從表中取出來的數(shù)據(jù)一樣,分析器將試著將其轉(zhuǎn)換成text類型:
被分析器轉(zhuǎn)換后實(shí)際上變成:
說明:分析器從pg_cast表中了解到text和varchar是二進(jìn)制兼容的,意思是說一個(gè)可以傳遞給接受另一個(gè)的函數(shù)而不需要做任何物理轉(zhuǎn)換。因此,在這種情況下,實(shí)際上沒有做任何類型轉(zhuǎn)換。
而且,如果以integer為參數(shù)調(diào)用函數(shù),分析器將試圖將其轉(zhuǎn)換成text類型:
被分析器轉(zhuǎn)換后實(shí)際上變成: