ES6加強(qiáng)了對(duì)Unicode的支持，并且擴(kuò)展了字符串對(duì)象。

字符的Unicode表示法:

JavaScript允許采用\uxxxx形式表示一個(gè)字符，其中“xxxx”表示字符的碼點(diǎn)。

"\u0061"
// "a"

但是，這種表示法只限于\u0000——\uFFFF之間的字符。超出這個(gè)范圍的字符，必須用兩個(gè)雙字節(jié)的形式表達(dá)。

"\uD842\uDFB7"
// "??"

"\u20BB7"
// " 7"

上面代碼表示，如果直接在\u后面跟上超過(guò)0xFFFF的數(shù)值（比如\u20BB7），JavaScript會(huì)理解成\u20BB+7。由于\u20BB是一個(gè)不可打印字符，所以只會(huì)顯示一個(gè)空格，后面跟著一個(gè)7。

ES6 對(duì)這一點(diǎn)做出了改進(jìn)，只要將碼點(diǎn)放入大括號(hào)，就能正確解讀該字符。

"\u{20BB7}"
// "??"

"\u{41}\u{42}\u{43}"
// "ABC"

let hello = 123;
hell\u{6F} // 123

'\u{1F680}' === '\uD83D\uDE80'
// true

上面代碼中，最后一個(gè)例子表明，大括號(hào)表示法與四字節(jié)的UTF-16編碼是等價(jià)的。

有了這種表示法之后，JavaScript共有6種方法可以表示一個(gè)字符。

'\z' === 'z'  // true
'\172' === 'z' // true
'\x7A' === 'z' // true
'\u007A' === 'z' // true
'\u{7A}' === 'z' // true

codePointAt()

JavaScript內(nèi)部，字符以UTF-16的格式儲(chǔ)存，每個(gè)字符固定為2個(gè)字節(jié)。對(duì)于那些需要4個(gè)字節(jié)儲(chǔ)存的字符（Unicode碼點(diǎn)大于0xFFFF的字符），JavaScript會(huì)認(rèn)為它們是兩個(gè)字符。

var s = "??";

s.length // 2
s.charAt(0) // ''
s.charAt(1) // ''
s.charCodeAt(0) // 55362
s.charCodeAt(1) // 57271

上面代碼中，漢字“??”（注意，這個(gè)字不是”吉祥“的”吉“）的碼點(diǎn)是0x20BB7，UTF-16編碼為0xD842 0xDFB7（十進(jìn)制為55362 57271），需要4個(gè)字節(jié)儲(chǔ)存。對(duì)于這種4個(gè)字節(jié)的字符，JavaScript不能正確處理，字符串長(zhǎng)度會(huì)誤判為2，而且charAt方法無(wú)法讀取整個(gè)字符，charCodeAt方法只能分別返回前兩個(gè)字節(jié)和后兩個(gè)字節(jié)的值。

ES6提供了codePointAt方法，能夠正確處理4個(gè)字節(jié)儲(chǔ)存的字符，返回一個(gè)字符的碼點(diǎn)。

var s = '??a';

s.codePointAt(0) // 134071
s.codePointAt(1) // 57271

s.codePointAt(2) // 97

codePointAt方法的參數(shù)，是字符在字符串中的位置（從0開(kāi)始）。上面代碼中，JavaScript將“??a”視為三個(gè)字符，codePointAt方法在第一個(gè)字符上，正確地識(shí)別了“??”，返回了它的十進(jìn)制碼點(diǎn)134071（即十六進(jìn)制的20BB7）。在第二個(gè)字符（即“??”的后兩個(gè)字節(jié)）和第三個(gè)字符“a”上，codePointAt方法的結(jié)果與charCodeAt方法相同。

總之，codePointAt方法會(huì)正確返回32位的UTF-16字符的碼點(diǎn)。對(duì)于那些兩個(gè)字節(jié)儲(chǔ)存的常規(guī)字符，它的返回結(jié)果與charCodeAt方法相同。

codePointAt方法返回的是碼點(diǎn)的十進(jìn)制值，如果想要十六進(jìn)制的值，可以使用toString方法轉(zhuǎn)換一下。

var s = '??a';

s.codePointAt(0).toString(16) // "20bb7"
s.codePointAt(2).toString(16) // "61"

