重学js —— 文本处理——String对象一：构造器上的属性

[lizhongzhen11]

文本处理：String对象一：构造器上的属性

String构造器

• MDN
• 即固有对象 %String%
• 全局对象 "String" 属性的初始值
• 当作为构造器调用时，创建并初始化一个新的String对象
• 当作为普通函数调用时执行类型转行
• 被设计成子类。它可以用作类定义的 extends 子句的值。打算继承指定的 String 行为的子类构造函数必须包括对 String 构造函数的 super 调用，以创建和初始化具有内置插槽 [[StringData]] 的子类实例。

String ( value )

1. 如果 value 不存在，定义 s 为空字符串
2. 否则，
   1. 如果 NewTarget 为 undefined 且 value 是 Symbol 类型，返回 SymbolDescriptiveString(value)
   2. 定义 s 为 ? ToString(value)
3. 如果 NewTarget 为 undefined，返回 s
4. 返回 ! StringCreate(s, ? GetPrototypeFromConstructor(NewTarget, "%String.prototype%"))

String构造器上的属性

• 有 [[Prototype]] 内置插槽，其值为 %Function.prototype%
• 有以下属性：

String.fromCharCode ( ...codeUnits )

• MDN
• 返回由指定的 UTF-16 代码单元序列创建的字符串

1. 定义 codeUnits 为传给该函数的所有参数构成的 List
2. 定义 length 为 codeUnits 中的元素数量
3. 定义 elements 为新的空 List
4. 定义 nextIndex 为 0
5. 当 nextIndex < length 时重复以下操作，
   1. 定义 next 为 codeUnits[nextIndex]
   2. 定义 nextCU 为 ? ToUint16(next)
   3. 把 nextCU 添加到 elements 末尾
   4. 将 nextIndex 设置为 nextIndex + 1
6. 返回字符串值，其顺序为 List elements 中的元素。如果 length 为 0，返回空字符串。

该函数的 "length" 属性值为 1.

String.fromCodePoint ( ...codePoints )

• MDN

1. 定义 codePoints 为传给该函数的所有参数构成的 List
2. 定义 length 为 codePoints 中的元素数量
3. 定义 elements 为新的空 List
4. 定义 nextIndex 为 0
5. 当 nextIndex < length 时重复以下操作，
   1. 定义 next 为 codePoints[nextIndex]
   2. 定义 nextCP 为 ? ToNumber(next)
   3. 如果 nextCP 不是整数，抛 RangeError 异常
   4. 如果 nextCP < 0 或 nextCP > 0x10FFFF，抛 RangeError 异常
   5. 把 nextCP 的 UTF16Encoding 元素添加到 elements 尾部
   6. 将 nextIndex 设置为 nextIndex + 1
6. 返回字符串值，其顺序为List元素中的元素。如果length为0，则返回空字符串。

该函数的 "length" 属性值为 1。

String.prototype

初始值为 %String.prototype%

属性描述符为 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }

String.raw()

• MDN

String.raw`\n` // \n
'\n' // 回车符
`\n` // 回车符

String.raw({ raw: 'test' }, 0, 1, 2); // 't0e1s2t'
String.raw({ a: 'test' }); // 报错

1. 定义 substitutions 为一个由所有传给该函数的参数（从第二个参数开始）组成的 List，如果少于两个参数，则 List 为空
2. 定义 numberOfSubstitutions 为 substitutions 中的元素数量
3. 定义 cooked 为 ? ToObject(next)
4. 定义 raw 为 ? ToObject(? Get(cooked, "raw"))
5. 定义 literalSegments 为 ? LengthOfArrayLike(raw)
6. 如果 literalSegments ≤ 0，返回空字符串
7. 定义 stringElements 为空 List
8. 定义 nextIndex 为 0
9. 重复，
   1. 定义 nextKey 为 ! ToString(nextIndex)
   2. 定义 nextSeg 为 ? ToString(? Get(raw, nextKey))
   3. 按顺序将 nextSeg 的代码单元元素追加到 stringElements 的末尾
   4. 如果 nextIndex + 1 = literalSegments，
      1. 返回字符串值，其代码单元按顺序与 stringElements 中的元素顺序一致。 如果 stringElements 没有元素，则返回空字符串。
   5. 如果 nextIndex < numberOfSubstitutions，定义 next 为 substitutions[nextIndex]
   6. 否则，定义 next 为空字符串
   7. 定义 nextSub 为 ? ToString(next)
   8. 按顺序将 nextSub 的代码单元元素追加到 stringElements 的末尾
   9. 将 nextIndex 设置为 nextIndex + 1

String实例上的属性

length

• { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }

String迭代器对象

CreateStringIterator ( string )

%StringIteratorPrototype% 对象

• 所有String迭代器都继承其属性
• 属于 普通对象
• 有 [[Prototype]] 内置插槽，其值为 %IteratorPrototype%
• 有 %StringIteratorPrototype%.next ( ) 和 %StringIteratorPrototype% [ @@toStringTag ] 属性

String 迭代器实例上的属性

String 迭代器属于 普通对象。继承 %StringIteratorPrototype% 固有对象的属性。还有以下列出的内置插槽：

内置插槽	描述
[[IteratedString]]	要迭代其代码单元的字符串值。
[[StringNextIndex]]	此迭代器要检查的下一个字符串元素（代码单元）的整数索引。