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