你可能注意到了，codePointAt方法的參數(shù)，仍然是不正確的。比如，上面代碼中，字符a在字符串s的正確位置序號(hào)應(yīng)該是1，但是必須向codePointAt方法傳入2。解決這個(gè)問(wèn)題的一個(gè)辦法是使用for...of循環(huán)，因?yàn)樗鼤?huì)正確識(shí)別32位的UTF-16字符。

var s = '??a';
for (let ch of s) {
  console.log(ch.codePointAt(0).toString(16));
}
// 20bb7
// 61

codePointAt方法是測(cè)試一個(gè)字符由兩個(gè)字節(jié)還是由四個(gè)字節(jié)組成的最簡(jiǎn)單方法。

function is32Bit(c) {
  return c.codePointAt(0) > 0xFFFF;
}

is32Bit("??") // true
is32Bit("a") // false

String.fromCodePoint()

ES5提供String.fromCharCode方法，用于從碼點(diǎn)返回對(duì)應(yīng)字符，但是這個(gè)方法不能識(shí)別32位的UTF-16字符（Unicode編號(hào)大于0xFFFF）。

String.fromCharCode(0x20BB7)
// "?"

上面代碼中，String.fromCharCode不能識(shí)別大于0xFFFF的碼點(diǎn)，所以0x20BB7就發(fā)生了溢出，最高位2被舍棄了，最后返回碼點(diǎn)U+0BB7對(duì)應(yīng)的字符，而不是碼點(diǎn)U+20BB7對(duì)應(yīng)的字符。

ES6提供了String.fromCodePoint方法，可以識(shí)別0xFFFF的字符，彌補(bǔ)了String.fromCharCode方法的不足。在作用上，正好與codePointAt方法相反。

String.fromCodePoint(0x20BB7)
// "??"
String.fromCodePoint(0x78, 0x1f680, 0x79) === 'x\uD83D\uDE80y'
// true

上面代碼中，如果String.fromCodePoint方法有多個(gè)參數(shù)，則它們會(huì)被合并成一個(gè)字符串返回。

注意，fromCodePoint方法定義在String對(duì)象上，而codePointAt方法定義在字符串的實(shí)例對(duì)象上。

字符串的遍歷器接口

ES6為字符串添加了遍歷器接口（詳見(jiàn)《Iterator》一章），使得字符串可以被for...of循環(huán)遍歷。

for (let codePoint of 'foo') {
  console.log(codePoint)
}
// "f"
// "o"
// "o"

除了遍歷字符串，這個(gè)遍歷器最大的優(yōu)點(diǎn)是可以識(shí)別大于0xFFFF的碼點(diǎn)，傳統(tǒng)的for循環(huán)無(wú)法識(shí)別這樣的碼點(diǎn)。

var text = String.fromCodePoint(0x20BB7);

for (let i = 0; i < text.length; i++) {
  console.log(text[i]);
}
// " "
// " "

for (let i of text) {
  console.log(i);
}
// "??"

上面代碼中，字符串text只有一個(gè)字符，但是for循環(huán)會(huì)認(rèn)為它包含兩個(gè)字符（都不可打印），而for...of循環(huán)會(huì)正確識(shí)別出這一個(gè)字符。

at()

ES5對(duì)字符串對(duì)象提供charAt方法，返回字符串給定位置的字符。該方法不能識(shí)別碼點(diǎn)大于0xFFFF的字符。

'abc'.charAt(0) // "a"
'??'.charAt(0) // "\uD842"

上面代碼中，charAt方法返回的是UTF-16編碼的第一個(gè)字節(jié)，實(shí)際上是無(wú)法顯示的。

目前，有一個(gè)提案，提出字符串實(shí)例的at方法，可以識(shí)別Unicode編號(hào)大于0xFFFF的字符，返回正確的字符。

'abc'.at(0) // "a"
'??'.at(0) // "??"

這個(gè)方法可以通過(guò)墊片庫(kù)實(shí)現(xiàn)。

normalize()

許多歐洲語(yǔ)言有語(yǔ)調(diào)符號(hào)和重音符號(hào)。為了表示它們，Unicode提供了兩種方法。一種是直接提供帶重音符號(hào)的字符，比如ǒ（\u01D1）。另一種是提供合成符號(hào)（combining character），即原字符與重音符號(hào)的合成，兩個(gè)字符合成一個(gè)字符，比如O（\u004F）和ˇ（\u030C）合成ǒ（\u004F\u030C）。

