Movatterモバイル変換


[0]ホーム

URL:


5. New number and Math features
Table of contents
Please support this book:buy it (PDF, EPUB, MOBI) ordonate
(Ad, please don’t block.)

5.New number andMath features



5.1Overview

5.1.1New integer literals

You can now specify integers in binary and octal notation:

> 0xFF // ES5: hexadecimal255> 0b11 // ES6: binary3> 0o10 // ES6: octal8

5.1.2NewNumber properties

The global objectNumber gained a few new properties:

5.1.3NewMath methods

The global objectMath has new methods for numerical, trigonometric and bitwise operations. Let’s look at four examples.

Math.sign() returns the sign of a number:

> Math.sign(-8)-1> Math.sign(0)0> Math.sign(3)1

Math.trunc() removes the decimal fraction of a number:

> Math.trunc(3.1)3> Math.trunc(3.9)3> Math.trunc(-3.1)-3> Math.trunc(-3.9)-3

Math.log10() computes the logarithm to base 10:

> Math.log10(100)2

Math.hypot() Computes the square root of the sum of the squares of its arguments (Pythagoras’ theorem):

> Math.hypot(3, 4)5

5.2New integer literals

ECMAScript 5 already has literals for hexadecimal integers:

> 0x99> 0xA10> 0x1016> 0xFF255

ECMAScript 6 brings two new kinds of integer literals:

Remember that theNumber methodtoString(radix) can be used to see numbers in a base other than 10:

> 255..toString(16)'ff'> 4..toString(2)'100'> 8..toString(8)'10'

(The double dots are necessary so that the dot for property access isn’t confused with a decimal dot.)

5.2.1Use case for octal literals: Unix-style file permissions

In the Node.jsfile system module, several functions have the parametermode. Its value is used to specify file permissions, via an encoding that is a holdover from Unix:

That means that permissions can be represented by 9 bits (3 categories with 3 permissions each):

 UserGroupAll
Permissionsr, w, xr, w, xr, w, x
Bit8, 7, 65, 4, 32, 1, 0

The permissions of a single category of users are stored in 3 bits:

BitsPermissionsOctal digit
000–––0
001––x1
010–w–2
011–wx3
100r––4
101r–x5
110rw–6
111rwx7

That means that octal numbers are a compact representation of all permissions, you only need 3 digits, one digit per category of users. Two examples:

5.2.2Number.parseInt() and the new integer literals

Number.parseInt() (which does the same as the global functionparseInt()) has the following signature:

Number.parseInt(string,radix?)
5.2.2.1Number.parseInt(): hexadecimal number literals

Number.parseInt() provides special support for the hexadecimal literal notation – the prefix0x (or0X) ofstring is removed if:

For example:

> Number.parseInt('0xFF')255> Number.parseInt('0xFF', 0)255> Number.parseInt('0xFF', 16)255

In all other cases, digits are only parsed until the first non-digit:

> Number.parseInt('0xFF', 10)0> Number.parseInt('0xFF', 17)0
5.2.2.2Number.parseInt(): binary and octal number literals

However,Number.parseInt() does not have special support for binary or octal literals!

> Number.parseInt('0b111')0> Number.parseInt('0b111', 2)0> Number.parseInt('111', 2)7> Number.parseInt('0o10')0> Number.parseInt('0o10', 8)0> Number.parseInt('10', 8)8

If you want to parse these kinds of literals, you need to useNumber():

> Number('0b111')7> Number('0o10')8

Number.parseInt() works fine with numbers that have a different base, as long as there is no special prefix and the parameterradix is provided:

> Number.parseInt('111', 2)7> Number.parseInt('10', 8)8

5.3New staticNumber properties

This section describes new properties that the constructorNumber has picked up in ECMAScript 6.

5.3.1Previously global functions

Four number-related functions are already available as global functions and have been added toNumber, as methods:isFinite andisNaN,parseFloat andparseInt. All of them work almost the same as their global counterparts, butisFinite andisNaN don’t coerce their arguments to numbers, anymore, which is especially important forisNaN. The following subsections explain all the details.

5.3.1.1Number.isFinite(number)

Number.isFinite(number) determines whethernumber is an actual number (neitherInfinity nor-Infinity norNaN):

> Number.isFinite(Infinity)false> Number.isFinite(-Infinity)false> Number.isFinite(NaN)false> Number.isFinite(123)true

The advantage of this method is that it does not coerce its parameter to number (whereas the global function does):

> Number.isFinite('123')false> isFinite('123')true
5.3.1.2Number.isNaN(number)

Number.isNaN(number) checks whethernumber is the valueNaN.

One ES5 way of making this check is via!==:

> const x = NaN;> x !== xtrue

A more descriptive way is via the global functionisNaN():

> const x = NaN;> isNaN(x)true

