oop - How to think about polymorphism with subtyping -

-

Liskov प्रतिस्थापन सिद्धांत कहता है:

सुपरटिप के इन परिवर्तकों को एक उपप्रकार में संरक्षित किया जाना चाहिए ।

मैं विशेष रूप से इस सिद्धांत और बहुरूपता के प्रतिच्छेदन में दिलचस्पी रहा हूँ। हालांकि, विशेष रूप से उपप्रकार- बहुरूपता में, वास्तव में, यह पैरामीट्रिक पॉलीमॉर्फिज़्म और हास्केल प्रकार वर्गों के साथ ऐसा मामला है।

इसलिए, मुझे पता है कि कार्य उप-प्रकार होते हैं, जब उनके तर्क दूषित हैं और उनकी वापसी प्रकार संप्रदाय। हम यह मान सकते हैं कि विधियां केवल एक अंतर्निहित "स्वयं" तर्क के साथ कार्य हैं हालांकि, यह यह दर्शाता है कि यदि कोई उपवर्ग अभिभावक की एक विधि को ओवरराइड करता है, तो यह अब एक उपप्रकार नहीं है, क्योंकि इसमें से कोई एक तरीका अब उपप्रकार नहीं है।

उदाहरण के लिए। निम्नलिखित छद्म कोड लें: 

  वर्ग अभिभावक: गिनती: इंट इंरंसमेंट: पेरेंट - & gt; () {Count + = 1} वर्ग बाल विरासत में मिला है: वेतन वृद्धि: बाल - & gt; () {Count + = 2}   
 तो एलएसपी वापस जा रहे हैं: क्या हम कह सकते हैं कि  Parent.increment ()  की एक संपत्ति  Child.increment ()  भले ही ये दो सख्त उप-प्रकार के रिश्ते का पालन नहीं करते हैं?  
 अधिक सामान्यतः मेरा प्रश्न यह है कि उप-प्रकार के अंतरफलक के नियमों को बहुरूपिक कार्य और ये दोनों अवधारणाओं के साथ मिलकर सोचने का सही तरीका क्या है?   
 
 
 विकिपीडिया के लेख का हवाला देते हुए  
 
 अधिक औपचारिक रूप से, Liskov प्रतिस्थापन सिद्धांत (एलएसपी)  एक उप-प्रकार के संबंध की एक विशेष परिभाषा , जिसे (मजबूत)  व्यवहार उपप्रकार  कहा जाता है। ।]  
 व्यवहार उपप्रकार  प्रकार सिद्धांत की परिभाषा में विशिष्ट कार्यों की तुलना में एक मजबूत धारणा है , जो केवल बहस प्रकारों के उल्लुओं पर निर्भर करता है और वापसी प्रकार का सहप्रयोजन होता है। व्यवहारिक उपप्रकार सामान्य तौर पर सामान्य रूप से अनिर्णायक होता है [...]  
 कई प्रकार की व्यवहारिक स्थितियां हैं जो उपप्रकार को मिलना चाहिए:  
     
  •  उपप्रकार में प्राथमिकताएं मजबूत नहीं की जा सकतीं।  
  •  उप-प्रकार में पोस्टकंडिशन कमज़ोर नहीं किया जा सकता है।  
  •   सुपरटाइप के इन परिवर्तकों को एक उपप्रकार में संरक्षित किया जाना चाहिए।     
     इस प्रकार एलएसपी उप-टाइपिंग के लिए एक मजबूत परिभाषा है, जो कि प्रकार-सिद्धांत से परे सुविधाओं पर निर्भर करता है।  
     आपके उदाहरण में, यह बढ़ जाता है और आपके अपरिवर्तक पर पड़ जाता है।  
      
     स्पष्ट रूप से  बच्चे   माता-पिता  के संदर्भ में व्यक्त नहीं किए जा सकते हैं। Em> क्योंकि अपरिवर्तनीय टूटा हुआ है यह सिंटैक्स से अकेले नहीं किया जा सकता है।  
     एलएसपी आपको माता-पिता और बच्चे को अलग से परिभाषित करने के लिए प्रेरित कर सकता है, उन्हें दोनों को  वृद्धिशील  से वंचित किया जाता है, जिसकी कमजोर पोस्ट स्थिति है।

Comments

Post a Comment

Popular posts from this blog

ios - Adding an SKSpriteNode to SKScene from a child SKSpriteNode -

-
I have a SKScene where I am adding an SKSpriteNode I have subclassed the SKSpriteNode class to create this node. In the subclass I am defining some SKActions on Sprite. What do I want to do when the end of this phantom ends the SKAction sequence, then I add a new Prayer node to this scene. How is this possible. The following code is mine: The code for the sequence is that I'm running on the Scansprinitode subclass (TEMissileNode): - SKAction * moveDown = [SKAction moveToY: Self.position.y - 20 Duration: 0.2]; SKAction * animation = [SKAction animateWithTextures: textures timePerFrame: time / 7]; SKAction * moveMissileProjectile = [SKAction Moving: Pointoffscreen Term: Time]; SKAction * group = [SKAction group: @ [animation, movement projectile]]; SKAction * Sequence = [SKAction Sequence: @ [Hilldown, Group, [SKAction removalFromParent]]]; [Self run action: sequence]; From the main scene, I call those actions that execute these tasks TEMissileNode * missile = [tmissil...
Read more

Matlab transpose a table vector -

-
An embarrassing simple question seems to be, but how can I move a Matlab table vector? aTableT = aTable '; I tried a standard syntax for the simple interaction of a line vector to a line vector aTable : ATableT = reshape (aTable, 1, Height (aTable)); and aTableT = rot90 (aTable); According to the head, the last time table should work for table, see. However, I get this error code: Error type in using table / permit (line 396) Undefined function 'permute' for the input arguments. Error in rot 90 (line 29) b = magnitude (b, [2 1 3: ndims (a)]); NB: fliplr is not useful either pretty sure I have covered clear angles - any ideas? Thanks! Try changing your table into an array, move it, then back to a table In other words, try doing this: aTableArray = table2array (aTable); ATableT = array 2table (aTableArray. '); I have also read the document for rot90 , and it says that rot90 is definitely working for tables Do, and I find you...
Read more

c# - Textbox not clickable but editable -

-
I have a small form with 10 text boxes, I have set them in the correct tab order. I want them on my tab service I was wondering if there is a way to set the text box so that they can be selected for editing until they are tabbed. That is ... I do not want the end user to edit the text box to click on them, I just want to make them editable through tabu. this should do the trick public partial category poor text box: Text Box {Safe Override Zero WndProc (Ref: Message Message) {if (m.msg == (Int) WM.LBUTTONDOWN) {Return; // mount down events} base.WndProc (ref m); }} Window message enum can be found. How to do this without anherizing: text box : class EatMouseDown: netwindows {safe override zero WndProc (ref message message) {if (m.msg == (int) WM.LBUTTONDOWN) {return; } Base.WandProc (Ref M); }} Safe Override Zero Onload (EventEurge E) {base.OnLoad (e); How to do this without any part: left a clean part, whatever is important, this can be a buggy but it works R...
Read more