這兩種表示方法，在視覺(jué)和語(yǔ)義上都等價(jià)，但是JavaScript不能識(shí)別。

'\u01D1'==='\u004F\u030C' //false

'\u01D1'.length // 1
'\u004F\u030C'.length // 2

上面代碼表示，JavaScript將合成字符視為兩個(gè)字符，導(dǎo)致兩種表示方法不相等。

ES6提供字符串實(shí)例的normalize()方法，用來(lái)將字符的不同表示方法統(tǒng)一為同樣的形式，這稱為Unicode正規(guī)化。

'\u01D1'.normalize() === '\u004F\u030C'.normalize()
// true

normalize方法可以接受一個(gè)參數(shù)來(lái)指定normalize的方式，參數(shù)的四個(gè)可選值如下。

• NFC，默認(rèn)參數(shù)，表示“標(biāo)準(zhǔn)等價(jià)合成”（Normalization Form Canonical Composition），返回多個(gè)簡(jiǎn)單字符的合成字符。所謂“標(biāo)準(zhǔn)等價(jià)”指的是視覺(jué)和語(yǔ)義上的等價(jià)。
• NFD，表示“標(biāo)準(zhǔn)等價(jià)分解”（Normalization Form Canonical Decomposition），即在標(biāo)準(zhǔn)等價(jià)的前提下，返回合成字符分解的多個(gè)簡(jiǎn)單字符。
• NFKC，表示“兼容等價(jià)合成”（Normalization Form Compatibility Composition），返回合成字符。所謂“兼容等價(jià)”指的是語(yǔ)義上存在等價(jià)，但視覺(jué)上不等價(jià)，比如“囍”和“喜喜”。（這只是用來(lái)舉例，normalize方法不能識(shí)別中文。）
• NFKD，表示“兼容等價(jià)分解”（Normalization Form Compatibility Decomposition），即在兼容等價(jià)的前提下，返回合成字符分解的多個(gè)簡(jiǎn)單字符。

'\u004F\u030C'.normalize('NFC').length // 1
'\u004F\u030C'.normalize('NFD').length // 2

上面代碼表示，NFC參數(shù)返回字符的合成形式，NFD參數(shù)返回字符的分解形式。

不過(guò)，normalize方法目前不能識(shí)別三個(gè)或三個(gè)以上字符的合成。這種情況下，還是只能使用正則表達(dá)式，通過(guò)Unicode編號(hào)區(qū)間判斷。

includes(), startsWith(), endsWith()

傳統(tǒng)上，JavaScript只有indexOf方法，可以用來(lái)確定一個(gè)字符串是否包含在另一個(gè)字符串中。ES6又提供了三種新方法。

• includes()：返回布爾值，表示是否找到了參數(shù)字符串。
• startsWith()：返回布爾值，表示參數(shù)字符串是否在源字符串的頭部。
• endsWith()：返回布爾值，表示參數(shù)字符串是否在源字符串的尾部。

var s = 'Hello world!';

s.startsWith('Hello') // true
s.endsWith('!') // true
s.includes('o') // true

這三個(gè)方法都支持第二個(gè)參數(shù)，表示開(kāi)始搜索的位置。

var s = 'Hello world!';

s.startsWith('world', 6) // true
s.endsWith('Hello', 5) // true
s.includes('Hello', 6) // false

上面代碼表示，使用第二個(gè)參數(shù)n時(shí)，endsWith的行為與其他兩個(gè)方法有所不同。它針對(duì)前n個(gè)字符，而其他兩個(gè)方法針對(duì)從第n個(gè)位置直到字符串結(jié)束。

repeat()

repeat方法返回一個(gè)新字符串，表示將原字符串重復(fù)n次。

'x'.repeat(3) // "xxx"
'hello'.repeat(2) // "hellohello"
'na'.repeat(0) // ""

參數(shù)如果是小數(shù)，會(huì)被取整。

'na'.repeat(2.9) // "nana"

如果repeat的參數(shù)是負(fù)數(shù)或者Infinity，會(huì)報(bào)錯(cuò)。

'na'.repeat(Infinity)
// RangeError
'na'.repeat(-1)
// RangeError

但是，如果參數(shù)是0到-1之間的小數(shù)，則等同于0，這是因?yàn)闀?huì)先進(jìn)行取整運(yùn)算。0到-1之間的小數(shù)，取整以后等于-0，repeat視同為0。

