Introduction
Traditional JavaScript uses functions and prototype-based inheritance to build up reusable components, but this may feel a bit awkward to programmers more comfortable with an object-oriented approach, where classes inherit functionality and objects are built from these classes. Starting with ECMAScript 2015, also known as ECMAScript 6, JavaScript programmers will be able to build their applications using this object-oriented class-based approach. In TypeScript, we allow developers to use these techniques now, and compile them down to JavaScript that works across all major browsers and platforms, without having to wait for the next version of JavaScript.
Classes
Let’s take a look at a simple class-based example
tsclass Greeter { greeting: string; constructor(message: string) { this.greeting = message; } greet() { return "Hello, " + this.greeting; } } let greeter = new Greeter("world");
The syntax should look familiar if you’ve used C# or Java before.
We declare a new class Greeter
. This class has three members: a property called greeting
, a constructor, and a method greet
.
You’ll notice that in the class when we refer to one of the members of the class we prepend this.
.
This denotes that it’s a member access.
In the last line we construct an instance of the Greeter
class using new
.
This calls into the constructor we defined earlier, creating a new object with the Greeter
shape, and running the constructor to initialize it.
Inheritance
In TypeScript, we can use common object-oriented patterns. One of the most fundamental patterns in class-based programming is being able to extend existing classes to create new ones using inheritance.
Let’s take a look at an example:
tsclass Animal { move(distanceInMeters: number = 0) { console.log(`Animal moved ${distanceInMeters}m.`); } } class Dog extends Animal { bark() { console.log('Woof! Woof!'); } } const dog = new Dog(); dog.bark(); dog.move(10); dog.bark();
This example shows the most basic inheritance feature: classes inherit properties and methods from base classes.
Here, Dog
is a derived class that derives from the Animal
base class using the extends
keyword.
Derived classes are often called subclasses, and base classes are often called superclasses.
Because Dog
extends the functionality from Animal
, we were able to create an instance of Dog
that could both bark()
and move()
.
Let’s now look at a more complex example.
tsclass Animal { name: string; constructor(theName: string) { this.name = theName; } move(distanceInMeters: number = 0) { console.log(`${this.name} moved ${distanceInMeters}m.`); } } class Snake extends Animal { constructor(name: string) { super(name); } move(distanceInMeters = 5) { console.log("Slithering..."); super.move(distanceInMeters); } } class Horse extends Animal { constructor(name: string) { super(name); } move(distanceInMeters = 45) { console.log("Galloping..."); super.move(distanceInMeters); } } let sam = new Snake("Sammy the Python"); let tom: Animal = new Horse("Tommy the Palomino"); sam.move(); tom.move(34);
This example covers a few other features we didn’t previously mention.
Again, we see the extends
keywords used to create two new subclasses of Animal
: Horse
and Snake
.
One difference from the prior example is that each derived class that contains a constructor function must call super()
which will execute the constructor of the base class.
What’s more, before we ever access a property on this
in a constructor body, we have to call super()
.
This is an important rule that TypeScript will enforce.
The example also shows how to override methods in the base class with methods that are specialized for the subclass.
Here both Snake
and Horse
create a move
method that overrides the move
from Animal
, giving it functionality specific to each class.
Note that even though tom
is declared as an Animal
, since its value is a Horse
, calling tom.move(34)
will call the overriding method in Horse
:
Slithering...
Sammy the Python moved 5m.
Galloping...
Tommy the Palomino moved 34m.
Public, private, and protected modifiers
Public by default
In our examples, we’ve been able to freely access the members that we declared throughout our programs.
If you’re familiar with classes in other languages, you may have noticed in the above examples we haven’t had to use the word public
to accomplish this; for instance, C# requires that each member be explicitly labeled public
to be visible.
In TypeScript, each member is public
by default.
You may still mark a member public
explicitly.
We could have written the Animal
class from the previous section in the following way:
tsclass Animal { public name: string; public constructor(theName: string) { this.name = theName; } public move(distanceInMeters: number) { console.log(`${this.name} moved ${distanceInMeters}m.`); } }
Understanding private
When a member is marked private
, it cannot be accessed from outside of its containing class. For example:
tsclass Animal { private name: string; constructor(theName: string) { this.name = theName; } } new Animal("Cat").name; // Error: 'name' is private;
TypeScript is a structural type system. When we compare two different types, regardless of where they came from, if the types of all members are compatible, then we say the types themselves are compatible.
However, when comparing types that have private
and protected
members, we treat these types differently.
For two types to be considered compatible, if one of them has a private
member, then the other must have a private
member that originated in the same declaration.
The same applies to protected
members.
Let’s look at an example to better see how this plays out in practice:
tsclass Animal { private name: string; constructor(theName: string) { this.name = theName; } } class Rhino extends Animal { constructor() { super("Rhino"); } } class Employee { private name: string; constructor(theName: string) { this.name = theName; } } let animal = new Animal("Goat"); let rhino = new Rhino(); let employee = new Employee("Bob"); animal = rhino; animal = employee; // Error: 'Animal' and 'Employee' are not compatible
In this example, we have an Animal
and a Rhino
, with Rhino
being a subclass of Animal
.
We also have a new class Employee
that looks identical to Animal
in terms of shape.
We create some instances of these classes and then try to assign them to each other to see what will happen.
Because Animal
and Rhino
share the private
side of their shape from the same declaration of private name: string
in Animal
, they are compatible. However, this is not the case for Employee
.
When we try to assign from an Employee
to Animal
we get an error that these types are not compatible.
Even though Employee
also has a private
member called name
, it’s not the one we declared in Animal
.
Understanding protected
The protected
modifier acts much like the private
modifier with the exception that members declared protected
can also be accessed within deriving classes. For example,
tsclass Person { protected name: string; constructor(name: string) { this.name = name; } } class Employee extends Person { private department: string; constructor(name: string, department: string) { super(name); this.department = department; } public getElevatorPitch() { return `Hello, my name is ${this.name} and I work in ${this.department}.`; } } let howard = new Employee("Howard", "Sales"); console.log(howard.getElevatorPitch()); console.log(howard.name); // error
Notice that while we can’t use name
from outside of Person
, we can still use it from within an instance method of Employee
because Employee
derives from Person
.
A constructor may also be marked protected
.
This means that the class cannot be instantiated outside of its containing class, but can be extended. For example,
tsclass Person { protected name: string; protected constructor(theName: string) { this.name = theName; } } // Employee can extend Person class Employee extends Person { private department: string; constructor(name: string, department: string) { super(name); this.department = department; } public getElevatorPitch() { return `Hello, my name is ${this.name} and I work in ${this.department}.`; } } let howard = new Employee("Howard", "Sales"); let john = new Person("John"); // Error: The 'Person' constructor is protected
Readonly modifier
You can make properties readonly by using the readonly
keyword.
Readonly properties must be initialized at their declaration or in the constructor.
tsclass Octopus { readonly name: string; readonly numberOfLegs: number = 8; constructor (theName: string) { this.name = theName; } } let dad = new Octopus("Man with the 8 strong legs"); dad.name = "Man with the 3-piece suit"; // error! name is readonly.
Parameter properties
In our last example, we had to declare a readonly member name
and a constructor parameter theName
in the Octopus
class. This is needed in order to have the value of theName
accessible after the Octopus
constructor is executed.
Parameter properties let you create and initialize a member in one place.
Here’s a further revision of the previous Octopus
class using a parameter property:
tsclass Octopus { readonly numberOfLegs: number = 8; constructor(readonly name: string) { } }
Notice how we dropped theName
altogether and just use the shortened readonly name: string
parameter on the constructor to create and initialize the name
member.
We’ve consolidated the declarations and assignment into one location.
Parameter properties are declared by prefixing a constructor parameter with an accessibility modifier or readonly
, or both.
Using private
for a parameter property declares and initializes a private member; likewise, the same is done for public
, protected
, and readonly
.
Accessors
TypeScript supports getters/setters as a way of intercepting accesses to a member of an object. This gives you a way of having finer-grained control over how a member is accessed on each object.
Let’s convert a simple class to use get
and set
.
First, let’s start with an example without getters and setters.
tsclass Employee { fullName: string; } let employee = new Employee(); employee.fullName = "Bob Smith"; if (employee.fullName) { console.log(employee.fullName); }
While allowing people to randomly set fullName
directly is pretty handy, we may also want enforce some constraints when fullName
is set.
In this version, we add a setter that checks the length of the newName
to make sure it’s compatible with the max-length of our backing database field. If it isn’t we throw an error notifying client code that something went wrong.
To preserve existing functionality, we also add a simple getter that retrieves fullName
unmodified.
tsconst fullNameMaxLength = 10; class Employee { private _fullName: string; get fullName(): string { return this._fullName; } set fullName(newName: string) { if (newName && newName.length > fullNameMaxLength) { throw new Error("fullName has a max length of " + fullNameMaxLength); } this._fullName = newName; } } let employee = new Employee(); employee.fullName = "Bob Smith"; if (employee.fullName) { console.log(employee.fullName); }
To prove to ourselves that our accessor is now checking the length of values, we can attempt to assign a name longer than 10 characters and verify that we get an error.
A couple of things to note about accessors:
First, accessors require you to set the compiler to output ECMAScript 5 or higher.
Downleveling to ECMAScript 3 is not supported.
Second, accessors with a get
and no set
are automatically inferred to be readonly
.
This is helpful when generating a .d.ts
file from your code, because users of your property can see that they can’t change it.
Static Properties
Up to this point, we’ve only talked about the instance members of the class, those that show up on the object when it’s instantiated.
We can also create static members of a class, those that are visible on the class itself rather than on the instances.
In this example, we use static
on the origin, as it’s a general value for all grids.
Each instance accesses this value through prepending the name of the class.
Similarly to prepending this.
in front of instance accesses, here we prepend Grid.
in front of static accesses.
tsclass Grid { static origin = {x: 0, y: 0}; calculateDistanceFromOrigin(point: {x: number; y: number;}) { let xDist = (point.x - Grid.origin.x); let yDist = (point.y - Grid.origin.y); return Math.sqrt(xDist * xDist + yDist * yDist) / this.scale; } constructor (public scale: number) { } } let grid1 = new Grid(1.0); // 1x scale let grid2 = new Grid(5.0); // 5x scale console.log(grid1.calculateDistanceFromOrigin({x: 10, y: 10})); console.log(grid2.calculateDistanceFromOrigin({x: 10, y: 10}));
Abstract Classes
Abstract classes are base classes from which other classes may be derived.
They may not be instantiated directly.
Unlike an interface, an abstract class may contain implementation details for its members.
The abstract
keyword is used to define abstract classes as well as abstract methods within an abstract class.
tsabstract class Animal { abstract makeSound(): void; move(): void { console.log("roaming the earth..."); } }
Methods within an abstract class that are marked as abstract do not contain an implementation and must be implemented in derived classes.
Abstract methods share a similar syntax to interface methods.
Both define the signature of a method without including a method body.
However, abstract methods must include the abstract
keyword and may optionally include access modifiers.
tsabstract class Department { constructor(public name: string) { } printName(): void { console.log("Department name: " + this.name); } abstract printMeeting(): void; // must be implemented in derived classes } class AccountingDepartment extends Department { constructor() { super("Accounting and Auditing"); // constructors in derived classes must call super() } printMeeting(): void { console.log("The Accounting Department meets each Monday at 10am."); } generateReports(): void { console.log("Generating accounting reports..."); } } let department: Department; // ok to create a reference to an abstract type department = new Department(); // error: cannot create an instance of an abstract class department = new AccountingDepartment(); // ok to create and assign a non-abstract subclass department.printName(); department.printMeeting(); department.generateReports(); // error: method doesn't exist on declared abstract type
Advanced Techniques
Constructor functions
When you declare a class in TypeScript, you are actually creating multiple declarations at the same time. The first is the type of the instance of the class.
tsclass Greeter { greeting: string; constructor(message: string) { this.greeting = message; } greet() { return "Hello, " + this.greeting; } } let greeter: Greeter; greeter = new Greeter("world"); console.log(greeter.greet());
Here, when we say let greeter: Greeter
, we’re using Greeter
as the type of instances of the class Greeter
.
This is almost second nature to programmers from other object-oriented languages.
We’re also creating another value that we call the constructor function.
This is the function that is called when we new
up instances of the class.
To see what this looks like in practice, let’s take a look at the JavaScript created by the above example:
tslet Greeter = (function () { function Greeter(message) { this.greeting = message; } Greeter.prototype.greet = function () { return "Hello, " + this.greeting; }; return Greeter; })(); let greeter; greeter = new Greeter("world"); console.log(greeter.greet());
Here, let Greeter
is going to be assigned the constructor function.
When we call new
and run this function, we get an instance of the class.
The constructor function also contains all of the static members of the class.
Another way to think of each class is that there is an instance side and a static side.
Let’s modify the example a bit to show this difference:
tsclass Greeter { static standardGreeting = "Hello, there"; greeting: string; greet() { if (this.greeting) { return "Hello, " + this.greeting; } else { return Greeter.standardGreeting; } } } let greeter1: Greeter; greeter1 = new Greeter(); console.log(greeter1.greet()); let greeterMaker: typeof Greeter = Greeter; greeterMaker.standardGreeting = "Hey there!"; let greeter2: Greeter = new greeterMaker(); console.log(greeter2.greet());
In this example, greeter1
works similarly to before.
We instantiate the Greeter
class, and use this object.
This we have seen before.
Next, we then use the class directly.
Here we create a new variable called greeterMaker
.
This variable will hold the class itself, or said another way its constructor function.
Here we use typeof Greeter
, that is “give me the type of the Greeter
class itself” rather than the instance type.
Or, more precisely, “give me the type of the symbol called Greeter
,” which is the type of the constructor function.
This type will contain all of the static members of Greeter along with the constructor that creates instances of the Greeter
class.
We show this by using new
on greeterMaker
, creating new instances of Greeter
and invoking them as before.
Using a class as an interface
As we said in the previous section, a class declaration creates two things: a type representing instances of the class and a constructor function. Because classes create types, you can use them in the same places you would be able to use interfaces.
tsclass Point { x: number; y: number; } interface Point3d extends Point { z: number; } let point3d: Point3d = {x: 1, y: 2, z: 3};