強弱きょうじゃく型がた別べつ

強弱きょうじゃく型がた別べつ（Strong and weak typing）表示ひょうじ在ざい電腦でんのう科學かがく以及程ほど式しき設計せっけい中なか，經常けいじょう把わ程ほど式しき語ご言げん的てき类型系けい统分ぶん为強つよ型がた別べつ（英語えいご：strongly typed）和わ弱じゃく型かた別べつ（英語えいご：weakly typed (loosely typed)）两种。這兩個りゃんこ術語じゅつご並なみ沒ぼつ有ゆう非常ひじょう明確めいかく的てき定義ていぎ，但ただし主要しゅよう用よう以描述じゅつ程ほど式しき語ご言げん對たい於混入こんにゅう不同ふどう資料しりょう型がた別べつ的てき值進行しんこう運算うんざん時じ的てき處理しょり方式ほうしき。強つよ型がた別べつ的てき語ご言げん遇ぐう到いた函はこ式しき引數ひきすう型がた別べつ和わ實際じっさい叫さけべ用よう型がた別べつ不ふ符合ふごう的てき情況じょうきょう經常けいじょう會かい直接ちょくせつ出で錯或者しゃ編へん譯やく失敗しっぱい；而弱型がた別べつ的てき語ご言げん常常つねづね會かい實行じっこう隐式转换，或ある者もの产生难以意い料りょう的てき结果。這對術語じゅつご在ざい短たん短たん的てき電腦でんのう歷史れきし中ちゅう，早はや已やめ含括了りょう更さら多た的てき意義いぎ，而且時じ常つね很難知道ともみち寫うつし的てき人じん究竟くっきょう要よう表ひょう達たち哪個意思いし。

解釋かいしゃく

程ほど式しき語ご言げん專せん家か Benjamin C. Pierce，《Types and Programming Languages》和かず《Advanced Topics in Types and Programming Languages》的てき作者さくしゃ，曾說：

「我わが花はな了りょう幾いく個こ星ほし期き…試ためし著ちょ弄ろう清楚せいそ「強つよし型がた別べつ」、「靜態せいたい型がた別べつ」、「安全あんぜん」等とう術語じゅつご，但ただし我わが發現はつげん這異常いじょう的てき困難こんなん…這些術語じゅつご的てき用法ようほう不盡ふじん相しょう同どう，所以ゆえん也就近きん乎無用よう。」

大だい致而言ごと，「強つよし型がた別べつ」隱かくれ含著程ほど式しき語ご言げん對たい容よう許もと混合こんごう情況じょうきょう出現しゅつげん加か上うえ了りょう嚴格げんかく的てき限きり制せい，以避免めん程ほど式しき碼以無效むこう的てき資料しりょう使用しよう方式ほうしき編へん譯やく或ある執行しっこう。例れい如，整數せいすう除法じょほう運算うんざん不可ふか用よう於字串くし；鏈表上うえ的てき運算うんざん步ふ驟不可用かよう於數字すうじ。然しか而，這些限げん制せい的てき本質ほんしつ和わ效力こうりょく是ぜ極ごく易えき改變かいへん的てき。

強つよ型がた別べつ在ざい文獻ぶんけん中ちゅう的てき含義

已やめ经被写うつし作者さくしゃ认定为“强つよし型がた別べつ”的てき一いち些要素ようそ包括ほうかつ:

• 靜態せいたい型がた別べつ不同ふどう於動態どうたい型がた別べつ。在ざい靜態せいたい型かた別べつ系統けいとう中ちゅう，型がた別べつ是ぜ與あずか變數へんすう相あい連れん繫的名稱めいしょう（通常つうじょう是ぜ在ざい声明せいめい時じ），而不是ぜ值（通常つうじょう是ぜ在ざい初はつ始はじめ化か時じ）。型かた別べつ也可藉由編へん譯やく器き來らい推斷すいだん。
• 通つう过语言げん定てい义，对型別べつ约束违规的てき编译时间检查的てき托たく管かん要求ようきゅう。就是说，编译器き确保操作そうさ只ただ发生在ざい对这个运算ざん有效ゆうこう的てき操作そうさ数すう上じょう。
• 型かた別べつ安全あんぜん；就是说，拒こばめ绝(在ざい要よう么编译时间要么執行しっこう时间)尝试忽ゆるがせ视資料しりょう型がた別べつ的てき操作そうさ或ある函はこ式しき呼よび叫さけべ。在ざい更さら严格的てき设置下か，通つう过证明あきら进行性せい和藏かずぞう存そん性せい来らい证明关于形式けいしき语言的てき型かた別べつ安全あんぜん。
• 禁止きんし型がた別べつ轉換てんかん。某ぼう個こ型がた別べつ的てき值，不ふ論ろん是ぜ不ふ是ぜ以顯式しき或ある隱かくれ式しき的てき方式ほうしき，都と不可ふか轉換てんかん為ため另一いち個こ型がた別べつ。
• 但ただし是ぜ某ぼう些作者しゃ，把わ“强つよし型がた別べつ语言”称呼しょうこ保留ほりゅう给省略しょうりゃく隐式型がた別べつ转换(就是说编译器为了利益りえき编程者しゃ而插入そうにゅう的てき转换)的てき语言。对于这些作者さくしゃ，编程语言是ぜ强きょう型がた別べつ的てき，如果型がた別べつ必须通どおり过通常つうじょう叫さけべ做“强制きょうせい”的てき显式符号ふごう来らい转换。
• 無む法規ほうき避型別べつ系統けいとう。某ぼう些語言げん允許いんきょ程ほど式しき員いん取得しゅとく值的表示法ひょうじほう之の下した的てき東西とうざい（即位そくい元もと模も式しき），這有可能かのう規ぶんまわし避型別べつ系統けいとう。
• 有ゆう复合型がた別べつ的てき复杂而细致的型がた別べつ系けい统。
• 資料しりょう物件ぶっけん中ちゅう固定こてい且不變ふへん的てき型がた別べつ。给定資料しりょう物件ぶっけん的てき型がた別べつ在ざい这个物件ぶっけん的てき生命せいめい期き内ない不ふ改あらため变。例れい如，类实例れい不可ふか以改变它们的类。
• 在ざい執行しっこう程ほど式しき之の前まえ，強つよ型がた別べつ就保證ほしょう了りょう執行しっこう時期じき的てき程ほど式しき行為こうい，其以靜態せいたい分析ぶんせき或ある其它的てき機き制せい提供ていきょう。

參まいり閱

• 資料しりょう型がた別べつ，更さら詳しょう盡つき的てき型がた別べつ問題もんだい