'na'.repeat(-0.9) // ""

參數(shù)NaN等同于0。

'na'.repeat(NaN) // ""

如果repeat的參數(shù)是字符串，則會(huì)先轉(zhuǎn)換成數(shù)字。

'na'.repeat('na') // ""
'na'.repeat('3') // "nanana"

padStart()，padEnd()

ES7推出了字符串補(bǔ)全長(zhǎng)度的功能。如果某個(gè)字符串不夠指定長(zhǎng)度，會(huì)在頭部或尾部補(bǔ)全。padStart用于頭部補(bǔ)全，padEnd用于尾部補(bǔ)全。

'x'.padStart(5, 'ab') // 'ababx'
'x'.padStart(4, 'ab') // 'abax'

'x'.padEnd(5, 'ab') // 'xabab'
'x'.padEnd(4, 'ab') // 'xaba'

上面代碼中，padStart和padEnd一共接受兩個(gè)參數(shù)，第一個(gè)參數(shù)用來(lái)指定字符串的最小長(zhǎng)度，第二個(gè)參數(shù)是用來(lái)補(bǔ)全的字符串。

如果原字符串的長(zhǎng)度，等于或大于指定的最小長(zhǎng)度，則返回原字符串。

'xxx'.padStart(2, 'ab') // 'xxx'
'xxx'.padEnd(2, 'ab') // 'xxx'

如果用來(lái)補(bǔ)全的字符串與原字符串，兩者的長(zhǎng)度之和超過(guò)了指定的最小長(zhǎng)度，則會(huì)截去超出位數(shù)的補(bǔ)全字符串。

'abc'.padStart(10, '0123456789')
// '0123456abc'

如果省略第二個(gè)參數(shù)，則會(huì)用空格補(bǔ)全長(zhǎng)度。

'x'.padStart(4) // '   x'
'x'.padEnd(4) // 'x   '

padStart的常見(jiàn)用途是為數(shù)值補(bǔ)全指定位數(shù)。下面代碼生成10位的數(shù)值字符串。

'1'.padStart(10, '0') // "0000000001"
'12'.padStart(10, '0') // "0000000012"
'123456'.padStart(10, '0') // "0000123456"

另一個(gè)用途是提示字符串格式。

'12'.padStart(10, 'YYYY-MM-DD') // "YYYY-MM-12"
'09-12'.padStart(10, 'YYYY-MM-DD') // "YYYY-09-12"

模板字符串

傳統(tǒng)的JavaScript語(yǔ)言，輸出模板通常是這樣寫(xiě)的。

$('#result').append(
  'There are <b>' + basket.count + '</b> ' +
  'items in your basket, ' +
  '<em>' + basket.onSale +
  '</em> are on sale!'
);

上面這種寫(xiě)法相當(dāng)繁瑣不方便，ES6引入了模板字符串解決這個(gè)問(wèn)題。

$('#result').append(`
  There are <b>${basket.count}</b> items
   in your basket, <em>${basket.onSale}</em>
  are on sale!
`);

模板字符串（template string）是增強(qiáng)版的字符串，用反引號(hào)（`）標(biāo)識(shí)。它可以當(dāng)作普通字符串使用，也可以用來(lái)定義多行字符串，或者在字符串中嵌入變量。

// 普通字符串
`In JavaScript '\n' is a line-feed.`

// 多行字符串
`In JavaScript this is
 not legal.`

console.log(`string text line 1
string text line 2`);

// 字符串中嵌入變量
var name = "Bob", time = "today";
`Hello ${name}, how are you ${time}?`

上面代碼中的模板字符串，都是用反引號(hào)表示。如果在模板字符串中需要使用反引號(hào)，則前面要用反斜杠轉(zhuǎn)義。

var greeting = `\`Yo\` World!`;

如果使用模板字符串表示多行字符串，所有的空格和縮進(jìn)都會(huì)被保留在輸出之中。

$('#list').html(`
<ul>
  <li>first</li>
  <li>second</li>
</ul>
`);

上面代碼中，所有模板字符串的空格和換行，都是被保留的，比如<ul>標(biāo)簽前面會(huì)有一個(gè)換行。如果你不想要這個(gè)換行，可以使用trim方法消除它。

$('#list').html(`
<ul>
  <li>first</li>
  <li>second</li>
</ul>
`.trim());

