字串的擴展
ES6 加強了對 Unicode 的支援,並且擴展了字串物件。
字元的 Unicode 表示法
JavaScript 允許採用\uxxxx
形式表示一個字元,其中xxxx
表示字元的 Unicode 碼點。
"\u0061"
// "a"
但是,這種表示法只限於碼點在\u0000
~\uFFFF
之間的字元。超出這個範圍的字元,必須用兩個雙位元組的形式表示。
"\uD842\uDFB7"
// "𠮷"
"\u20BB7"
// " 7"
上面程式碼表示,如果直接在\u
後面跟上超過0xFFFF
的數值(比如\u20BB7
),JavaScript會理解成\u20BB+7
。由於\u20BB
是一個不可列印字元,所以只會顯示一個空格,後面跟著一個7
。
ES6 對這一點做出了改進,只要將碼點放入大括號,就能正確解讀該字元。
"\u{20BB7}"
// "𠮷"
"\u{41}\u{42}\u{43}"
// "ABC"
let hello = 123;
hell\u{6F} // 123
'\u{1F680}' === '\uD83D\uDE80'
// true
上面程式碼中,最後一個例子表明,大括號表示法與四位元組的 UTF-16 編碼是等價的。
有了這種表示法之後,JavaScript 共有6種方法可以表示一個字元。
'\z' === 'z' // true
'\172' === 'z' // true
'\x7A' === 'z' // true
'\u007A' === 'z' // true
'\u{7A}' === 'z' // true
codePointAt()
JavaScript內部,字元以UTF-16的格式儲存,每個字元固定為2
個位元組。對於那些需要4
個位元組儲存的字元(Unicode碼點大於0xFFFF
的字元),JavaScript會認為它們是兩個字元。
var s = "𠮷";
s.length // 2
s.charAt(0) // ''
s.charAt(1) // ''
s.charCodeAt(0) // 55362
s.charCodeAt(1) // 57271
上面程式碼中,漢字“𠮷”(注意,這個字不是”吉祥“的”吉“)的碼點是0x20BB7
,UTF-16編碼為0xD842 0xDFB7
(十進位制為55362 57271
),需要4
個位元組儲存。對於這種4
個位元組的字元,JavaScript不能正確處理,字串長度會誤判為2
,而且charAt
方法無法讀取整個字元,charCodeAt
方法只能分別返回前兩個位元組和後兩個位元組的值。
ES6提供了codePointAt
方法,能夠正確處理4個位元組儲存的字元,返回一個字元的碼點。
var s = '𠮷a';
s.codePointAt(0) // 134071
s.codePointAt(1) // 57271
s.codePointAt(2) // 97
codePointAt
方法的引數,是字元在字串中的位置(從0開始)。上面程式碼中,JavaScript將“𠮷a”視為三個字元,codePointAt方法在第一個字元上,正確地識別了“𠮷”,返回了它的十進位制碼點134071(即十六進位制的20BB7
)。在第二個字元(即“𠮷”的後兩個位元組)和第三個字元“a”上,codePointAt
方法的結果與charCodeAt
方法相同。
總之,codePointAt
方法會正確返回32位的UTF-16字元的碼點。對於那些兩個位元組儲存的常規字元,它的返回結果與charCodeAt
方法相同。
codePointAt
方法返回的是碼點的十進位制值,如果想要十六進位制的值,可以使用toString
方法轉換一下。
var s = '𠮷a';
s.codePointAt(0).toString(16) // "20bb7"
s.codePointAt(2).toString(16) // "61"
你可能注意到了,codePointAt
方法的引數,仍然是不正確的。比如,上面程式碼中,字元a
在字串s
的正確位置序號應該是1,但是必須向codePointAt
方法傳入2。解決這個問題的一個辦法是使用for...of
迴圈,因為它會正確識別32位的UTF-16字元。
var s = '𠮷a';
for (let ch of s) {
console.log(ch.codePointAt(0).toString(16));
}
// 20bb7
// 61
codePointAt
方法是測試一個字元由兩個位元組還是由四個位元組組成的最簡單方法。
function is32Bit(c) {
return c.codePointAt(0) > 0xFFFF;
}
is32Bit("𠮷") // true
is32Bit("a") // false
String.fromCodePoint()
ES5提供String.fromCharCode
方法,用於從碼點返回對應字元,但是這個方法不能識別32位的UTF-16字元(Unicode編號大於0xFFFF
)。
String.fromCharCode(0x20BB7)
// "ஷ"
上面程式碼中,String.fromCharCode
不能識別大於0xFFFF
的碼點,所以0x20BB7
就發生了溢位,最高位2
被捨棄了,最後返回碼點U+0BB7
對應的字元,而不是碼點U+20BB7
對應的字元。
ES6提供了String.fromCodePoint
方法,可以識別0xFFFF
的字元,彌補了String.fromCharCode
方法的不足。在作用上,正好與codePointAt
方法相反。
String.fromCodePoint(0x20BB7)
// "𠮷"
String.fromCodePoint(0x78, 0x1f680, 0x79) === 'x\uD83D\uDE80y'
// true
上面程式碼中,如果String.fromCodePoint
方法有多個引數,則它們會被合併成一個字串返回。
注意,fromCodePoint
方法定義在String
物件上,而codePointAt
方法定義在字串的實例物件上。
字串的遍歷器介面
ES6為字串添加了遍歷器介面(詳見《Iterator》一章),使得字串可以被for...of
迴圈遍歷。
for (let codePoint of 'foo') {
console.log(codePoint)
}
// "f"
// "o"
// "o"
除了遍歷字串,這個遍歷器最大的優點是可以識別大於0xFFFF
的碼點,傳統的for
迴圈無法識別這樣的碼點。
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
只有一個字元,但是for
迴圈會認為它包含兩個字元(都不可列印),而for...of
迴圈會正確識別出這一個字元。
at()
ES5對字串物件提供charAt
方法,返回字串給定位置的字元。該方法不能識別碼點大於0xFFFF
的字元。
'abc'.charAt(0) // "a"
'𠮷'.charAt(0) // "\uD842"
上面程式碼中,charAt
方法返回的是UTF-16編碼的第一個位元組,實際上是無法顯示的。
目前,有一個提案,提出字串實例的at
方法,可以識別Unicode編號大於0xFFFF
的字元,返回正確的字元。
'abc'.at(0) // "a"
'𠮷'.at(0) // "𠮷"
這個方法可以通過墊片庫實現。
normalize()
許多歐洲語言有語調符號和重音符號。為了表示它們,Unicode提供了兩種方法。一種是直接提供帶重音符號的字元,比如Ǒ
(\u01D1)。另一種是提供合成符號(combining character),即原字元與重音符號的合成,兩個字符合成一個字元,比如O
(\u004F)和ˇ
(\u030C)合成Ǒ
(\u004F\u030C)。
這兩種表示方法,在視覺和語義上都等價,但是JavaScript不能識別。
'\u01D1'==='\u004F\u030C' //false
'\u01D1'.length // 1
'\u004F\u030C'.length // 2
上面程式碼表示,JavaScript將合成字元視為兩個字元,導致兩種表示方法不相等。
ES6提供字串實例的normalize()
方法,用來將字元的不同表示方法統一為同樣的形式,這稱為Unicode正規化。
'\u01D1'.normalize() === '\u004F\u030C'.normalize()
// true
normalize
方法可以接受一個引數來指定normalize
的方式,引數的四個可選值如下。
NFC
,預設引數,表示“標準等價合成”(Normalization Form Canonical Composition),返回多個簡單字元的合成字元。所謂“標準等價”指的是視覺和語義上的等價。NFD
,表示“標準等價分解”(Normalization Form Canonical Decomposition),即在標準等價的前提下,返回合成字元分解的多個簡單字元。NFKC
,表示“相容等價合成”(Normalization Form Compatibility Composition),返回合成字元。所謂“相容等價”指的是語義上存在等價,但視覺上不等價,比如“囍”和“喜喜”。(這只是用來舉例,normalize
方法不能識別中文。)NFKD
,表示“相容等價分解”(Normalization Form Compatibility Decomposition),即在相容等價的前提下,返回合成字元分解的多個簡單字元。
'\u004F\u030C'.normalize('NFC').length // 1
'\u004F\u030C'.normalize('NFD').length // 2
上面程式碼表示,NFC
引數返回字元的合成形式,NFD
引數返回字元的分解形式。
不過,normalize
方法目前不能識別三個或三個以上字元的合成。這種情況下,還是隻能使用正則表示式,通過Unicode編號區間判斷。
includes(), startsWith(), endsWith()
傳統上,JavaScript只有indexOf
方法,可以用來確定一個字串是否包含在另一個字串中。ES6又提供了三種新方法。
- includes():返回布林值,表示是否找到了引數字串。
- startsWith():返回布林值,表示引數字串是否在源字串的頭部。
- endsWith():返回布林值,表示引數字串是否在源字串的尾部。
var s = 'Hello world!';
s.startsWith('Hello') // true
s.endsWith('!') // true
s.includes('o') // true
這三個方法都支援第二個引數,表示開始搜尋的位置。
var s = 'Hello world!';
s.startsWith('world', 6) // true
s.endsWith('Hello', 5) // true
s.includes('Hello', 6) // false
上面程式碼表示,使用第二個引數n
時,endsWith
的行為與其他兩個方法有所不同。它針對前n
個字元,而其他兩個方法針對從第n
個位置直到字串結束。
repeat()
repeat
方法返回一個新字串,表示將原字串重複n
次。
'x'.repeat(3) // "xxx"
'hello'.repeat(2) // "hellohello"
'na'.repeat(0) // ""
引數如果是小數,會被取整。
'na'.repeat(2.9) // "nana"
如果repeat
的引數是負數或者Infinity
,會報錯。
'na'.repeat(Infinity)
// RangeError
'na'.repeat(-1)
// RangeError
但是,如果引數是0到-1之間的小數,則等同於0,這是因為會先進行取整運算。0到-1之間的小數,取整以後等於-0
,repeat
視同為0。
'na'.repeat(-0.9) // ""
引數NaN
等同於0。
'na'.repeat(NaN) // ""
如果repeat
的引數是字串,則會先轉換成數字。
'na'.repeat('na') // ""
'na'.repeat('3') // "nanana"
padStart(),padEnd()
ES2017 引入了字串補全長度的功能。如果某個字串不夠指定長度,會在頭部或尾部補全。padStart()
用於頭部補全,padEnd()
用於尾部補全。
'x'.padStart(5, 'ab') // 'ababx'
'x'.padStart(4, 'ab') // 'abax'
'x'.padEnd(5, 'ab') // 'xabab'
'x'.padEnd(4, 'ab') // 'xaba'
上面程式碼中,padStart
和padEnd
一共接受兩個引數,第一個引數用來指定字串的最小長度,第二個引數是用來補全的字串。
如果原字串的長度,等於或大於指定的最小長度,則返回原字串。
'xxx'.padStart(2, 'ab') // 'xxx'
'xxx'.padEnd(2, 'ab') // 'xxx'
如果用來補全的字串與原字串,兩者的長度之和超過了指定的最小長度,則會截去超出位數的補全字串。
'abc'.padStart(10, '0123456789')
// '0123456abc'
如果省略第二個引數,預設使用空格補全長度。
'x'.padStart(4) // ' x'
'x'.padEnd(4) // 'x '
padStart
的常見用途是為數值補全指定位數。下面程式碼生成10位的數值字串。
'1'.padStart(10, '0') // "0000000001"
'12'.padStart(10, '0') // "0000000012"
'123456'.padStart(10, '0') // "0000123456"
另一個用途是提示字串格式。
'12'.padStart(10, 'YYYY-MM-DD') // "YYYY-MM-12"
'09-12'.padStart(10, 'YYYY-MM-DD') // "YYYY-09-12"
模板字串
傳統的JavaScript語言,輸出模板通常是這樣寫的。
$('#result').append(
'There are <b>' + basket.count + '</b> ' +
'items in your basket, ' +
'<em>' + basket.onSale +
'</em> are on sale!'
);
上面這種寫法相當繁瑣不方便,ES6引入了模板字串解決這個問題。
$('#result').append(`
There are <b>${basket.count}</b> items
in your basket, <em>${basket.onSale}</em>
are on sale!
`);
模板字串(template string)是增強版的字串,用反引號(`)標識。它可以當作普通字串使用,也可以用來定義多行字串,或者在字串中嵌入變數。
// 普通字串
`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}?`
上面程式碼中的模板字串,都是用反引號表示。如果在模板字串中需要使用反引號,則前面要用反斜槓轉義。
var greeting = `\`Yo\` World!`;
如果使用模板字串表示多行字串,所有的空格和縮排都會被保留在輸出之中。
$('#list').html(`
<ul>
<li>first</li>
<li>second</li>
</ul>
`);
上面程式碼中,所有模板字串的空格和換行,都是被保留的,比如<ul>
標籤前面會有一個換行。如果你不想要這個換行,可以使用trim
方法消除它。
$('#list').html(`
<ul>
<li>first</li>
<li>second</li>
</ul>
`.trim());
模板字串中嵌入變數,需要將變數名寫在${}
之中。
function authorize(user, action) {
if (!user.hasPrivilege(action)) {
throw new Error(
// 傳統寫法為
// 'User '
// + user.name
// + ' is not authorized to do '
// + action
// + '.'
`User ${user.name} is not authorized to do ${action}.`);
}
}
大括號內部可以放入任意的JavaScript表示式,可以進行運算,以及引用物件屬性。
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
模板字串之中還能呼叫函式。
function fn() {
return "Hello World";
}
`foo ${fn()} bar`
// foo Hello World bar
如果大括號中的值不是字串,將按照一般的規則轉為字串。比如,大括號中是一個物件,將預設呼叫物件的toString
方法。
如果模板字串中的變數沒有宣告,將報錯。
// 變數place沒有宣告
var msg = `Hello, ${place}`;
// 報錯
由於模板字串的大括號內部,就是執行JavaScript程式碼,因此如果大括號內部是一個字串,將會原樣輸出。
`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>
`;
上面程式碼中,模板字串的變數之中,又嵌入了另一個模板字串,使用方法如下。
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>
如果需要引用模板字串本身,在需要時執行,可以像下面這樣寫。
// 寫法一
let str = 'return ' + '`Hello ${name}!`';
let func = new Function('name', str);
func('Jack') // "Hello Jack!"
// 寫法二
let str = '(name) => `Hello ${name}!`';
let func = eval.call(null, str);
func('Jack') // "Hello Jack!"
實例:模板編譯
下面,我們來看一個通過模板字串,生成正式模板的實例。
var template = `
<ul>
<% for(var i=0; i < data.supplies.length; i++) { %>
<li><%= data.supplies[i] %></li>
<% } %>
</ul>
`;
上面程式碼在模板字串之中,放置了一個常規模板。該模板使用<%...%>
放置JavaScript程式碼,使用<%= ... %>
輸出JavaScript表示式。
怎麼編譯這個模板字串呢?
一種思路是將其轉換為JavaScript表示式字串。
echo('<ul>');
for(var i=0; i < data.supplies.length; i++) {
echo('<li>');
echo(data.supplies[i]);
echo('</li>');
};
echo('</ul>');
這個轉換使用正則表示式就行了。
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
封裝在一個函式裡面返回,就可以了。
var script =
`(function parse(data){
var output = "";
function echo(html){
output += html;
}
${ template }
return output;
})`;
return script;
將上面的內容拼裝成一個模板編譯函式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
函式的用法如下。
var parse = eval(compile(template));
div.innerHTML = parse({ supplies: [ "broom", "mop", "cleaner" ] });
// <ul>
// <li>broom</li>
// <li>mop</li>
// <li>cleaner</li>
// </ul>
標籤模板
模板字串的功能,不僅僅是上面這些。它可以緊跟在一個函式名後面,該函式將被呼叫來處理這個模板字串。這被稱為“標籤模板”功能(tagged template)。
alert`123`
// 等同於
alert(123)
標籤模板其實不是模板,而是函式呼叫的一種特殊形式。“標籤”指的就是函式,緊跟在後面的模板字串就是它的引數。
但是,如果模板字元裡面有變數,就不是簡單的呼叫了,而是會將模板字串先處理成多個引數,再呼叫函式。
var a = 5;
var b = 10;
tag`Hello ${ a + b } world ${ a * b }`;
// 等同於
tag(['Hello ', ' world ', ''], 15, 50);
上面程式碼中,模板字串前面有一個標識名tag
,它是一個函式。整個表示式的返回值,就是tag
函式處理模板字串後的返回值。
函式tag
依次會接收到多個引數。
function tag(stringArr, value1, value2){
// ...
}
// 等同於
function tag(stringArr, ...values){
// ...
}
tag
函式的第一個引數是一個數組,該陣列的成員是模板字串中那些沒有變數替換的部分,也就是說,變數替換隻發生在陣列的第一個成員與第二個成員之間、第二個成員與第三個成員之間,以此類推。
tag
函式的其他引數,都是模板字串各個變數被替換後的值。由於本例中,模板字串含有兩個變數,因此tag
會接受到value1
和value2
兩個引數。
tag
函式所有引數的實際值如下。
- 第一個引數:
['Hello ', ' world ', '']
- 第二個引數: 15
- 第三個引數:50
也就是說,tag
函式實際上以下面的形式呼叫。
tag(['Hello ', ' world ', ''], 15, 50)
我們可以按照需要編寫tag
函式的程式碼。下面是tag
函式的一種寫法,以及執行結果。
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"
下面是一個更復雜的例子。
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)"
上面這個例子展示了,如何將各個引數按照原來的位置拼合回去。
passthru
函式採用rest引數的寫法如下。
function passthru(literals, ...values) {
var output = "";
for (var index = 0; index < values.length; index++) {
output += literals[index] + values[index];
}
output += literals[index]
return output;
}
“標籤模板”的一個重要應用,就是過濾HTML字串,防止使用者輸入惡意內容。
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, "&")
.replace(/</g, "<")
.replace(/>/g, ">");
// Don't escape special characters in the template.
s += templateData[i];
}
return s;
}
上面程式碼中,sender
變數往往是使用者提供的,經過SaferHTML
函式處理,裡面的特殊字元都會被轉義。
var sender = '<script>alert("abc")</script>'; // 惡意程式碼
var message = SaferHTML`<p>${sender} has sent you a message.</p>`;
message
// <p><script>alert("abc")</script> has sent you a message.</p>
標籤模板的另一個應用,就是多語言轉換(國際化處理)。
i18n`Welcome to ${siteName}, you are visitor number ${visitorNumber}!`
// "歡迎訪問xxx,您是第xxxx位訪問者!"
模板字串本身並不能取代Mustache之類的模板庫,因為沒有條件判斷和迴圈處理功能,但是通過標籤函式,你可以自己新增這些功能。
// 下面的hashTemplate函式
// 是一個自定義的模板處理函式
var libraryHtml = hashTemplate`
<ul>
#for book in ${myBooks}
<li><i>#{book.title}</i> by #{book.author}</li>
#end
</ul>
`;
除此之外,你甚至可以使用標籤模板,在JavaScript語言之中嵌入其他語言。
jsx`
<div>
<input
ref='input'
onChange='${this.handleChange}'
defaultValue='${this.state.value}' />
${this.state.value}
</div>
`
上面的程式碼通過jsx
函式,將一個DOM字串轉為React物件。你可以在Github找到jsx
函式的具體實現。
下面則是一個假想的例子,通過java
函式,在JavaScript程式碼之中執行Java程式碼。
java`
class HelloWorldApp {
public static void main(String[] args) {
System.out.println(“Hello World!”); // Display the string.
}
}
`
HelloWorldApp.main();
模板處理函式的第一個引數(模板字串陣列),還有一個raw
屬性。
console.log`123`
// ["123", raw: Array[1]]
上面程式碼中,console.log
接受的引數,實際上是一個數組。該陣列有一個raw
屬性,儲存的是轉義後的原字串。
請看下面的例子。
tag`First line\nSecond line`
function tag(strings) {
console.log(strings.raw[0]);
// "First line\\nSecond line"
}
上面程式碼中,tag
函式的第一個引數strings
,有一個raw
屬性,也指向一個數組。該陣列的成員與strings
陣列完全一致。比如,strings
陣列是["First line\nSecond line"]
,那麼strings.raw
陣列就是["First line\\nSecond line"]
。兩者唯一的區別,就是字串裡面的斜槓都被轉義了。比如,strings.raw陣列會將\n
視為\\
和n
兩個字元,而不是換行符。這是為了方便取得轉義之前的原始模板而設計的。
String.raw()
ES6還為原生的String物件,提供了一個raw
方法。
String.raw
方法,往往用來充當模板字串的處理函式,返回一個斜槓都被轉義(即斜槓前面再加一個斜槓)的字串,對應於替換變數後的模板字串。
String.raw`Hi\n${2+3}!`;
// "Hi\\n5!"
String.raw`Hi\u000A!`;
// 'Hi\\u000A!'
如果原字串的斜槓已經轉義,那麼String.raw
不會做任何處理。
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
方法可以作為處理模板字串的基本方法,它會將所有變數替換,而且對斜槓進行轉義,方便下一步作為字串來使用。
String.raw
方法也可以作為正常的函式使用。這時,它的第一個引數,應該是一個具有raw
屬性的物件,且raw
屬性的值應該是一個數組。
String.raw({ raw: 'test' }, 0, 1, 2);
// 't0e1s2t'
// 等同於
String.raw({ raw: ['t','e','s','t'] }, 0, 1, 2);
模板字串的限制
前面提到標籤模板裡面,可以內嵌其他語言。但是,模板字串預設會將字串轉義,因此導致了無法嵌入其他語言。
舉例來說,在標籤模板裡面可以嵌入Latex語言。
function latex(strings) {
// ...
}
let document = latex`
\newcommand{\fun}{\textbf{Fun!}} // 正常工作
\newcommand{\unicode}{\textbf{Unicode!}} // 報錯
\newcommand{\xerxes}{\textbf{King!}} // 報錯
Breve over the h goes \u{h}ere // 報錯
`
上面程式碼中,變數document
內嵌的模板字串,對於Latex語言來說完全是合法的,但是JavaScript引擎會報錯。原因就在於字串的轉義。
模板字串會將\u00FF
和\u{42}
當作Unicode字元進行轉義,所以\unicode
解析時報錯;而\x56
會被當作十六進位制字串轉義,所以\xerxes
會報錯。
為了解決這個問題,現在有一個提案,放鬆對標籤模板裡面的字串轉義的限制。如果遇到不合法的字串轉義,就返回undefined
,而不是報錯,並且從raw
屬性上面可以得到原始字串。
function tag(strs) {
strs[0] === undefined
strs.raw[0] === "\\unicode and \\u{55}";
}
tag`\unicode and \u{55}`
上面程式碼中,模板字串原本是應該報錯的,但是由於放鬆了對字串轉義的限制,所以不報錯了,JavaScript引擎將第一個字元設定為undefined
,但是raw
屬性依然可以得到原始字串,因此tag
函式還是可以對原字串進行處理。
注意,這種對字串轉義的放鬆,只在標籤模板解析字串時生效,不是標籤模板的場合,依然會報錯。
let bad = `bad escape sequence: \unicode`; // 報錯