However, this function coerces non-numbers to numbers and returnstrue if the result isNaN (which is usually not what you want):

> isNaN('???')true

The new methodNumber.isNaN() does not exhibit this problem, because it does not coerce its arguments to numbers:

> Number.isNaN('???')false
5.3.1.3Number.parseFloat andNumber.parseInt

The following two methods work exactly like the global functions with the same names. They were added toNumber for completeness sake; now all number-related functions are available there.

5.3.2Number.EPSILON

Especially with decimal fractions, rounding errors can become a problem in JavaScript3. For example, 0.1 and 0.2 can’t be represented precisely, which you notice if you add them and compare them to 0.3 (which can’t be represented precisely, either).

> 0.1 + 0.2 === 0.3false

Number.EPSILON specifies a reasonable margin of error when comparing floating point numbers. It provides a better way to compare floating point values, as demonstrated by the following function.

functionepsEqu(x,y){returnMath.abs(x-y)<Number.EPSILON;}console.log(epsEqu(0.1+0.2,0.3));// true

5.3.3Number.isInteger(number)

JavaScript has only floating point numbers (doubles). Accordingly, integers are simply floating point numbers without a decimal fraction.

Number.isInteger(number) returnstrue ifnumber is a number and does not have a decimal fraction.

> Number.isInteger(-17)true> Number.isInteger(33)true> Number.isInteger(33.1)false> Number.isInteger('33')false> Number.isInteger(NaN)false> Number.isInteger(Infinity)false

5.3.4Safe integers

JavaScript numbers have only enough storage space to represent 53 bit signed integers. That is, integersi in the range −253 <i < 253 aresafe. What exactly that means is explained momentarily. The following properties help determine whether a JavaScript integer is safe:

The notion ofsafe integers centers on how mathematical integers are represented in JavaScript. In the range (−253, 253) (excluding the lower and upper bounds), JavaScript integers aresafe: there is a one-to-one mapping between them and the mathematical integers they represent.

Beyond this range, JavaScript integers areunsafe: two or more mathematical integers are represented as the same JavaScript integer. For example, starting at 253, JavaScript can represent only every second mathematical integer:

> Math.pow(2, 53)9007199254740992> 90071992547409929007199254740992> 90071992547409939007199254740992> 90071992547409949007199254740994> 90071992547409959007199254740996> 90071992547409969007199254740996> 90071992547409979007199254740996

Therefore, a safe JavaScript integer is one that unambiguously represents a single mathematical integer.

5.3.4.1StaticNumber properties related to safe integers

The two staticNumber properties specifying the lower and upper bound of safe integers could be defined as follows:

Number.MAX_SAFE_INTEGER=Math.pow(2,53)-1;Number.MIN_SAFE_INTEGER=-Number.MAX_SAFE_INTEGER;

Number.isSafeInteger() determines whether a JavaScript number is a safe integer and could be defined as follows:

Number.isSafeInteger=function(n){return(typeofn==='number'&&Math.round(n)===n&&Number.MIN_SAFE_INTEGER<=n&&n<=Number.MAX_SAFE_INTEGER);}

For a given valuen, this function first checks whethern is a number and an integer. If both checks succeed,n is safe if it is greater than or equal toMIN_SAFE_INTEGER and less than or equal toMAX_SAFE_INTEGER.

5.3.4.2When are computations with integers correct?

How can we make sure that results of computations with integers are correct? For example, the following result is clearly not correct:

> 9007199254740990 + 39007199254740992

We have two safe operands, but an unsafe result:

> Number.isSafeInteger(9007199254740990)true> Number.isSafeInteger(3)true> Number.isSafeInteger(9007199254740992)false

The following result is also incorrect:

> 9007199254740995 - 109007199254740986

This time, the result is safe, but one of the operands isn’t:

> Number.isSafeInteger(9007199254740995)false> Number.isSafeInteger(10)true> Number.isSafeInteger(9007199254740986)true

Therefore, the result of applying an integer operatorop is guaranteed to be correct only if all operands and the result are safe. More formally:

isSafeInteger(a)&&isSafeInteger(b)&&isSafeInteger(aopb)

implies thata op b is a correct result.

Source of this section

Clarify integer and safe integer resolution”, email by Mark S. Miller to the es-discuss mailing list.

5.4NewMath functionality

The global objectMath has several new methods in ECMAScript 6.

5.4.1Various numerical functionality

5.4.1.1Math.sign(x)

Math.sign(x) returns:

Examples:

> Math.sign(-8)-1> Math.sign(3)1> Math.sign(0)0> Math.sign(NaN)NaN> Math.sign(-Infinity)-1> Math.sign(Infinity)1
5.4.1.2Math.trunc(x)

Math.trunc(x) removes the decimal fraction ofx. Complements the other rounding methodsMath.floor(),Math.ceil() andMath.round().