模板字符串中嵌入變量，需要將變量名寫(xiě)在${}之中。

function authorize(user, action) {
  if (!user.hasPrivilege(action)) {
    throw new Error(
      // 傳統(tǒng)寫(xiě)法為
      // 'User '
      // + user.name
      // + ' is not authorized to do '
      // + action
      // + '.'
      `User ${user.name} is not authorized to do ${action}.`);
  }
}

大括號(hào)內(nèi)部可以放入任意的JavaScript表達(dá)式，可以進(jìn)行運(yùn)算，以及引用對(duì)象屬性。

var x = 1;
var y = 2;

`${x} + ${y} = ${x + y}`
// "1 + 2 = 3"

`${x} + ${y * 2} = ${x + y * 2}`
// "1 + 4 = 5"

var obj = {x: 1, y: 2};
`${obj.x + obj.y}`
// 3

模板字符串之中還能調(diào)用函數(shù)。

function fn() {
  return "Hello World";
}

`foo ${fn()} bar`
// foo Hello World bar

如果大括號(hào)中的值不是字符串，將按照一般的規(guī)則轉(zhuǎn)為字符串。比如，大括號(hào)中是一個(gè)對(duì)象，將默認(rèn)調(diào)用對(duì)象的toString方法。

如果模板字符串中的變量沒(méi)有聲明，將報(bào)錯(cuò)。

// 變量place沒(méi)有聲明
var msg = `Hello, ${place}`;
// 報(bào)錯(cuò)

由于模板字符串的大括號(hào)內(nèi)部，就是執(zhí)行JavaScript代碼，因此如果大括號(hào)內(nèi)部是一個(gè)字符串，將會(huì)原樣輸出。

`Hello ${'World'}`
// "Hello World"

模板字符串甚至還能嵌套。

const tmpl = addrs => `
  <table>
  ${addrs.map(addr => `
    <tr><td>${addr.first}</td></tr>
    <tr><td>${addr.last}</td></tr>
  `).join('')}
  </table>
`;

上面代碼中，模板字符串的變量之中，又嵌入了另一個(gè)模板字符串，使用方法如下。

const data = [
    { first: '<Jane>', last: 'Bond' },
    { first: 'Lars', last: '<Croft>' },
];

console.log(tmpl(data));
// <table>
//
//   <tr><td><Jane></td></tr>
//   <tr><td>Bond</td></tr>
//
//   <tr><td>Lars</td></tr>
//   <tr><td><Croft></td></tr>
//
// </table>

如果需要引用模板字符串本身，在需要時(shí)執(zhí)行，可以像下面這樣寫(xiě)。

// 寫(xiě)法一
let str = 'return ' + '`Hello ${name}!`';
let func = new Function('name', str);
func('Jack') // "Hello Jack!"

// 寫(xiě)法二
let str = '(name) => `Hello ${name}!`';
let func = eval.call(null, str);
func('Jack') // "Hello Jack!"

實(shí)例：模板編譯

下面，我們來(lái)看一個(gè)通過(guò)模板字符串，生成正式模板的實(shí)例。

var template = `
<ul>
  <% for(var i=0; i < data.supplies.length; i++) { %>
    <li><%= data.supplies[i] %></li>
  <% } %>
</ul>
`;

上面代碼在模板字符串之中，放置了一個(gè)常規(guī)模板。該模板使用<%...%>放置JavaScript代碼，使用<%= ... %>輸出JavaScript表達(dá)式。

怎么編譯這個(gè)模板字符串呢？

一種思路是將其轉(zhuǎn)換為JavaScript表達(dá)式字符串。

echo('<ul>');
for(var i=0; i < data.supplies.length; i++) {
  echo('<li>');
  echo(data.supplies[i]);
  echo('</li>');
};
echo('</ul>');

這個(gè)轉(zhuǎn)換使用正則表達(dá)式就行了。

var evalExpr = /<%=(.+?)%>/g;
var expr = /<%([\s\S]+?)%>/g;

template = template
  .replace(evalExpr, '`); \n  echo( $1 ); \n  echo(`')
  .replace(expr, '`); \n $1 \n  echo(`');

template = 'echo(`' + template + '`);';

然后，將template封裝在一個(gè)函數(shù)里面返回，就可以了。

var script =
`(function parse(data){
  var output = "";

  function echo(html){
    output += html;
  }

  ${ template }

  return output;
})`;

return script;

