今天adun給我講了一個(gè)他所謂可退化的設(shè)計(jì),在我看來問題還是多多。從直觀的角度上說,在java中聲明一個(gè)具有多個(gè)參數(shù)的函數(shù),調(diào)用的時(shí)候?qū)τ诓恍枰玫降膮?shù)都傳入null, 這不是理想的可退化場(chǎng)景。所謂的退化不僅僅是概念層面的,不僅僅是關(guān)于語義的,很大程度上它也是形式上的,是關(guān)于語法結(jié)構(gòu)的。
理想的退化場(chǎng)景是盡量維持形式/結(jié)構(gòu)穩(wěn)定性的情況下實(shí)現(xiàn)詮釋范圍的縮減,在任何層面上都不需要知道超出當(dāng)前需要的信息。而如果我們被要求必須傳入自己實(shí)際上不需要使用的參數(shù),則必然存在著一定程度上的信息泄漏。一個(gè)樸素的看法應(yīng)該是,當(dāng)我們需要它是一個(gè)參數(shù)的時(shí)候它就是一個(gè)參數(shù),當(dāng)我們需要它是三個(gè)參數(shù)的時(shí)候它就是三個(gè)參數(shù)。對(duì)于系統(tǒng)形式結(jié)構(gòu)的有效規(guī)劃是實(shí)現(xiàn)可退化性的前提條件。
理想的退化場(chǎng)景是盡量維持形式/結(jié)構(gòu)穩(wěn)定性的情況下實(shí)現(xiàn)詮釋范圍的縮減,在任何層面上都不需要知道超出當(dāng)前需要的信息。而如果我們被要求必須傳入自己實(shí)際上不需要使用的參數(shù),則必然存在著一定程度上的信息泄漏。一個(gè)樸素的看法應(yīng)該是,當(dāng)我們需要它是一個(gè)參數(shù)的時(shí)候它就是一個(gè)參數(shù),當(dāng)我們需要它是三個(gè)參數(shù)的時(shí)候它就是三個(gè)參數(shù)。對(duì)于系統(tǒng)形式結(jié)構(gòu)的有效規(guī)劃是實(shí)現(xiàn)可退化性的前提條件。