> Math.trunc(3.1)3> Math.trunc(3.9)3> Math.trunc(-3.1)-3> Math.trunc(-3.9)-3

You could implementMath.trunc() like this:

functiontrunc(x){returnMath.sign(x)*Math.floor(Math.abs(x));}
5.4.1.3Math.cbrt(x)

Math.cbrt(x) returns the cube root ofx (∛x).

> Math.cbrt(8)2

5.4.2Using 0 instead of 1 with exponentiation and logarithm

A small fraction can be represented more precisely if it comes after zero. I’ll demonstrate this with decimal fractions (JavaScript’s numbers are internally stored with base 2, but the same reasoning applies).

Floating point numbers with base 10 are internally represented asmantissa × 10exponent. Themantissa has a single digit before the decimal dot and theexponent “moves” the dot as necessary. That means if you convert a small fraction to the internal representation, a zero before the dot leads to a smaller mantissa than a one before the dot. For example:

Precision-wise, the important quantity here is the capacity of the mantissa, as measured in significant digits. That’s why (A) gives you higher precision than (B).

Additionally, JavaScript represents numbers close to zero (e.g. small fractions) with higher precision.

5.4.2.1Math.expm1(x)

Math.expm1(x) returnsMath.exp(x)-1. The inverse ofMath.log1p().

Therefore, this method provides higher precision wheneverMath.exp() has results close to 1. You can see the difference between the two in the following interaction:

> Math.expm1(1e-10)1.00000000005e-10> Math.exp(1e-10)-11.000000082740371e-10

The former is the better result, which you can verify by using a library (such asdecimal.js) for floating point numbers with arbitrary precision (“bigfloats”):

>varDecimal=require('decimal.js').config({precision:50});>newDecimal(1e-10).exp().minus(1).toString()'1.000000000050000000001666666666708333333e-10'
5.4.2.2Math.log1p(x)

Math.log1p(x) returnsMath.log(1 + x). The inverse ofMath.expm1().

Therefore, this method lets you specify parameters that are close to 1 with a higher precision. The following examples demonstrate why that is.

The following two calls oflog() produce the same result:

> Math.log(1 + 1e-16)0> Math.log(1 + 0)0

In contrast,log1p() produces different results:

> Math.log1p(1e-16)1e-16> Math.log1p(0)0

The reason for the higher precision ofMath.log1p() is that the correct result for1 + 1e-16 has more significant digits than1e-16:

> 1 + 1e-16 === 1true> 1e-16 === 0false

5.4.3Logarithms to base 2 and 10

5.4.3.1Math.log2(x)

Math.log2(x) computes the logarithm to base 2.

> Math.log2(8)3
5.4.3.2Math.log10(x)

Math.log10(x) computes the logarithm to base 10.

> Math.log10(100)2

5.4.4Support for compiling to JavaScript

Emscripten pioneered a coding style that was later picked up byasm.js: The operations of a virtual machine (think bytecode) are expressed in static subset of JavaScript. That subset can be executed efficiently by JavaScript engines: If it is the result of a compilation from C++, it runs at about 70% of native speed.

The followingMath methods were mainly added to support asm.js and similar compilation strategies, they are not that useful for other applications.

5.4.4.1Math.fround(x)

Math.fround(x) roundsx to a 32 bit floating point value (float). Used by asm.js to tell an engine to internally use afloat value.

5.4.4.2Math.imul(x, y)

Math.imul(x, y) multiplies the two 32 bit integersx andy and returns the lower 32 bits of the result. This is the only 32 bit basic math operation that can’t be simulated by using a JavaScript operator and coercing the result back to 32 bits. For example,idiv could be implemented as follows:

functionidiv(x,y){return(x/y)|0;}

In contrast, multiplying two large 32 bit integers may produce a double that is so large that lower bits are lost.

5.4.5Bitwise operations

Why is this interesting? Quoting “Fast, Deterministic, and Portable Counting Leading Zeros” by Miro Samek:

Counting leading zeros in an integer number is a critical operation in many DSP algorithms, such as normalization of samples in sound or video processing, as well as in real-time schedulers to quickly find the highest-priority task ready-to-run.

5.4.6Trigonometric methods

5.5FAQ: numbers

5.5.1How can I use integers beyond JavaScript’s 53 bit range?

JavaScript’s integers have a range of 53 bits. That is a problem whenever 64 bit integers are needed. For example: In its JSON API, Twitter had to switch from integers to strings when tweet IDs became too large.

At the moment, the only way around that limitation is to use a library for higher-precision numbers (bigints or bigfloats). One such library isdecimal.js.

Plans to support larger integers in JavaScript exist, but may take a while to come to fruition.

Next:6. New string features

[8]ページ先頭

©2009-2025 Movatter.jp