සමහර කේතයන් එය වර්ගයක ක්‍රමවේදයන් යැයි සිතන තැන LSP අවශ්ය වන අතර T, නොදැනුවත්වම වර්ගයක ක්‍රමවේදයන් හැඳින්විය හැකිය S, එහිදී S extends T(එනම්, Sඋරුම, ව්යුත්පන්න හෝ සුපිරි ප්‍රභේදයේ උප ප්‍රභේදයකි T).
නිදසුනක් ලෙස, මෙය සිදුවන්නේ වර්ගයේ ආදාන පරාමිතියක් සහිත ශ්‍රිතයක් T(එනම් ආයාචනා කරන ලද) වර්ගයේ තර්ක අගය සමඟිනි S. නැතහොත්, වර්ගයේ හඳුනාගැනීමක් සඳහා, වර්ගයක Tඅගයක් පවරනු ලැබේ S.
val id : T = new S() // id thinks it's a T, but is a S
LSP සඳහා වර්ග T(උදා Rectangle) ක්රම සඳහා අපේක්ෂාවන් (එනම් වෙනස්වීම්) අවශ්ය වේ, ඒ වෙනුවට S(උදා Square) වර්ගයේ ක්රම කැඳවූ විට උල්ලං not නය නොවේ .
val rect : Rectangle = new Square(5) // thinks it's a Rectangle, but is a Square
val rect2 : Rectangle = rect.setWidth(10) // height is 10, LSP violation
වෙනස් කළ නොහැකි ක්ෂේත්‍ර සහිත වර්ගයක පවා තවමත් වෙනස්වීම් ඇත, උදා: වෙනස් කළ නොහැකි සෘජුකෝණාස්රාකාර සැකසුම්කරුවන් විසින් මානයන් ස්වාධීනව වෙනස් කරනු ඇතැයි අපේක්ෂා කරයි, නමුත් වෙනස් කළ නොහැකි චතුරස්ර සැකසුම්කරුවන් මෙම අපේක්ෂාව උල්ලං late නය කරයි.
class Rectangle( val width : Int, val height : Int )
{
def setWidth( w : Int ) = new Rectangle(w, height)
def setHeight( h : Int ) = new Rectangle(width, h)
}
class Square( val side : Int ) extends Rectangle(side, side)
{
override def setWidth( s : Int ) = new Square(s)
override def setHeight( s : Int ) = new Square(s)
}
එල්එස්පීයට අවශ්ය වන්නේ උප Sප්‍රභේදයේ එක් එක් ක්‍රමයට ප්‍රතිවිරෝධී ආදාන පරාමිතීන් සහ සහසංයුජ ප්‍රතිදානය තිබිය යුතුය.
පරස්පර විරෝධී යන්නෙන් අදහස් වන්නේ විචල්‍යතාවය උරුමයේ දිශාවට පටහැනි බවයි, එනම් Siඋප ප්‍රභේදයේ එක් එක් ක්‍රමයේ එක් එක් ආදාන පරාමිතියේ වර්ගය S, සුපර් ටයිප් Tiහි අනුරූප ක්‍රමයේ අනුරූප ආදාන පරාමිතියේ වර්ගයට සමාන හෝ සුපිරි ආකාරයක් විය යුතුය. T.
කෝවරියන්ස් යනු විචල්‍යතාවය උරුමයේ එකම දිශාවට ය, එනම් Soඋප ප්‍රභේදයේ එක් එක් ක්‍රමයේ ප්‍රතිදානයේ වර්ගය S, සුපර් ටයිප් Toහි අනුරූප ක්‍රමයේ අනුරූප ප්‍රතිදානයේ වර්ගයට සමාන හෝ උප වර්ගයක් විය යුතුය T.
මෙයට හේතුව ඇමතුම්කරුට එය වර්ගයක් ඇතැයි Tසිතන්නේ නම්, එය ක්‍රමවේදයක් යැයි සිතන්නේ නම්, එය වර්ගයේ Tතර්ක (ය) සපයන Tiඅතර ප්‍රතිදානය වර්ගයට පවරයි To. එය සැබවින්ම අනුරූප ක්‍රමයට කතා කරන විට S, එක් එක් Tiආදාන පරාමිතිය ආදාන පරාමිතියකට පවරා ඇති Siඅතර Soප්‍රතිදානය වර්ගයට පවරනු ලැබේ To. මේ අනුව නම් Siනොවේ contravariant wrt විය Ti, පසුව subtype Xiකලහ ක subtype වන්නේ නැහැ Siපවරා -could වේවා Ti.
මීට අමතරව, වර්ග බහුඅවයවික පරාමිතීන් (එනම් ජනක විද්‍යාව) පිළිබඳ අර්ථ දැක්වීම්-අඩවි විචල්‍යතා විවරණ ඇති භාෂා සඳහා (උදා: ස්කලා හෝ ලංකාව), එක් එක් වර්ගයේ පරාමිතීන් සඳහා විචල්‍ය විවරණයේ සම හෝ ප්‍රතිවිරුද්ධ දිශාව ප්‍රතිවිරුද්ධ හෝ එකම දිශාවකින් Tවිය යුතුය. පිළිවෙලින් වර්ගය පරාමිතිය ඇති සෑම ආදාන පරාමිතියකට හෝ ප්‍රතිදානයකට (සෑම ක්‍රමයකම ).T
මීට අමතරව, ශ්‍රිත වර්ගයක් ඇති එක් එක් ආදාන පරාමිතිය හෝ ප්‍රතිදානය සඳහා, අවශ්ය විචල්‍ය දිශාව ආපසු හරවනු ලැබේ. මෙම නියමය පුනරාවර්තනය වේ.
ආක්‍රමණ ගණනය කළ හැකි ස්ථානවල උප වර්ග කිරීම සුදුසුය .
ආක්‍රමණ ආදර්ශනය කරන්නේ කෙසේද යන්න පිළිබඳව බොහෝ පර්යේෂණ සිදු වෙමින් පවතින අතර එමඟින් ඒවා සම්පාදකයා විසින් බලාත්මක කරනු ලැබේ.
ටයිප්ස්ටේට් (3 වන පිටුව බලන්න) යතුරු ලියනය කිරීම සඳහා විකලාංග රාජ්‍ය ආක්‍රමණ ප්‍රකාශයට පත් කරයි. විකල්පයක් ලෙස, ප්‍රකාශයන් වර්ග බවට පරිවර්තනය කිරීමෙන් ආක්‍රමණ ක්රියාත්මක කළ හැකිය . උදාහරණයක් ලෙස, ගොනුවක් වැසීමට පෙර එය විවෘතව ඇති බව තහවුරු කර ගැනීම සඳහා, File.open () හට OpenFile වර්ගයක් ආපසු ලබා දිය හැකිය, එය ගොනුවේ නොමැති සමීප () ක්රමයක් අඩංගු වේ. සංයුක්ත වේලාවේදී ආක්‍රමණ ක්රියාත්මක කිරීමට ටයිප් කිරීම සඳහා ටික්-ටැක්-ටෝ ඒපීඅයි තවත් උදාහරණයක් විය හැකිය. වර්ගය පද්ධතිය ටියුරින්-සම්පුර්ණ විය හැකිය, උදා: පරිමාණය . යැපෙන ලෙස ටයිප් කළ භාෂා සහ ප්‍රමේය ප්‍රොවර්ස් ඉහළ පෙළේ ටයිප් කිරීමේ ආකෘති විධිමත් කරයි.
විස්තාරණයට වඩා අර්ථ නිරූපණයන්හි අවශ්‍යතාවය නිසා, ආකෘති ආක්‍රමණ සඳහා යතුරු ලියනය කිරීම, එනම් ඒකාබද්ධ ඉහළ පෙළේ අර්ථ දැක්වීමේ අර්ථ නිරූපණය ටයිප්ස්ටේටයට වඩා උසස් යැයි මම අපේක්ෂා කරමි. 'ව්‍යාප්තිය' යනු සම්බන්ධීකරනය නොකළ, මොඩියුලර් සංවර්ධනයේ අසීමිත, අවසර ලත් සංයුතියයි. විස්තාරණ සංයුතිය සඳහා එකිනෙකා සමඟ ඒකාබද්ධ කළ නොහැකි, හවුල් අර්ථකථන ප්‍රකාශ කිරීම සඳහා අන්‍යෝන්‍ය වශයෙන් රඳා පවතින ආකෘති දෙකක් (උදා: වර්ග සහ ටයිප්ස්ටේට්) තිබීම, ඒකීයභාවයේ ප්‍රතිවිරෝධය ලෙස මට පෙනේ. . නිදසුනක් ලෙස, ප්‍රකාශන ගැටළුව- සමාන දිගුව උප වර්ගය, ක්‍රියාකාරී අධි බර පැටවීම සහ පරාමිතික ටයිප් කිරීමේ වසම් තුළ ඒකාබද්ධ විය.
මගේ න්‍යායාත්මක ස්ථාවරය නම් දැනුම පැවතීම සඳහා (“මධ්‍යගත කිරීම අන්ධ හා නුසුදුසු” යන කොටස බලන්න), ටියුරින්-සම්පූර්ණ පරිගණක භාෂාවක් තුළ ඇති විය හැකි සියලු වෙනස්වීම් 100% ක් ආවරණය කළ හැකි පොදු ආකෘතියක් කිසි විටෙකත් නොතිබෙනු ඇත . දැනුම පැවතීමට නම්, අනපේක්ෂිත හැකියාවන් බොහෝමයක් පවතී, එනම් ආබාධය සහ එන්ට්‍රොපිය සෑම විටම වැඩි විය යුතුය. මෙය එන්ට්‍රොපික් බලයයි. විභව දිගුවක ඇති විය හැකි සියලුම ගණනය කිරීම් සනාථ කිරීම සඳහා, හැකි සෑම දිගුවක්ම ප්‍රාථමික ගණනය කිරීමකි.
හැල්ටිං ප්‍රමේය පවතින්නේ මේ නිසාය, එනම් ටියුරින්-සම්පූර්ණ ක්‍රමලේඛන භාෂාවක හැකි සෑම වැඩසටහනක්ම අවසන් වේද යන්න තීරණය කළ නොහැක. සමහර විශේෂිත වැඩසටහන් අවසන් වන බව සනාථ කළ හැකිය (සියලු හැකියාවන් නිර්වචනය කර ගණනය කර ඇති එකක්). නමුත් එම වැඩසටහන දීර් extension කිරීමේ හැකියාවන් සම්පූර්ණ නොවේ නම් (උදා: යැපුම්-ටයිප් කිරීම හරහා) එම වැඩසටහනේ දීර් extension කිරීමේ හැකියාව අවසන් වන බව ඔප්පු කළ නොහැක. ටියුරින්-සම්පූර්ණත්වය සඳහා වන මූලික අවශ්‍යතාව අසීමිත පුනරාවර්තනයක් බැවින් , ගොඩෙල්ගේ අසම්පූර්ණ ප්‍රමේයයන් සහ රසල්ගේ විරුද්ධාභාසය දීර්. කිරීම සඳහා අදාළ වන්නේ කෙසේද යන්න තේරුම් ගැනීම බුද්ධිමත් ය.
මෙම ප්‍රමේයයන්ගේ අර්ථ නිරූපණය එන්ට්‍රොපික් බලය පිළිබඳ සාමාන්‍යකරණය වූ සංකල්පීය අවබෝධයකට ඒවා ඇතුළත් කරයි:
- ගොඩෙල්ගේ අසම්පූර්ණ ප්‍රමේයයන් : සියලු ගණිතමය සත්‍යයන් සනාථ කළ හැකි ඕනෑම විධිමත් න්‍යායක් නොගැලපේ.
- රසල්ගේ විරුද්ධාභාසය : කට්ටලයක් අඩංගු විය හැකි කට්ටලයක් සඳහා වන සෑම සාමාජිකත්ව රීතියක්ම , එක් එක් සාමාජිකයාගේ නිශ්චිත වර්ගය ගණනය කිරීම හෝ එහි අඩංගු වේ. මේ අනුව කට්ටල දිගු කළ නොහැක, නැතහොත් ඒවා අසීමිත පුනරාවර්තනයකි. නිදසුනක් ලෙස, තේ පෝච්චියක් නොවන සෑම දෙයකම කට්ටලයම ඇතුළත් වේ, එය තමාටම ඇතුලත් වේ, එයට ඇතුළත් වේ, ආදිය…. මේ අනුව රීතියක් නොගැලපේ (එය කට්ටලයක් අඩංගු විය හැකි අතර) නිශ්චිත වර්ග ගණනය නොකරන්නේ නම් (එනම් සියලු නිශ්චිත නොවන වර්ග වලට ඉඩ දෙයි) සහ අසීමිත දිගුවකට ඉඩ නොදේ. මෙය තමන් විසින්ම සාමාජිකයන් නොවන කට්ටල සමූහයකි. හැකි සෑම දිගුවකටම අනුකූලව හා සම්පූර්ණයෙන් ගණනය කිරීමට මෙම නොහැකියාව, ගොඩෙල්ගේ අසම්පූර්ණ ප්‍රමේයයන් වේ.
- ලිස්කොව් ආදේශන මූලධර්මය : සාමාන්යයෙන් එය කිසියම් කට්ටලයක් තවත් උප කුලකයක්ද යන්න නිශ්චිතවම කිව නොහැකි ගැටළුවකි, එනම් උරුමය සාමාන්යයෙන් තීරණය කළ නොහැකි ය.
- ලින්ස්කි යොමු කිරීම : යමක් ගණනය කිරීම යනු කුමක්ද යන්න විස්තර කළ විට හෝ වටහා ගත් විට, එනම් සංජානනය (යථාර්ථය) යන්නට නිරපේක්ෂ යොමු ලක්ෂ්‍යයක් නොමැත.
- කෝස්ගේ ප්‍රමේයය : බාහිර යොමු ලක්ෂ්‍යයක් නොමැත, එබැවින් අසීමිත බාහිර හැකියාවන්ට ඇති බාධකයක් අසාර්ථක වනු ඇත.
- තාප ගති විද්‍යාවේ දෙවන නියමය : මුළු විශ්වයම (සංවෘත පද්ධතියක්, එනම් සියල්ල) උපරිම ආබාධයට නැඹුරු වේ, එනම් උපරිම ස්වාධීන හැකියාවන්.
