...
)
.call()
: specifying this
via a parameter.bind()
: pre-filling this
and parameters of functionsthis
pitfall: extracting methodsthis
pitfall: accidentally shadowing this
this
this
in various contextsin
operator: is there a property with a given key?Object.values()
Object.entries()
Object.fromEntries()
.toString()
.valueOf()
Object.assign()
In this book, JavaScript’s style of object-oriented programming (OOP) is introduced in four steps. This chapter covers step 1, the next chapter covers steps 2–4. The steps are (fig. 8):
In JavaScript:
Objects play two roles in JavaScript:
Records: Objects-as-records have a fixed number of properties, whose keys are known at development time. Their values can have different types.
Dictionaries: Objects-as-dictionaries have a variable number of properties, whose keys are not known at development time. All of their values have the same type.
These roles influence how objects are explained in this chapter:
Let’s first explore the role record of objects.
Object literals are one way of creating objects-as-records. They are a stand-out feature of JavaScript: You can directly create objects – no need for classes! This is an example:
In the example, we created an object via an object literal, which starts and ends with curly braces {}
. Inside it, we defined two properties (key-value entries):
first
and the value 'Jane'
.last
and the value 'Doe'
.We will later see other ways of specifying property keys, but with this way of specifying them, they must follow the rules of JavaScript variable names. For example, you can use first_name
as a property key, but not first-name
). However, reserved words are allowed:
In order to check the effects of various operations on objects, we’ll occasionally use Object.keys()
in this part of the chapter. It lists property keys:
Whenever the value of a property is defined via a variable name and that name is the same as the key, you can omit the key.
function createPoint(x, y) {
return {x, y};
}
assert.deepEqual(
createPoint(9, 2),
{ x: 9, y: 2 }
);
This is how you get (read) a property (line A):
const jane = {
first: 'Jane',
last: 'Doe',
};
// Get property .first
assert.equal(jane.first, 'Jane'); // (A)
Getting an unknown property, produces undefined
:
This is how you set (write to) a property:
const obj = {
prop: 1,
};
assert.equal(obj.prop, 1);
obj.prop = 2; // (A)
assert.equal(obj.prop, 2);
We just changed an existing property via setting. If we set an unknown property, we create a new entry:
const obj = {}; // empty object
assert.deepEqual(
Object.keys(obj), []);
obj.unknownProperty = 'abc';
assert.deepEqual(
Object.keys(obj), ['unknownProperty']);
The following code shows how to create the method .says()
via an object literal:
const jane = {
first: 'Jane', // data property
says(text) { // method
return `${this.first} says “${text}”`; // (A)
}, // comma as separator (optional at end)
};
assert.equal(jane.says('hello'), 'Jane says “hello”');
During the method call jane.says('hello')
, jane
is called the receiver of the method call and assigned to the special variable this
. That enables method .says()
to access the sibling property .first
in line A.
There are two kinds of accessors in JavaScript:
A getter is created by prefixing a method definition with the modifier get
:
const jane = {
first: 'Jane',
last: 'Doe',
get full() {
return `${this.first} ${this.last}`;
},
};
assert.equal(jane.full, 'Jane Doe');
jane.first = 'John';
assert.equal(jane.full, 'John Doe');
A setter is created by prefixing a method definition with the modifier set
:
const jane = {
first: 'Jane',
last: 'Doe',
set full(fullName) {
const parts = fullName.split(' ');
this.first = parts[0];
this.last = parts[1];
},
};
jane.full = 'Richard Roe';
assert.equal(jane.first, 'Richard');
assert.equal(jane.last, 'Roe');
Exercise: Creating an object via an object literal
exercises/single-objects/color_point_object_test.mjs
...
)Inside a function call, spreading (...
) turns the iterated values of an iterable object into arguments.
Inside an object literal, a spread property adds the properties of another object to the current one:
If property keys clash, the property that is mentioned last “wins”:
> const obj = {foo: 1, bar: 2, baz: 3};
> {...obj, foo: true}
{ foo: true, bar: 2, baz: 3 }
> {foo: true, ...obj}
{ foo: 1, bar: 2, baz: 3 }
You can use spreading to create a copy of an object original
:
Caveat – copying is shallow: copy
is a fresh object with duplicates of all properties (key-value entries) of original
. But if property values are objects, then those are not copied themselves; they are shared between original
and copy
. Let’s look at an example.
The first level of copy
is really a copy: If you change any properties at that level, it does not affect the original:
However, deeper levels are not copied. For example, the value of .b
is shared between original and copy. Changing .b
in the copy, also changes it in the original.
JavaScript doesn’t have built-in support for deep copying
Deep copies of objects (where all levels are copied) are notoriously difficult to do generically. Therefore, JavaScript does not have a built-in operation for them (for now). If you need such an operation, you have to implement it yourself.
If one of the inputs of your code is an object with data, you can make properties optional by specifying default values that are used if those properties are missing. One technique for doing so, is via an object whose properties contain the default values. In the following example, that object is DEFAULTS
:
const DEFAULTS = {foo: 'a', bar: 'b'};
const providedData = {foo: 1};
const allData = {...DEFAULTS, ...providedData};
assert.deepEqual(allData, {foo: 1, bar: 'b'});
The result, the object allData
, is created by copying DEFAULTS
and overriding its properties with those of providedData
.
But you don’t need an object to specify the default values, you can also specify them inside the object literal, individually:
const providedData = {foo: 1};
const allData = {foo: 'a', bar: 'b', ...providedData};
assert.deepEqual(allData, {foo: 1, bar: 'b'});
So far, we have encountered one way of changing a property .foo
of an object: We set it (line A) and mutate the object. That is, this way of changing a property is destructive.
With spreading, we can change .foo
non-destructively – we make a copy of obj
where .foo
has a different value:
const obj = {foo: 'a', bar: 'b'};
const updatedObj = {...obj, foo: 1};
assert.deepEqual(updatedObj, {foo: 1, bar: 'b'});
Exercise: Non-destructively updating a property via spreading (fixed key)
exercises/single-objects/update_name_test.mjs
Let’s revisit the example that was used to introduce methods:
Somewhat surprisingly, methods are functions:
Why is that? Remember that, in the chapter on callable values, we learned that ordinary functions play several roles. Method is one of those roles. Therefore, under the hood, jane
roughly looks as follows.
.call()
: specifying this
via a parameterRemember that each function someFunc
is also an object and therefore has methods. One such method is .call()
– it lets you call a function while specifying this
via a parameter:
.call()
If you make a method call, this
is an implicit parameter that is filled in via the receiver of the call:
const obj = {
method(x) {
assert.equal(this, obj); // implicit parameter
assert.equal(x, 'a');
},
};
obj.method('a'); // receiver is `obj`
The method call in the last line sets up this
as follows:
As an aside, that means that there are actually two different dot operators:
obj.prop
obj.prop()
They are different in that (2) is not just (1), followed by the function call operator ()
. Instead, (2) additionally specifies a value for this
.
.call()
If you function-call an ordinary function, its implicit parameter this
is also provided – it is implicitly set to undefined
:
function func(x) {
assert.equal(this, undefined); // implicit parameter
assert.equal(x, 'a');
}
func('a');
The method call in the last line sets up this
as follows:
this
being set to undefined
during a function call, indicates that it is a feature that is only needed during a method call.
Next, we’ll examine the pitfalls of using this
. Before we can do that, we need one more tool: method .bind()
of functions.
.bind()
: pre-filling this
and parameters of functions.bind()
is another method of function objects. This method is invoked as follows.
.bind()
returns a new function boundFunc()
. Calling that function invokes someFunc()
with this
set to thisValue
and these parameters: arg1
, arg2
, followed by the parameters of boundFunc()
.
That is, the following two function calls are equivalent:
.bind()
Another way of pre-filling this
and parameters, is via an arrow function:
.bind()
Considering the previous section, .bind()
can be implemented as a real function as follows:
function bind(func, thisValue, ...boundArgs) {
return (...args) =>
func.call(thisValue, ...boundArgs, ...args);
}
Using .bind()
for real functions is somewhat unintuitive, because you have to provide a value for this
. Given that it is undefined
during function calls, it is usually set to undefined
or null
.
In the following example, we create add8()
, a function that has one parameter, by binding the first parameter of add()
to 8
.
In the following code, we turn method .says()
into the stand-alone function func()
:
const jane = {
first: 'Jane',
says(text) {
return `${this.first} says “${text}”`; // (A)
},
};
const func = jane.says.bind(jane, 'hello');
assert.equal(func(), 'Jane says “hello”');
Setting this
to jane
via .bind()
is crucial here. Otherwise, func()
wouldn’t work properly, because this
is used in line A.
this
pitfall: extracting methodsWe now know quite a bit about functions and methods and are ready to take a look at the biggest pitfall involving methods and this
: function-calling a method extracted from an object can fail if you are not careful.
In the following example, we fail when we extract method jane.says()
, store it in the variable func
and function-call func()
.
const jane = {
first: 'Jane',
says(text) {
return `${this.first} says “${text}”`;
},
};
const func = jane.says; // extract the method
assert.throws(
() => func('hello'), // (A)
{
name: 'TypeError',
message: "Cannot read property 'first' of undefined",
});
The function call in line A is equivalent to:
assert.throws(
() => jane.says.call(undefined, 'hello'), // `this` is undefined!
{
name: 'TypeError',
message: "Cannot read property 'first' of undefined",
});
So how do we fix this? We need to use .bind()
to extract method .says()
:
The .bind()
ensures that this
is always jane
when we call func()
.
You can also use arrow functions to extract methods:
The following is a simplified version of code that you may see in actual web development:
class ClickHandler {
constructor(id, elem) {
this.id = id;
elem.addEventListener('click', this.handleClick); // (A)
}
handleClick(event) {
alert('Clicked ' + this.id);
}
}
In line A, we don’t extract the method .handleClick()
properly. Instead, we should do:
Exercise: Extracting a method
exercises/single-objects/method_extraction_exrc.mjs
this
pitfall: accidentally shadowing this
Accidentally shadowing
this
is only an issue with ordinary functions
Arrow functions don’t shadow this
.
Consider the following problem: When you are inside an ordinary function, you can’t access the this
of the surrounding scope, because the ordinary function has its own this
. In other words: a variable in an inner scope hides a variable in an outer scope. That is called shadowing. The following code is an example:
const prefixer = {
prefix: '==> ',
prefixStringArray(stringArray) {
return stringArray.map(
function (x) {
return this.prefix + x; // (A)
});
},
};
assert.throws(
() => prefixer.prefixStringArray(['a', 'b']),
/^TypeError: Cannot read property 'prefix' of undefined$/);
In line A, we want to access the this
of .prefixStringArray()
. But we can’t, since the surrounding ordinary function has its own this
, that shadows (blocks access to) the this
of the method. The value of the former this
is undefined
– due to the callback being function-called. That explains the error message.
The simplest way to fix this problem is via an arrow function, which doesn’t have its own this
and therefore doesn’t shadow anything:
const prefixer = {
prefix: '==> ',
prefixStringArray(stringArray) {
return stringArray.map(
(x) => {
return this.prefix + x;
});
},
};
assert.deepEqual(
prefixer.prefixStringArray(['a', 'b']),
['==> a', '==> b']);
We can also store this
in a different variable (line A), so that it doesn’t get shadowed:
prefixStringArray(stringArray) {
const that = this; // (A)
return stringArray.map(
function (x) {
return that.prefix + x;
});
},
Another option is to specify a fixed this
for the callback, via .bind()
(line A):
prefixStringArray(stringArray) {
return stringArray.map(
function (x) {
return this.prefix + x;
}.bind(this)); // (A)
},
Lastly, .map()
lets us specify a value for this
(line A) that it uses when invoking the callback:
prefixStringArray(stringArray) {
return stringArray.map(
function (x) {
return this.prefix + x;
},
this); // (A)
},
this
We have seen two big this
-related pitfalls:
One simple rule helps avoid the second pitfall:
“Avoid the keyword
function
”: Never use ordinary functions, only arrow functions (for real functions) and method definitions.
Following this rule has two benefits:
this
becomes easier to understand, because it will only appear inside methods (never inside ordinary functions). That makes it clear that this
is an OOP feature.However, even though I don’t use (ordinary) function expressions, anymore, I do like function declarations syntactically. You can use them safely if you don’t refer to this
inside them. The static checking tool ESLint can warn you during development when you do this wrong, via a built-in rule.
Alas, there is no simple way around the first pitfall: Whenever you extract a method, you have to be careful and do it properly. For example, by binding this
.
this
in various contextsWhat is the value of this
in various contexts?
Inside a callable entity, the value of this
depends on how the callable entity is invoked and what kind of callable entity it is:
this === undefined
this
is same as in surrounding scope (lexical this
)this
is receiver of callnew
: this
refers to newly created instanceYou can also access this
in all common top-level scopes:
<script>
element: this === window
this === undefined
this === module.exports
However, I like to pretend that you can’t access this
in top-level scopes, because top-level this
is confusing and not that useful.
Objects work best as records. But before ES6, JavaScript did not have a data structure for dictionaries (ES6 brought Maps). Therefore, objects had to be used as dictionaries, which imposed a signficant constraint: Keys had to be strings (symbols were also introduced with ES6).
We first look at features of objects that are related to dictionaries, but also useful for objects-as-records. This section concludes with tips for actually using objects as dictionaries (spoiler: use Maps if you can).
So far, we have always used objects as records. Property keys were fixed tokens that had to be valid identifiers and internally became strings:
const obj = {
mustBeAnIdentifier: 123,
};
// Get property
assert.equal(obj.mustBeAnIdentifier, 123);
// Set property
obj.mustBeAnIdentifier = 'abc';
assert.equal(obj.mustBeAnIdentifier, 'abc');
As a next step, we’ll go beyond this limitation for property keys: In this section, we’ll use arbitrary fixed strings as keys. In the next subsection, we’ll dynamically compute keys.
Two techniques allow us to use arbitrary strings as property keys.
First – when creating property keys via object literals, we can quote property keys (with single or double quotes):
Second – when getting or setting properties, we can use square brackets with strings inside them:
// Get property
assert.equal(obj['Can be any string!'], 123);
// Set property
obj['Can be any string!'] = 'abc';
assert.equal(obj['Can be any string!'], 'abc');
You can also use these techniques for methods:
const obj = {
'A nice method'() {
return 'Yes!';
},
};
assert.equal(obj['A nice method'](), 'Yes!');
So far, property keys were always fixed strings inside object literals. In this section we learn how to dynamically compute property keys. That enables us to use either arbitrary strings or symbols.
The syntax of dynamically computed property keys in object literals is inspired by dynamically accessing properties. That is, we can use square brackets to wrap expressions:
const obj = {
['Hello world!']: true,
['f'+'o'+'o']: 123,
[Symbol.toStringTag]: 'Goodbye', // (A)
};
assert.equal(obj['Hello world!'], true);
assert.equal(obj.foo, 123);
assert.equal(obj[Symbol.toStringTag], 'Goodbye');
The main use case for computed keys is having symbols as property keys (line A).
Note that the square brackets operator for getting and setting properties works with arbitrary expressions:
Methods can have computed property keys, too:
const methodKey = Symbol();
const obj = {
[methodKey]() {
return 'Yes!';
},
};
assert.equal(obj[methodKey](), 'Yes!');
For the remainder of this chapter, we’ll mostly use fixed property keys again (because they are syntactically more convenient). But all features are also available for arbitrary strings and symbols.
Exercise: Non-destructively updating a property via spreading (computed key)
exercises/single-objects/update_property_test.mjs
in
operator: is there a property with a given key?The in
operator checks if an object has a property with a given key:
const obj = {
foo: 'abc',
bar: false,
};
assert.equal('foo' in obj, true);
assert.equal('unknownKey' in obj, false);
You can also use a truthiness check to determine if a property exists:
assert.equal(
obj.foo ? 'exists' : 'does not exist',
'exists');
assert.equal(
obj.unknownKey ? 'exists' : 'does not exist',
'does not exist');
The previous checks work, because obj.foo
is truthy and because reading a missing property returns undefined
(which is falsy).
There is, however, one important caveat: Truthiness checks fail if the property exists, but has a falsy value (undefined
, null
, false
, 0
, ""
, etc.):
You can delete properties via the delete
operator:
const obj = {
foo: 123,
};
assert.deepEqual(Object.keys(obj), ['foo']);
delete obj.foo;
assert.deepEqual(Object.keys(obj), []);
enumerable | non-e. | string | symbol | |
---|---|---|---|---|
Object.keys() |
✔ |
✔ |
||
Object.getOwnPropertyNames() |
✔ |
✔ |
✔ |
|
Object.getOwnPropertySymbols() |
✔ |
✔ |
✔ |
|
Reflect.ownKeys() |
✔ |
✔ |
✔ |
✔ |
Each of the methods in tbl. 18 returns an Array with the own property keys of the parameter. In the names of the methods, you can see that the following distinction is made:
Enumerability is an attribute of a property. Non-enumerable properties are ignored by some operations. For example, by Object.keys()
(see table) and by spread properties. By default, most properties are enumerable. The next example shows how to change that. It also demonstrates the various ways of listing property keys.
const enumerableSymbolKey = Symbol('enumerableSymbolKey');
const nonEnumSymbolKey = Symbol('nonEnumSymbolKey');
// We create enumerable properties via an object literal
const obj = {
enumerableStringKey: 1,
[enumerableSymbolKey]: 2,
}
// For non-enumerable properties, we need a more powerful tool
Object.defineProperties(obj, {
nonEnumStringKey: {
value: 3,
enumerable: false,
},
[nonEnumSymbolKey]: {
value: 4,
enumerable: false,
},
});
assert.deepEqual(
Object.keys(obj),
[ 'enumerableStringKey' ]);
assert.deepEqual(
Object.getOwnPropertyNames(obj),
[ 'enumerableStringKey', 'nonEnumStringKey' ]);
assert.deepEqual(
Object.getOwnPropertySymbols(obj),
[ enumerableSymbolKey, nonEnumSymbolKey ]);
assert.deepEqual(
Reflect.ownKeys(obj),
[
'enumerableStringKey', 'nonEnumStringKey',
enumerableSymbolKey, nonEnumSymbolKey,
]);
Object.defineProperties()
is explained later.
Object.values()
Object.values()
lists the values of all enumerable properties of an object:
Object.entries()
Object.entries()
lists key-value pairs of enumerable properties. Each pair is encoded as a two-element Array:
Exercise:
Object.entries()
exercises/single-objects/find_key_test.mjs
Own (non-inherited) properties of objects are always listed in the following order:
The following example demonstrates how property keys are sorted according to these rules:
The order of properties
The ECMAScript specification describes in more detail how properties are ordered.
Object.fromEntries()
Given an iterable over [key,value] pairs, Object.fromEntries()
creates an object:
Object.fromEntries()
does the opposite of Object.entries()
.
To demonstrate both, we’ll use them to implement two tool functions from the library Underscore in the next subsubsections.
pick(object, ...keys)
pick
returns a copy of object
that only has those properties, whose keys are mentioned as arguments:
const address = {
street: 'Evergreen Terrace',
number: '742',
city: 'Springfield',
state: 'NT',
zip: '49007',
};
assert.deepEqual(
pick(address, 'street', 'number'),
{
street: 'Evergreen Terrace',
number: '742',
}
);
We can implement pick()
as follows:
function pick(object, ...keys) {
const filteredEntries = Object.entries(object)
.filter(([key, _value]) => keys.includes(key));
return Object.fromEntries(filteredEntries);
}
invert(object)
invert
returns a copy of object
where the keys and values of all properties are swapped:
We can implement invert()
like this:
function invert(object) {
const mappedEntries = Object.entries(object)
.map(([key, value]) => [value, key]);
return Object.fromEntries(mappedEntries);
}
Object.fromEntries()
The following function is a simplified version of Object.fromEntries()
:
function fromEntries(iterable) {
const result = {};
for (const [key, value] of iterable) {
let coercedKey;
if (typeof key === 'string' || typeof key === 'symbol') {
coercedKey = key;
} else {
coercedKey = String(key);
}
result[coercedKey] = value;
}
return result;
}
The npm package object.fromentries
is a polyfill for Object.entries()
: it installs its own implementation if that method doesn’t exist.
Exercise:
Object.entries()
and Object.fromEntries()
exercises/single-objects/omit_properties_test.mjs
If you use plain objects (created via object literals) as dictionaries, you have to look out for two pitfalls.
The first pitfall is that the in
operator also finds inherited properties:
We want dict
to be treated as empty, but the in
operator detects the properties it inherits from its prototype, Object.prototype
.
The second pitfall is that you can’t use the property key __proto__
, because it has special powers (it sets the prototype of the object):
const dict = {};
dict['__proto__'] = 123;
// No property was added to dict:
assert.deepEqual(Object.keys(dict), []);
So how do we avoid these pitfalls?
The following code demonstrates using objects without prototypes as dictionaries:
const dict = Object.create(null); // no prototype
assert.equal('toString' in dict, false); // (A)
dict['__proto__'] = 123;
assert.deepEqual(Object.keys(dict), ['__proto__']);
We avoided both pitfalls: First, a property without a prototype does not inherit any properties (line A). Second, in modern JavaScript, __proto__
is implemented via Object.prototype
. That means that it is switched off if Object.prototype
is not in the prototype chain.
Exercise: Using an object as a dictionary
exercises/single-objects/simple_dict_test.mjs
Object.prototype
defines several standard methods that can be overridden to configure how an object is treated by the language. Two important ones are:
.toString()
.valueOf()
.toString()
.toString()
determines how objects are converted to strings:
.valueOf()
.valueOf()
determines how objects are converted to numbers:
The following subsections give brief overviews of a few advanced topics.
Object.assign()
Object.assign()
is a tool method:
This expression assigns all properties of source_1
to target
, then all properties of source_2
, etc. At the end, it returns target
. For example:
const target = { foo: 1 };
const result = Object.assign(
target,
{bar: 2},
{baz: 3, bar: 4});
assert.deepEqual(
result, { foo: 1, bar: 4, baz: 3 });
// target was modified and returned:
assert.equal(result, target);
The use cases for Object.assign()
are similar to those for spread properties. In a way, it spreads destructively.
Object.freeze(obj)
makes obj
completely immutable: You can’t change properties, add properties or change its prototype. For example:
const frozen = Object.freeze({ x: 2, y: 5 });
assert.throws(
() => { frozen.x = 7 },
{
name: 'TypeError',
message: /^Cannot assign to read only property 'x'/,
});
There is one caveat: Object.freeze(obj)
freezes shallowly. That is, only the properties of obj
are frozen, but not objects stored in properties.
Just as objects are composed of properties, properties are composed of attributes. The value of a property is only one of several attributes. Others include:
writable
: Is it possible to change the value of the property?enumerable
: Is the property considered by Object.keys()
, spreading, etc.?When you are using one of the operations for handling property attributes, attributes are specified via property descriptors: objects where each property represents one attribute. For example, this is how you read the attributes of a property obj.foo
:
const obj = { foo: 123 };
assert.deepEqual(
Object.getOwnPropertyDescriptor(obj, 'foo'),
{
value: 123,
writable: true,
enumerable: true,
configurable: true,
});
And this is how you set the attributes of a property obj.bar
:
const obj = {
foo: 1,
bar: 2,
};
assert.deepEqual(Object.keys(obj), ['foo', 'bar']);
// Hide property `bar` from Object.keys()
Object.defineProperty(obj, 'bar', {
enumerable: false,
});
assert.deepEqual(Object.keys(obj), ['foo']);
For more information on property attributes and property descriptors, consult “Speaking JavaScript”.
Quiz
See quiz app.