將上面的內(nèi)容拼裝成一個(gè)模板編譯函數(shù)compile。

function compile(template){
  var evalExpr = /<%=(.+?)%>/g;
  var expr = /<%([\s\S]+?)%>/g;

  template = template
    .replace(evalExpr, '`); \n  echo( $1 ); \n  echo(`')
    .replace(expr, '`); \n $1 \n  echo(`');

  template = 'echo(`' + template + '`);';

  var script =
  `(function parse(data){
    var output = "";

    function echo(html){
      output += html;
    }

    ${ template }

    return output;
  })`;

  return script;
}

compile函數(shù)的用法如下。

var parse = eval(compile(template));
div.innerHTML = parse({ supplies: [ "broom", "mop", "cleaner" ] });
//   <ul>
//     <li>broom</li>
//     <li>mop</li>
//     <li>cleaner</li>
//   </ul>

標(biāo)簽?zāi)０?/h2>

模板字符串的功能，不僅僅是上面這些。它可以緊跟在一個(gè)函數(shù)名后面，該函數(shù)將被調(diào)用來(lái)處理這個(gè)模板字符串。這被稱為“標(biāo)簽?zāi)０濉惫δ埽╰agged template）。

alert`123`
// 等同于
alert(123)

標(biāo)簽?zāi)０迤鋵?shí)不是模板，而是函數(shù)調(diào)用的一種特殊形式。“標(biāo)簽”指的就是函數(shù)，緊跟在后面的模板字符串就是它的參數(shù)。

但是，如果模板字符里面有變量，就不是簡(jiǎn)單的調(diào)用了，而是會(huì)將模板字符串先處理成多個(gè)參數(shù)，再調(diào)用函數(shù)。

var a = 5;
var b = 10;

tag`Hello ${ a + b } world ${ a * b }`;
// 等同于
tag(['Hello ', ' world ', ''], 15, 50);

上面代碼中，模板字符串前面有一個(gè)標(biāo)識(shí)名tag，它是一個(gè)函數(shù)。整個(gè)表達(dá)式的返回值，就是tag函數(shù)處理模板字符串后的返回值。

函數(shù)tag依次會(huì)接收到多個(gè)參數(shù)。

function tag(stringArr, value1, value2){
  // ...
}

// 等同于

function tag(stringArr, ...values){
  // ...
}

tag函數(shù)的第一個(gè)參數(shù)是一個(gè)數(shù)組，該數(shù)組的成員是模板字符串中那些沒(méi)有變量替換的部分，也就是說(shuō)，變量替換只發(fā)生在數(shù)組的第一個(gè)成員與第二個(gè)成員之間、第二個(gè)成員與第三個(gè)成員之間，以此類推。

tag函數(shù)的其他參數(shù)，都是模板字符串各個(gè)變量被替換后的值。由于本例中，模板字符串含有兩個(gè)變量，因此tag會(huì)接受到value1和value2兩個(gè)參數(shù)。

tag函數(shù)所有參數(shù)的實(shí)際值如下。

• 第一個(gè)參數(shù)：['Hello ', ' world ', '']
• 第二個(gè)參數(shù): 15
• 第三個(gè)參數(shù)：50

也就是說(shuō)，tag函數(shù)實(shí)際上以下面的形式調(diào)用。

tag(['Hello ', ' world ', ''], 15, 50)

我們可以按照需要編寫(xiě)tag函數(shù)的代碼。下面是tag函數(shù)的一種寫(xiě)法，以及運(yùn)行結(jié)果。

var a = 5;
var b = 10;

function tag(s, v1, v2) {
  console.log(s[0]);
  console.log(s[1]);
  console.log(s[2]);
  console.log(v1);
  console.log(v2);

  return "OK";
}

tag`Hello ${ a + b } world ${ a * b}`;
// "Hello "
// " world "
// ""
// 15
// 50
// "OK"

下面是一個(gè)更復(fù)雜的例子。

var total = 30;
var msg = passthru`The total is ${total} (${total*1.05} with tax)`;

function passthru(literals) {
  var result = '';
  var i = 0;

  while (i < literals.length) {
    result += literals[i++];
    if (i < arguments.length) {
      result += arguments[i];
    }
  }

  return result;
}

msg // "The total is 30 (31.5 with tax)"

上面這個(gè)例子展示了，如何將各個(gè)參數(shù)按照原來(lái)的位置拼合回去。

