Flash Player 9 (or above) is needed to view presentations.
We have detected that you do not have it on your computer. To install it, go here.

Like this presentation? Why not share!

Stoop ed-subtyping subclassing






Total Views
Views on SlideShare
Embed Views



0 Embeds 0

No embeds



Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
Post Comment
Edit your comment

Stoop ed-subtyping subclassing Stoop ed-subtyping subclassing Presentation Transcript

  • Design Points - Subclassing vs Subtyping Subclassing vs Subtyping
    • Stéphane Ducasse --- 2010
  • A little problem
    • How to implement a Stack?
  • Stack subclass of OrderedCollection
    • Stack>>pop
    • ^ self removeFirst
    • Stack>>push: anObject
    • self addFirst: anObject
    • Stack>>top
    • ^ self first
    • Stack>>size, Stack>>includes:
    • are free, inherited from
  • Wait! but
    • What do we do with all the rest of the interface of OrderedCollection?
    • a Stack IS NOT an OrderedCollection!
    • We cannot substitute an OrderedCollection by a Stack
    • Some messages do not make sense on Stack
      • Stack new addLast: anObject
      • Stack new last
    • So we have to block a lot of methods...
  • Consequences...
    • Stack>>removeFirst
    • self shouldNotImplement
    • Stack>>pop
    • ^ super removeFirst
  • The Problem
    • There is not a simple relationship between Stack and OrderedCollection
    • Stack interface is not an extension or subset of OrderedCollection interface
    • Compare with CountingStack a subclass of Stack
    • CountingStack interface is an extension of Stack interface
  • Compare the two uses
  • Compare the two replacements
  • A Better Approach
    • By defining the class Stack that uses OrderedCollection
    • Object subclass: Stack
    • instVarNames: ‘elements’
    • Stack>>push: anElement
    • elements addFirst: anElement
    • Stack>>pop
    • element isEmpty ifFalse: [^ element removeFirst]
  • Inheritance and Polymorphism
    • Polymorphism works best with conforming/substituable interfaces
    • Inheritance creates families of classes with similar interfaces
    • An abstract class describes an interface fulfilled by its subclasses
    • Inheritance helps software reuse by making polymorphism easier
  • About subtyping and subclassing
    • You have only extends or subclass: in programming language.
    • But they can be used to define a subclassing or subtyping relationship.
  • Subtyping Inheritance
    • Reuse of specifications
    • A subclass refines superclass specifications
      • A program that works with Numbers will work with Fractions.
      • A program that works with Collections will work with Arrays.
  • Subclassing
    • Inheritance for code reuse
    • Dictionary is a subclass of Set
    • Semaphore is a subclass of LinkedList
    • No relationship between the interfaces of the classes
    • Subclass reuses code from superclass, but has a different specification. It cannot be used everywhere its superclass is used. Usually overrides a lot of code.
    • ShouldNotImplement use is a bad smell…
  • Inheritance for Code Reuse
    • Inheritance for code reuse is good for
    • rapid prototyping
      • getting application done quickly.
    • Bad for:
      • easy to understand systems
      • reusable software
      • application with long life-time.
  • Subtyping Essence
    • You reuse specification
      • You should be able to substitute an instance by one of its subclasses (more or less)
      • There is a relationship between the interfaces of the class and its superclass
  • How to Choose?
    • Favor subtyping
    • When you are in a hurry, do what seems easiest.
    • Clean up later, make sure classes use “is-a-subtype” relationship, not just “is-implemented-like”.
    • Is-a-subtype is a design decision, the compiler only enforces is-implemented-like!!!
  • Quizz
    • Circle subclass of Point?
    • Poem subclass of OrderedCollection?