passthru函數(shù)采用rest參數(shù)的寫(xiě)法如下。

function passthru(literals, ...values) {
  var output = "";
  for (var index = 0; index < values.length; index++) {
    output += literals[index] + values[index];
  }

  output += literals[index]
  return output;
}

“標(biāo)簽?zāi)０濉钡囊粋€(gè)重要應(yīng)用，就是過(guò)濾HTML字符串，防止用戶輸入惡意內(nèi)容。

var message =
  SaferHTML`<p>${sender} has sent you a message.</p>`;

function SaferHTML(templateData) {
  var s = templateData[0];
  for (var i = 1; i < arguments.length; i++) {
    var arg = String(arguments[i]);

    // Escape special characters in the substitution.
    s += arg.replace(/&/g, "&amp;")
            .replace(/</g, "&lt;")
            .replace(/>/g, "&gt;");

    // Don't escape special characters in the template.
    s += templateData[i];
  }
  return s;
}

上面代碼中，sender變量往往是用戶提供的，經(jīng)過(guò)SaferHTML函數(shù)處理，里面的特殊字符都會(huì)被轉(zhuǎn)義。

var sender = '<script>alert("abc")</script>'; // 惡意代碼
var message = SaferHTML`<p>${sender} has sent you a message.</p>`;

message
// <p>&lt;script&gt;alert("abc")&lt;/script&gt; has sent you a message.</p>

標(biāo)簽?zāi)０宓牧硪粋€(gè)應(yīng)用，就是多語(yǔ)言轉(zhuǎn)換（國(guó)際化處理）。

i18n`Welcome to ${siteName}, you are visitor number ${visitorNumber}!`
// "歡迎訪問(wèn)xxx，您是第xxxx位訪問(wèn)者！"

模板字符串本身并不能取代Mustache之類的模板庫(kù)，因?yàn)闆](méi)有條件判斷和循環(huán)處理功能，但是通過(guò)標(biāo)簽函數(shù)，你可以自己添加這些功能。

// 下面的hashTemplate函數(shù)
// 是一個(gè)自定義的模板處理函數(shù)
var libraryHtml = hashTemplate`
  <ul>
    #for book in ${myBooks}
      <li><i>#{book.title}</i> by #{book.author}</li>
    #end
  </ul>
`;

除此之外，你甚至可以使用標(biāo)簽?zāi)０澹贘avaScript語(yǔ)言之中嵌入其他語(yǔ)言。

jsx`
  <div>
    <input
      ref='input'
      onChange='${this.handleChange}'
      defaultValue='${this.state.value}' />
      ${this.state.value}
   </div>
`

上面的代碼通過(guò)jsx函數(shù)，將一個(gè)DOM字符串轉(zhuǎn)為React對(duì)象。你可以在Github找到jsx函數(shù)的具體實(shí)現(xiàn)。

下面則是一個(gè)假想的例子，通過(guò)java函數(shù)，在JavaScript代碼之中運(yùn)行Java代碼。

java`
class HelloWorldApp {
  public static void main(String[] args) {
    System.out.println(“Hello World!”); // Display the string.
  }
}
`
HelloWorldApp.main();

模板處理函數(shù)的第一個(gè)參數(shù)（模板字符串?dāng)?shù)組），還有一個(gè)raw屬性。

console.log`123`
// ["123", raw: Array[1]]

上面代碼中，console.log接受的參數(shù)，實(shí)際上是一個(gè)數(shù)組。該數(shù)組有一個(gè)raw屬性，保存的是轉(zhuǎn)義后的原字符串。

請(qǐng)看下面的例子。

tag`First line\nSecond line`

function tag(strings) {
  console.log(strings.raw[0]);
  // "First line\\nSecond line"
}

上面代碼中，tag函數(shù)的第一個(gè)參數(shù)strings，有一個(gè)raw屬性，也指向一個(gè)數(shù)組。該數(shù)組的成員與strings數(shù)組完全一致。比如，strings數(shù)組是["First line\nSecond line"]，那么strings.raw數(shù)組就是["First line\\nSecond line"]。兩者唯一的區(qū)別，就是字符串里面的斜杠都被轉(zhuǎn)義了。比如，strings.raw數(shù)組會(huì)將\n視為\\和n兩個(gè)字符，而不是換行符。這是為了方便取得轉(zhuǎn)義之前的原始模板而設(shè)計(jì)的。

String.raw()

ES6還為原生的String對(duì)象，提供了一個(gè)raw方法。

String.raw方法，往往用來(lái)充當(dāng)模板字符串的處理函數(shù)，返回一個(gè)斜杠都被轉(zhuǎn)義（即斜杠前面再加一個(gè)斜杠）的字符串，對(duì)應(yīng)于替換變量后的模板字符串。

String.raw`Hi\n${2+3}!`;
// "Hi\\n5!"

String.raw`Hi\u000A!`;
// 'Hi\\u000A!'

如果原字符串的斜杠已經(jīng)轉(zhuǎn)義，那么String.raw不會(huì)做任何處理。

String.raw`Hi\\n`
// "Hi\\n"

String.raw的代碼基本如下。

String.raw = function (strings, ...values) {
  var output = "";
  for (var index = 0; index < values.length; index++) {
    output += strings.raw[index] + values[index];
  }

  output += strings.raw[index]
  return output;
}

String.raw方法可以作為處理模板字符串的基本方法，它會(huì)將所有變量替換，而且對(duì)斜杠進(jìn)行轉(zhuǎn)義，方便下一步作為字符串來(lái)使用。

String.raw方法也可以作為正常的函數(shù)使用。這時(shí)，它的第一個(gè)參數(shù)，應(yīng)該是一個(gè)具有raw屬性的對(duì)象，且raw屬性的值應(yīng)該是一個(gè)數(shù)組。

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

// 等同于
String.raw({ raw: ['t','e','s','t'] }, 0, 1, 2);

模板字符串的限制

前面提到標(biāo)簽?zāi)０謇锩妫梢詢?nèi)嵌其他語(yǔ)言。但是，模板字符串默認(rèn)會(huì)將字符串轉(zhuǎn)義，因此導(dǎo)致了無(wú)法嵌入其他語(yǔ)言。

舉例來(lái)說(shuō)，在標(biāo)簽?zāi)０謇锩婵梢郧度隠atex語(yǔ)言。

function latex(strings) {
  // ...
}

let document = latex`
\newcommand{\fun}{\textbf{Fun!}}  // 正常工作
\newcommand{\unicode}{\textbf{Unicode!}} // 報(bào)錯(cuò)
\newcommand{\xerxes}{\textbf{King!}} // 報(bào)錯(cuò)

Breve over the h goes \u{h}ere // 報(bào)錯(cuò)
`

上面代碼中，變量document內(nèi)嵌的模板字符串，對(duì)于Latex語(yǔ)言來(lái)說(shuō)完全是合法的，但是JavaScript引擎會(huì)報(bào)錯(cuò)。原因就在于字符串的轉(zhuǎn)義。

模板字符串會(huì)將\u00FF和\u{42}當(dāng)作Unicode字符進(jìn)行轉(zhuǎn)義，所以\unicode解析時(shí)報(bào)錯(cuò)；而\x56會(huì)被當(dāng)作十六進(jìn)制字符串轉(zhuǎn)義，所以\xerxes會(huì)報(bào)錯(cuò)。

為了解決這個(gè)問(wèn)題，現(xiàn)在有一個(gè)提案，放松對(duì)標(biāo)簽?zāi)０謇锩娴淖址D(zhuǎn)義的限制。如果遇到不合法的字符串轉(zhuǎn)義，就返回undefined，而不是報(bào)錯(cuò)，并且從raw屬性上面可以得到原始字符串。

function tag(strs) {
  strs[0] === undefined
  strs.raw[0] === "\\unicode and \\u{55}";
}
tag`\unicode and \u{55}`

上面代碼中，模板字符串原本是應(yīng)該報(bào)錯(cuò)的，但是由于放松了對(duì)字符串轉(zhuǎn)義的限制，所以不報(bào)錯(cuò)了，JavaScript引擎將第一個(gè)字符設(shè)置為undefined，但是raw屬性依然可以得到原始字符串，因此tag函數(shù)還是可以對(duì)原字符串進(jìn)行處理。

注意，這種對(duì)字符串轉(zhuǎn)義的放松，只在標(biāo)簽?zāi)０褰馕鲎址畷r(shí)生效，不是標(biāo)簽?zāi)０宓膱?chǎng)合，依然會(huì)報(bào)錯(cuò)。

let bad = `bad escape sequence: \unicode`; // 報(bào)錯(cuò)