Giải mã bản chất cốt lõi của JavaScript | Chương 4.1

Giải mã bản chất cốt lõi của JavaScript (Phần 4, chương 1) là nội dung chuyển ngữ Việt ngữ từ tác phẩm kinh điển You Don’t Know JS Yet của Kyle Simpson.

Mở đầu

Trong những chương học thuật trước đây thuộc hệ thống tài liệu nghiên cứu về cấu trúc Đối tượng và Lớp, chúng ta đã từng trực diện đối mặt và phản biện lại một trong những ngộ nhận mang tính chất giáo điều phổ biến nhất trong giới kỹ sư phần mềm, đó là niềm tin mù quáng cho rằng mọi thứ trong ngôn ngữ JavaScript đều là một đối tượng. Giờ đây, chúng ta sẽ kiến tạo một vòng lặp tư duy, quay trở lại cái chủ đề nền tảng đó và một lần nữa vung búa đập tan hoàn toàn cái huyền thoại sai lệch này, nhằm thiết lập một hệ quy chiếu kiến thức chuẩn xác nhất cho các nhà phát triển và nghiên cứu sinh. Xuyên suốt nội dung của phần này, trọng tâm nghiên cứu sẽ được xoáy sâu vào các kiểu giá trị cốt lõi của ngôn ngữ JavaScript, phân tích một cách chi tiết và tường tận về những kiểu giá trị phi đối tượng, thứ được giới hàn lâm định danh bằng một thuật ngữ chuyên ngành là các kiểu giá trị nguyên thủy. Việc thấu hiểu tường tận ranh giới giữa nguyên thủy và đối tượng không chỉ là nền tảng để tối ưu hóa bộ nhớ và hiệu suất thực thi, mà còn là chìa khóa để giải mã những hành vi tưởng chừng như vô lý nhưng lại tuân thủ chặt chẽ theo đặc tả kỹ thuật của cỗ máy ngôn ngữ.

Phân loại các kiểu giá trị cơ bản

Ngôn ngữ JavaScript tuyệt đối không áp đặt các kiểu dữ liệu lên trên các biến số hay các thuộc tính – những thứ mà tôi thường ưu ái gọi bằng thuật ngữ kiểu vật chứa – mà thay vào đó, bản thân các giá trị vật lý nằm bên trong mới chính là thực thể sở hữu kiểu dữ liệu, hay còn gọi là kiểu giá trị.

Cơ chế phân định kiểu giá trị và kiểm tra nội tại

Hệ sinh thái ngôn ngữ JavaScript cung cấp sẵn cho chúng ta bảy kiểu giá trị nguyên thủy, hay nói cách khác là phi đối tượng, được tích hợp sâu vào tầng lõi của cỗ máy thực thi: giá trị không xác định, giá trị rỗng, giá trị đúng sai, giá trị số, giá trị số nguyên lớn, giá trị biểu tượng, và giá trị chuỗi ký tự. Những kiểu giá trị này đóng vai trò định nghĩa nên các bộ sưu tập bao gồm một hoặc hàng tá những giá trị vật lý mang tính chất cụ thể, và mỗi một bộ sưu tập như vậy sẽ chia sẻ chung một nhóm các hành vi được quy chuẩn hóa cho toàn bộ các giá trị thuộc cùng một kiểu. Để có thể tra xét và vạch trần kiểu giá trị của bất kỳ một thực thể nào đang tồn tại trong bộ nhớ, các kiến trúc sư phần mềm được trao quyền sử dụng toán tử kiểm tra kiểu, một công cụ quyền năng luôn luôn nôn ra một giá trị chuỗi ký tự dùng để đại diện một cách chính xác cho kiểu giá trị JavaScript đang lẩn khuất bên dưới. Lấy ví dụ, khi kiểm tra giá trị đúng, hệ thống trả về boolean; kiểm tra một con số như 42 trả về number; kiểm tra số nguyên lớn trả về bigint; và kiểm tra một biểu tượng trả về symbol. Sự minh bạch trong việc định danh này giúp cho quá trình phân luồng logic trở nên an toàn hơn rất nhiều.

Toán tử kiểm tra kiểu, khi được đem ra áp dụng lên một biến số thay vì một giá trị trần trụi, thực chất nó đang làm nhiệm vụ báo cáo lại kiểu giá trị của chính cái giá trị vật lý đang được ôm giữ bên trong cái biến số đó. Bản thân các biến số trong ngôn ngữ JavaScript hoàn toàn bị vô sinh về mặt kiểu dữ liệu; chúng chỉ là những cái thùng chứa rỗng tuếch có khả năng dung nạp bất kỳ một giá trị tùy ý nào, và chính cái giá trị đang nằm bên trong đó mới là kẻ thực sự sở hữu một kiểu giá trị danh chính ngôn thuận. Điều kiện tiên quyết để nắm vững triết lý thiết kế này là phải tách bạch hoàn toàn khái niệm giữa vật chứa và nội dung. Vậy thì, điều gì thực sự đã tạo nên vách ngăn khác biệt giữa bảy kiểu giá trị nguyên thủy này với các kiểu giá trị đối tượng cũng như các kiểu phụ của chúng? Tại sao chúng ta không nhắm mắt làm ngơ và cứ coi tất cả bọn chúng về bản chất đều là những đối tượng lẩn khuất dưới nhiều lớp vỏ bọc khác nhau như lời đồn đại? Để giải mã nghịch lý này, hãy soi xét một kịch bản khi chúng ta gán một chuỗi ký tự vào một biến, sau đó cố tình gán thêm một thuộc tính biệt danh vào biến đó, và cuối cùng khi in ra, hệ thống lại trả về giá trị không xác định.

Đoạn mã đó phơi bày một hành vi thất bại trong im lặng khi hệ thống từ chối việc đắp thêm một thuộc tính mới vào một chuỗi ký tự nguyên thủy. Nếu chỉ nhìn nhận ở bề nổi, điều này có vẻ như đang củng cố cho cái giả thuyết rằng các giá trị nguyên thủy thực chất chỉ là những đối tượng ngầm, một quan điểm sai lầm mà vô số người đã từng mù quáng tin tưởng và rêu rao trong suốt nhiều năm qua. Có kẻ sẽ cố gắng biện minh cho sự thất bại im lặng đó bằng cách lôi cái cơ chế tự động đóng hộp ra làm bình phong, nơi mà giá trị nguyên thủy bị hệ thống âm thầm ép kiểu thành một đối tượng bao bọc ngay tại khoảnh khắc thao tác gán thuộc tính diễn ra, để rồi cái đối tượng bao bọc nội bộ đó lại bị vứt thẳng vào sọt rác ngay sau khi câu lệnh hoàn tất. Khách quan mà nói, tôi cũng đã từng thốt ra chính xác cái lời giải thích đó trong ấn bản đầu tiên của cuốn sách này, thế nhưng sự thật là tôi đã hoàn toàn sai lầm! Một cơ chế vi mạch sâu xa và tàn nhẫn hơn rất nhiều đang thao túng cuộc chơi, điều này được lột trần khi chúng ta ném cái đoạn mã đó vào trong chế độ nghiêm ngặt. Khi đó, ngôn ngữ JavaScript sẽ thi hành một đạo luật hà khắc cấm tiệt việc thiết lập một thuộc tính mới lên trên một giá trị nguyên thủy, và nó sẽ ném ra một ngoại lệ lỗi thay vì âm thầm bỏ qua. Ranh giới tuyệt đối là: các giá trị nguyên thủy không bao giờ được phép sở hữu thuộc tính; đặc quyền đó chỉ dành riêng cho các đối tượng. Việc một chuỗi ký tự vẫn có thể gọi thuộc tính độ dài thực chất mới chính là kết quả của cơ chế tự động đóng hộp.

Trạng thái rỗng và sự lú lẫn giữa các giá trị

Hai kiểu dữ liệu mang tên giá trị rỗng và giá trị không xác định đều chia sẻ một sứ mệnh chung là đại diện cho một trạng thái trống rỗng hoặc sự vắng mặt hoàn toàn của một giá trị mang ý nghĩa. Đáng buồn thay, kiểu giá trị rỗng lại vướng phải một nghiệp chướng lịch sử khi kết hợp với toán tử kiểm tra kiểu, nôn ra một kết quả cực kỳ trái khuấy. Thay vì trả về một chuỗi null như kỳ vọng logic, hệ thống lại trơ trẽn báo cáo kết quả là object. Cần phải đính chính ngay lập tức: điều này tuyệt đối không đồng nghĩa với việc giá trị rỗng mang trong mình bản chất của một chủng loại đối tượng đặc thù nào đó. Nó chỉ đơn thuần là một tàn dư, một cái hố đen lỗi thiết kế sót lại từ những ngày tháng hồng hoang sơ khai của ngôn ngữ JavaScript, thứ mà giờ đây không một ai dám ho he đụng đến hay sửa đổi bởi vì hành động đó chắc chắn sẽ đập vỡ hàng triệu dòng mã đang vận hành ngoài thế giới thực. Sự cố chấp này phản ánh một triết lý thiết kế ngôn ngữ luôn đặt tính tương thích ngược lên trên cả sự hoàn mỹ về mặt lý thuyết.

Kiểu giá trị không xác định lại xuất hiện với một tần suất dày đặc hơn rất nhiều, nó được hệ thống báo cáo không chỉ đối với những giá trị không xác định được khai báo tường minh, mà còn chễm chệ xuất hiện ở bất kỳ cái xó xỉnh nào nơi mà một giá trị dường như đã bị bốc hơi hoặc chưa từng tồn tại. Khi kiểm tra một biến chưa được khởi tạo, một định danh không tồn tại, một thuộc tính bị thiếu trên đối tượng, hay một chỉ mục nằm ngoài giới hạn của mảng, toán tử kiểm tra kiểu đều ngoan ngoãn trả về chuỗi undefined. Có một chi tiết học thuật vô cùng tinh vi cần phải khắc cốt ghi tâm: thông thường, việc thọc tay truy cập vào một sợi dây tham chiếu biến chưa được khai báo sẽ ngay lập tức kích nổ một ngoại lệ lỗi sập chương trình, thế nhưng toán tử kiểm tra kiểu lại được cỗ máy ngôn ngữ ban phát cho một đặc quyền miễn trừ kỳ diệu, cho phép nó có thể chạm vào những định danh ma không tồn tại đó một cách an toàn tuyệt đối và bình thản trả về chuỗi undefined thay vì nổi điên ném ra lỗi. Tuy nhiên, cần lưu ý rằng mỗi một kiểu rỗng tương ứng này lại chỉ chứa đựng duy nhất một giá trị vật lý trùng tên với chính nó; vì vậy, giá trị rỗng là thành viên độc nhất vô nhị của kiểu giá trị rỗng, và giá trị không xác định cũng là cá thể duy nhất nằm trong kiểu giá trị không xác định.

Xét về mặt ngữ nghĩa học, cả kiểu giá trị rỗng và kiểu giá trị không xác định đều chung tay đại diện cho một sự trống rỗng mang tính chất khái quát, hoặc sự vắng mặt của một giá trị khẳng định mang tính chất có nghĩa khác. Trong hệ sinh thái JavaScript, những thao tác đối xử đồng nhất với cả hai giá trị này được giới lập trình gọi bằng một thuật ngữ lóng là thuộc tính rỗng. Đối với đại đa số các đoạn mã mà các nhà phát triển tự tay nhào nặn ra, hai cái giá trị mang bản chất rỗng này hoàn toàn có thể được đem ra sử dụng thay thế qua lại cho nhau; quyết định kiến trúc về việc chủ ý sử dụng hay gán giá trị rỗng hay giá trị không xác định trong bất kỳ một kịch bản thực chiến nào phụ thuộc hoàn toàn vào ngữ cảnh cụ thể và nằm gọn trong quyền định đoạt của người kỹ sư. Ngôn ngữ cung cấp hàng loạt vũ khí để hỗ trợ việc xử lý hai giá trị rỗng này như những thực thể không thể phân biệt, điển hình như toán tử so sánh ép kiểu, nó sẽ coi giá trị rỗng và giá trị không xác định là bằng nhau tuyệt đối, nhưng lại thẳng tay cự tuyệt sự ngang bằng với bất kỳ một giá trị nào khác trên cõi đời này. Ngoài ra, ngôn ngữ còn bổ sung toán tử gộp giá trị rỗng để trả về giá trị thay thế nếu vế trái mang tính chất rỗng, và toán tử chuỗi tùy chọn để an toàn truy cập thuộc tính mà không gây sập hệ thống nếu gặp phải chốt chặn rỗng. Tuy nhiên, việc lạm dụng toán tử chuỗi tùy chọn một cách vô tội vạ thay thế cho dấu chấm thông thường là một sự lãng phí tài nguyên và có nguy cơ che giấu những con bọ logic tiềm ẩn, do đó hãy chỉ dùng nó khi thực sự có sự tiên liệu về tính trống rỗng của dữ liệu.

Nền tảng logic thông qua các giá trị đúng và sai

Kiểu giá trị đúng sai mang trong mình một sự tối giản tuyệt đối khi nó chỉ chứa đựng duy nhất hai giá trị vật lý: giá trị sai và giá trị đúng. Nếu lật lại những trang sử cũ của ngành khoa học máy tính, các ngôn ngữ lập trình truyền thống thường xuyên thiết lập một quy ước bất thành văn là sử dụng con số không để đại diện cho giá trị sai và con số một để đại diện cho giá trị đúng. Dựa trên cái hệ quy chiếu lịch sử đó, bạn hoàn toàn có thể tư duy về kiểu giá trị đúng sai, cùng với hai từ khóa đúng và sai, như một lớp đường cú pháp mang tính chất tiện lợi về mặt ngữ nghĩa được phủ lên trên bề mặt của hai con số không và một nguyên thủy. Sự trừu tượng hóa này giúp cho mã nguồn trở nên gần gũi với ngôn ngữ tự nhiên của con người hơn, giải phóng tư duy khỏi những thao tác bit nhị phân khô khan và phức tạp.

Các giá trị đúng sai chính là hạt nhân trung tâm điều khiển toàn bộ quá trình ra quyết định và rẽ nhánh logic bên trong bất kỳ một chương trình JavaScript nào. Từ những câu lệnh điều kiện rẽ nhánh cơ bản nhất cho đến các vòng lặp kiểm tra trạng thái liên tục, sự hiện diện của giá trị đúng sai đóng vai trò như một người gác cổng, quyết định xem luồng thực thi sẽ chảy theo hướng nào. Toán tử phủ định mang ký hiệu dấu chấm than đóng vai trò là một thứ vũ khí sắc bén dùng để đảo ngược hoặc lật mặt một giá trị đúng sai sang phía đối lập của nó: giá trị sai sẽ ngay lập tức bị biến hình thành giá trị đúng, và ngược lại, giá trị đúng sẽ bị giáng cấp xuống thành giá trị sai.

Cơ chế ép kiểu ngầm định của ngôn ngữ JavaScript đối với các giá trị khác khi bị ném vào bối cảnh kiểm tra đúng sai là một chủ đề học thuật đòi hỏi sự thận trọng cực độ. Một chuỗi rỗng, một con số không, hay các giá trị rỗng đều sẽ bị cỗ máy thực thi tàn nhẫn đánh giá là giá trị sai; trong khi đó, mọi giá trị khác, bao gồm cả những đối tượng rỗng hay mảng rỗng, đều nghiễm nhiên được trao vương miện là giá trị đúng. Nắm vững ranh giới mỏng manh giữa các giá trị này không chỉ giúp tránh được những cạm bẫy logic chết người mà còn là tiền đề để viết ra những đoạn mã sạch sẽ, súc tích và tuân thủ chặt chẽ các nguyên lý thiết kế phần mềm hiện đại.

Kiến trúc và cơ chế xử lý chuỗi ký tự

Kiểu giá trị chuỗi ký tự đóng vai trò như một vật chứa vô tận, dung nạp bất kỳ một giá trị nào mang hình hài của một tập hợp bao gồm một hoặc hàng tá những ký tự nối tiếp nhau, và bị nhốt chặt ở cả hai đầu bởi các ký tự phân định ranh giới.

Cấu trúc bảng mã và hệ thống điểm mã đa ngôn ngữ

Ngôn ngữ JavaScript hoàn toàn cự tuyệt việc phân lập một ký tự đơn lẻ ra thành một kiểu dữ liệu biệt lập như cái cách mà một số ngôn ngữ lập trình truyền thống khác vẫn hay làm; một ký tự đơn lẻ vẫn ngoan ngoãn được hệ thống đối xử như một chuỗi ký tự thực thụ, giống hệt như một tổ hợp nhiều ký tự vậy. Các chuỗi ký tự có thể được phân định ranh giới bằng cặp dấu ngoặc kép, dấu ngoặc đơn, hoặc cặp dấu tích ngược, với một quy luật thép là ký tự kết thúc bắt buộc phải là bản sao y hệt của ký tự mở đầu. Mọi chuỗi ký tự đều mang trong mình một thuộc tính chiều dài nội tại, thứ phản ánh chính xác số lượng các điểm mã – hay để diễn đạt một cách kỹ thuật sâu sắc hơn là các đơn vị mã – mà cái chuỗi đó đang nuốt chửng vào bụng. Thế nhưng, con số này không nhất thiết phải luôn luôn đồng nhất với số lượng các ký tự hiển thị bằng mắt thường đang nằm lọt thỏm giữa hai dấu phân định ranh giới; đây là một hố đen kiến trúc cực kỳ dễ gây lú lẫn giữa việc đếm ký tự trong mã nguồn và đếm dữ liệu cấu thành chuỗi bên dưới tầng vi mạch.

Vậy thì cỗ máy ngôn ngữ JavaScript đang viện đến hệ thống tiêu chuẩn mã hóa ký tự nào để nhào nặn nên các ký tự bên trong chuỗi? Hẳn là bạn đã từng nghe loáng thoáng đâu đó về khái niệm mã Unicode, hoặc thậm chí là các chuẩn độ dài tám bit hay mười sáu bit. Nếu như bạn cũng mang một tâm lý hời hợt giống như tôi trong quá khứ, bạn có thể đã tự huyễn hoặc bản thân rằng ngần ấy kiến thức là đã quá đủ để hành tẩu trong thế giới chuỗi của JavaScript. Nhưng sự thật phũ phàng là kiến thức đó không những thiếu sót mà còn hoàn toàn lệch pha so với thực tế. Để thấu tỏ bản chất, bạn bị ép buộc phải cày xới và thấu hiểu hàng loạt các khía cạnh vận hành phức tạp của hệ thống Unicode, và thậm chí phải lục lọi lại những khái niệm di sản từ Bộ ký tự toàn cầu hai byte, một thứ có họ hàng gần gũi nhưng lại chứa đựng những sai biệt cực kỳ chí mạng so với chuẩn mười sáu bit.

Hệ thống Unicode mang tham vọng định nghĩa toàn bộ mọi ký tự mà nhân loại có thể biểu diễn trên các chương trình máy tính một cách phổ quát, thông qua việc gán cho mỗi một ký tự một con số định danh chuyên biệt, được giới hàn lâm gọi là các điểm mã. Dải số này khởi chạy từ số không và vươn dài cho đến giới hạn cực đại là hơn một triệu điểm mã. Cú pháp quy chuẩn để ký hiệu các ký tự Unicode là chữ U cộng với một dải từ bốn đến sáu ký tự thập lục phân. Khối sáu vạn năm ngàn điểm mã đầu tiên được tôn vinh là Mặt phẳng Đa ngôn ngữ Cơ bản, và tất cả chúng đều có thể được nhét gọn gàng vào trong bộ khung mười sáu bit. Đối với những ký tự nằm trong mặt phẳng này, cỗ máy xử lý chúng một cách khá mượt mà bởi vì chúng có thể vừa khít với một ký tự JavaScript mười sáu bit đơn lẻ. Thế nhưng, toàn bộ phần còn lại của thế giới điểm mã lại bị đày ải sang mười sáu mặt phẳng bổ sung, hay còn gọi là các mặt phẳng trung giới. Việc mã hóa những điểm mã siêu việt này đòi hỏi dung lượng lên đến hai mươi mốt bit, thế nên khi ngôn ngữ JavaScript phải đối mặt với những ký tự bổ sung này, nó đành phải giở thủ đoạn lưu trữ chúng dưới dạng một cặp ghép đôi của hai đơn vị mã mười sáu bit nằm kề vai sát cánh nhau, thứ được giới chuyên gia gọi là các cặp thay thế. Hai mảnh ghép này hoàn toàn vô nghĩa nếu đứng đơn độc; chúng chỉ tỏa sáng và mang hình hài ký tự khi được hệ thống ép chặt vào nhau, dẫn đến một hệ lụy tàn khốc là một biểu tượng hiển thị đơn lẻ lại bị hệ thống tính sổ là chiếm giữ đến hai vị trí chiều dài của chuỗi.

Cơ chế thoát ký tự và sự đột phá của chuỗi mẫu nội suy

Khi cặp dấu ngoặc kép hoặc ngoặc đơn được sử dụng làm bức tường phân định ranh giới cho một chuỗi ký tự dạng chữ, toàn bộ nội tạng nằm bên trong đó sẽ được hệ thống soi xét bằng kính lúp chỉ để lùng sục các chuỗi thoát ký tự: một dấu gạch chéo ngược theo sau bởi một hoặc một toán những ký tự mà cỗ máy JavaScript đã được lập trình sẵn để nhận diện và phân tích cú pháp với một ý nghĩa siêu việt. Bất kỳ một ký tự nào khác lọt thỏm trong chuỗi mà không khớp với khuôn mẫu của các chuỗi thoát ký tự đó sẽ bị hệ thống lạnh lùng ném thẳng vào giá trị chuỗi giữ nguyên hình hài nguyên thủy của nó. Đối với các chuỗi thoát đơn ký tự, cỗ máy nhận diện một loạt các ký hiệu đặc chủng theo sau dấu gạch chéo ngược để đại diện cho dòng mới, khoảng trắng tab, hay thậm chí là lồng ghép chính dấu ngoặc kép vào giữa một chuỗi đang được bao bọc bởi ngoặc kép. Nếu một dấu gạch chéo ngược vô tình đi đôi với một ký tự không thuộc diện ưu tiên, cỗ máy sẽ coi đó là một sự trốn thoát dư thừa và thẳng tay lột bỏ dấu gạch chéo, chỉ để lại ký tự trần trụi.

Một kỹ thuật kiến trúc thường xuyên được trọng dụng trong việc định hình các chuỗi văn bản dài là cơ chế tiếp nối dòng. Khi một dấu gạch chéo ngược được đặt ngay sát sạt một ký tự xuống dòng vật lý, nó sẽ biến cái sự xuống dòng đó thành một điểm kết nối vô hình, cho phép mã nguồn chuỗi trải dài qua nhiều dòng văn bản mà không bị đứt gãy. Nếu thiếu vắng đi cái dấu gạch chéo ngược bảo vệ đó, một ký tự xuống dòng vật lý chen ngang vào giữa một chuỗi ký tự dạng chữ sẽ ngay lập tức kích nổ một ngoại lệ lỗi phân tích cú pháp phá nát chương trình. Chính nhờ có cái khiên gạch chéo ngược đó, ký tự xuống dòng vật lý sẽ bị hệ thống bốc hơi hoàn toàn khỏi giá trị chuỗi cuối cùng, chứng minh rằng sự phân dòng trong mã nguồn hoàn toàn không đồng nhất với cấu trúc đa dòng của giá trị dữ liệu bên dưới.

Trong khi đó, việc ứng dụng cặp dấu tích ngược để phân định ranh giới chuỗi lại mở toang cánh cửa dẫn vào một chân trời kiến trúc hoàn toàn mới, được giới chuyên môn gọi là các chuỗi mẫu nội suy. Toàn bộ mọi quy luật khắt khe về bảng mã ký tự, cơ chế thoát, và tính toán chiều dài đều vẫn được duy trì tính hiệu lực tuyệt đối; tuy nhiên, nội tạng của chúng lại được cỗ máy ưu ái mổ xẻ thêm một lần nữa để săn lùng một cấu trúc phân định đặc biệt bao gồm ký hiệu đô la và cặp ngoặc nhọn, thứ đóng vai trò là một điểm đánh dấu ra lệnh cho hệ thống phải đánh giá một biểu thức và nhét giá trị kết quả vào ngay tại cái tọa độ đó. Mọi thứ nằm lọt thỏm giữa cặp ngoặc nhọn đó có thể là một biến số cỏn con, hay thậm chí là một tổ hợp chương trình phức tạp đến mức điên rồ. Chuỗi mẫu nội suy còn sở hữu một siêu năng lực khác biệt liên quan đến ký tự xuống dòng: chúng hoàn toàn không đòi hỏi phải có dấu gạch chéo ngược để bảo kê cho việc tiếp nối dòng, mà thay vào đó, chúng ngang nhiên nuốt trọn ký tự xuống dòng vật lý đó vào làm một phần máu thịt của giá trị chuỗi, biến nó trở thành một chuỗi đa dòng hàng thật giá thật. Thậm chí, khi kết hợp với một hàm gắn nhãn, chuỗi mẫu nội suy có khả năng lột xác và nôn ra bất kỳ một kiểu dữ liệu nào khác chứ không chỉ bị giam cầm trong hình hài của một chuỗi ký tự.

Những thách thức trong việc chuẩn hóa và cụm hình vị

Một nếp nhăn cực kỳ đau não khác trong công cuộc thao túng các chuỗi ký tự Unicode là sự thật phũ phàng rằng: ngay cả đối với một số ký tự đơn lẻ thuộc Mặt phẳng Đa ngôn ngữ Cơ bản, chúng vẫn sở hữu năng lực biến hình và được biểu diễn theo nhiều phương thức hoàn toàn khác biệt nhau ở tầng vi mạch. Lấy một ví dụ điển hình mang tính hàn lâm, một ký tự có mang dấu phụ có thể được nhào nặn thành một điểm mã đơn lẻ trọn vẹn, hoặc nó có thể bị băm vằm ra thành sự kết hợp của hai điểm mã tách biệt: một điểm mã cho ký tự gốc và một điểm mã khác đóng vai trò là dấu kết hợp. Cỗ máy ngôn ngữ lưu trữ cái dấu phụ đó dưới thân phận của một ký hiệu kết hợp độc lập, một thứ tàn tích chỉ mang ý nghĩa khi nó bám víu vào cái ký tự nằm ngay sát sạt phía trước nó.

Quá trình kết xuất hình ảnh của cái biểu tượng Unicode đó trên giao diện người dùng đáng lý ra phải luôn luôn đồng nhất bất chấp mọi khác biệt, thế nhưng cái cách thức mà ký tự đó bị giam cầm bên trong bộ nhớ lại giáng một đòn chí mạng lên các thuật toán tính toán chiều dài của chuỗi, cũng như phá nát các kết quả của những phép thử so sánh ngang bằng hay so sánh quan hệ. Một thảm họa tiềm ẩn là bạn hoàn toàn có khả năng sao chép và dán một đoạn văn bản có chứa ký tự đó từ trên mạng, và cái ký tự xui xẻo đó có thể đang ở dạng tổ hợp hoặc phân rã mà nhãn quan trần tục của con người không tài nào nhận diện được, thế nhưng giá trị chuỗi nguyên thủy nằm bên dưới lại mang một hình hài hoàn toàn khác biệt. Nhằm mục đích cứu vớt các kỹ sư khỏi cái địa ngục này, ngôn ngữ JavaScript đã rủ lòng thương và cung cấp một phương thức tiện ích chuẩn hóa trên các chuỗi ký tự, cho phép cưỡng ép các điểm mã kề nhau hợp nhất thành một điểm mã tổ hợp hoặc chặt chém một điểm mã thành các mảnh phân rã. Việc phớt lờ thao tác chuẩn hóa này khi xử lý dữ liệu chuỗi đa ngôn ngữ là một hành vi tự sát về mặt kiến trúc phần mềm.

Đỉnh cao của sự phức tạp trong việc thao túng chuỗi Unicode chính là sự hiện diện của cơ chế gom nhóm hàng tá các điểm mã nằm kề vai sát cánh nhau để nhào nặn thành một biểu tượng đồ họa độc nhất vô nhị, thứ được giới chuyên gia xưng tụng là một cụm hình vị. Một minh chứng sống động là một biểu tượng cảm xúc hình gia đình, thứ thực chất là một tập hợp hỗn loạn của hàng loạt điểm mã bị nhồi nhét và dính chặt vào nhau để tạo thành một khối hình ảnh duy nhất. Cái biểu tượng cảm xúc này tuyệt đối không phải là một điểm mã Unicode được đăng ký bản quyền đơn lẻ, và do đó, hoàn toàn không có bất kỳ một thuật toán chuẩn hóa nào trên cõi đời này đủ sức mạnh để nung chảy và dung hợp những mảnh ghép rời rạc đó thành một thực thể hợp nhất ở tầng vi mạch. Logic kết xuất hình ảnh dành cho những biểu tượng phức hợp này mang một độ khó kinh hoàng, vượt xa trí tưởng tượng và khả năng kiểm soát của đại đa số các kỹ sư JavaScript thông thường, và nó gây ra những cơn đau đầu không lối thoát cho các thuật toán đếm chiều dài hay sắp xếp dữ liệu.

Bản chất toán học và giới hạn của con số

Kiểu giá trị con số đóng vai trò là vật chứa cho bất kỳ một đại lượng toán học nào, dù là số nguyên hay số thập phân, và chúng được cỗ máy JavaScript nhào nặn và giam cầm dưới hình hài của các giá trị dấu phẩy động nhị phân độ chính xác kép sáu mươi tư bit, tuân thủ nghiêm ngặt theo Tiêu chuẩn IEEE-754.

Phân tích cú pháp và sự khác biệt với ép kiểu

Toàn bộ mọi giá trị con số trong hệ sinh thái JavaScript, về bản chất cốt lõi, đều là những số thập phân; hệ thống hoàn toàn cự tuyệt việc thiết kế một cơ chế lưu trữ đặc thù hay biệt lập nào dành riêng cho các con số nguyên trọn vẹn. Một con số nguyên được giam giữ dưới thân phận là một giá trị con số thực chất chỉ là một số thập phân mang trong mình một phần phân số hoàn toàn trống rỗng; do đó, con số bốn mươi hai là hoàn toàn không thể phân biệt được với bốn mươi hai phẩy không ở tầng vi mạch. Tuy nhiên, khi một chuỗi ký tự đang ôm giữ một nội dung mang hình hài của những con số, việc chuyển đổi cái lớp vỏ bọc chuỗi đó thành một con số thực thụ để phục vụ cho các thuật toán toán học là một nghiệp vụ bắt buộc. Ngay tại ranh giới này, việc vạch ra một đường phân thủy lĩnh rõ ràng giữa hành vi chuyển đổi mang tính chất phân tích cú pháp và hành vi chuyển đổi mang tính chất ép kiểu là một mệnh lệnh mang tính sống còn đối với các kiến trúc sư phần mềm.

Thao tác phân tích cú pháp, được thực thi thông qua các hàm tiện ích lõi như phân tích số nguyên hay phân tích số thập phân, mang bản chất là một quá trình đọc quét và bòn rút các ký tự mang hình dáng con số từ trái sang phải, và nó sẽ ngay lập tức nhấn phanh dừng lại tại khoảnh khắc nó va phải bất kỳ một ký tự nào mang tính chất phi toán học. Nếu như thao tác phân tích này chuốc lấy thất bại ngay từ ký tự tiền phong, hệ thống sẽ lạnh lùng nôn ra một giá trị đặc chủng mang tên số không hợp lệ để trừng phạt cho cái nỗ lực vô vọng đó. Hàm phân tích số nguyên mang trong mình một đặc quyền là nó tiếp nhận một đối số thứ hai dùng để xác định hệ cơ số toán học cho việc giải mã chuỗi ký tự; nếu lập trình viên lười biếng và bỏ quên cái đối số này, hệ thống sẽ giở thói tự ý đưa ra những dự đoán mù mờ dựa trên ký tự đầu tiên, một hành vi ngạo mạn đã từng là nguồn cơn sinh ra hàng vạn con bọ logic thảm khốc trong lịch sử phát triển phần mềm. Lời khuyên xương máu là: vĩnh viễn không bao giờ được phép ỷ lại vào cơ chế tự đoán cơ số, mà phải luôn luôn đóng đinh một cơ số tường minh.

Ở thế đối lập hoàn toàn, thao tác ép kiểu lại mang dáng dấp của một ván cược được ăn cả ngã về không. Toàn bộ nội tạng của chuỗi ký tự bắt buộc phải được hệ thống nhận diện là một con số hoàn chỉnh, bằng không thì toàn bộ quá trình ép kiểu đó sẽ đổ vỡ tan tành và kết cục duy nhất là một giá trị số không hợp lệ. Việc thi triển đòn ép kiểu này có thể được thực hiện một cách trực diện bằng cách triệu hồi hàm Số nguyên thủy mà không cần đến sự chống lưng của từ khóa tạo mới, hoặc áp dụng toán tử cộng đơn cực chễm chệ ngay trước cái giá trị đó. Sự phân định rạch ròi giữa việc lôi kéo từng mảnh con số ra khỏi chuỗi và việc ép buộc toàn bộ chuỗi phải hóa thân thành số là một minh chứng cho sự tinh tế nhưng cũng đầy hiểm hóc trong thiết kế của ngôn ngữ.

Tiêu chuẩn kỹ thuật và các giới hạn lưu trữ nhị phân

Tiêu chuẩn IEEE-754 là một bộ luật kỹ thuật chuyên biệt dùng để cai quản việc biểu diễn nhị phân cho các con số thập phân, và nó chính là kẻ đứng sau giật dây cho hệ thống số học của vô vàn các ngôn ngữ lập trình hiện đại. Trong hệ thống độ chính xác kép sáu mươi tư bit này, vùng không gian được băm vằm ra thành ba phân khu cực kỳ rạch ròi: năm mươi hai bit được cống nạp để ôm giữ giá trị cơ sở của con số, mười một bit được điều động để gánh vác số mũ, và một bit duy nhất đóng vai trò là kẻ phán quyết dấu hiệu âm dương của toàn bộ giá trị. Chính vì chỉ có năm mươi hai bit thực sự được dùng để biểu diễn giá trị cơ sở, nên tổng số lượng các giá trị có thể tồn tại bên trong kiểu con số hoàn toàn không đạt đến ngưỡng hai lũy thừa sáu mươi tư, mà nó là một con số phức tạp hơn rất nhiều, xấp xỉ mười tám tỷ tỷ giá trị. Cái danh xưng dấu phẩy động bắt nguồn từ chính cái cơ chế kỳ diệu khi mà dấu thập phân có khả năng trượt tới trượt lui dọc theo các dải bit, bị thao túng hoàn toàn bởi cái giá trị của số mũ được thiết lập.

Chính sự gò bó của năm mươi hai bit cơ sở này – nơi mà nó phải gồng gánh cả phần số nguyên lẫn phần thập phân – đã đẻ ra một quy luật bù trừ nghiệt ngã: phần số nguyên càng phình to bao nhiêu, thì số lượng bit còn sót lại để dành cho phần thập phân càng bị vắt kiệt bấy nhiêu, và ngược lại. Cảnh giới cực đại mà một giá trị có thể chạm tới và được lưu trữ một cách chính xác bên trong kiểu con số được hệ thống phơi bày thông qua hằng số giá trị lớn nhất. Mặc dù khoác lên mình một hình hài giống hệt như một số nguyên khổng lồ, thế nhưng nếu bạn cả gan cộng thêm một đơn vị vào cái giá trị cực đại đó, hệ thống sẽ ngạo nghễ trả về một kết quả bằng chính cái giá trị ban đầu, phơi bày sự bất lực của hệ thống trong việc biểu diễn bất kỳ một con số hữu hạn nào lớn hơn ngưỡng cửa đó. Nếu những phép toán số học tiếp tục nhồi nhét và đẩy giá trị vượt quá sức chịu đựng của dải lưu trữ, kết cục tất yếu là một giá trị Vô cực sẽ được hệ thống nôn ra.

Trong khi đó, ranh giới an toàn cho các con số nguyên lại bị bó hẹp ở một quy mô khiêm tốn hơn rất nhiều. Con số nguyên vĩ đại nhất mà hệ thống có thể giam giữ một cách nguyên vẹn mà không bị hao hụt độ chính xác là hai lũy thừa năm mươi ba trừ đi một, thứ được tôn danh là số nguyên an toàn lớn nhất. Bất kỳ một sự liều lĩnh nào nhằm thao tác toán học với những số nguyên vượt ra khỏi cái hàng rào an toàn này đều sẽ chuốc lấy những kết quả sai lệch và độ chính xác sẽ bắt đầu vỡ vụn một cách thảm hại. Nhằm mục đích cứu vớt các nhà phát triển khỏi cái giới hạn chật hẹp này khi phải đối mặt với những đại lượng số nguyên khổng lồ – điển hình như các mã định danh sáu mươi tư bit – ngôn ngữ JavaScript đã rủ lòng thương và trình làng một kiểu dữ liệu mới mang tên số nguyên lớn, cho phép ôm giữ và thực thi các phép toán trên những con số nguyên với kích thước vô cực mà không bị trói buộc bởi những giới hạn vật lý của bộ nhớ. Đặc điểm nhận dạng của kiểu dữ liệu này là sự hiện diện của một ký tự n bám chặt lấy phần đuôi của con số, và hệ thống ban hành một lệnh cấm tuyệt đối đối với việc trộn lẫn kiểu số nguyên lớn với kiểu con số thông thường trong cùng một biểu thức toán học nhằm mục đích bóp chết những kết quả dị hợm từ trong trứng nước.

Những nghịch lý toán học và số không hợp lệ

Hệ thống số học của ngôn ngữ JavaScript đang che giấu một bí mật động trời mà có lẽ sẽ khiến cho bất kỳ một nhà toán học thuần túy nào cũng phải nhảy cẫng lên vì phẫn nộ: sự tồn tại song song của hai con số không, bao gồm số không dương và số không âm. Sự kỳ quặc này hoàn toàn không phải là một trò đùa dai của các kiến trúc sư ngôn ngữ, mà nó là một mệnh lệnh bắt buộc bị áp đặt bởi chính Tiêu chuẩn IEEE-754, quy định rằng mọi con số dấu phẩy động đều phải mang trên mình một dấu hiệu âm dương, và số không cũng không được hưởng đặc quyền ngoại lệ. Mặc dù ngôn ngữ đã cố tình dùng màn sương mù để che lấp đi sự hiện diện của số không âm, thế nhưng các lập trình viên vẫn hoàn toàn có đủ thủ đoạn để nặn ra nó và thậm chí là thiết lập các phép thử để dò tìm nó. Ứng dụng thực chiến của cái nghịch lý này nằm ở chỗ nó cung cấp khả năng lưu trữ cả về độ lớn lẫn hướng di chuyển; nếu thiếu vắng đi số không âm, hệ thống sẽ hoàn toàn bị mù và không tài nào xác định được cái phương hướng cuối cùng của một vật thể ngay tại khoảnh khắc mà vận tốc của nó triệt tiêu về mức không. Cần lưu ý rằng nghịch lý này chỉ áp dụng cho kiểu con số thông thường, còn kiểu số nguyên lớn lại được miễn nhiễm và không hề sở hữu bất kỳ một số không âm nào.

Các phép tính toán học đôi khi lại tự dẫn xác mình vào ngõ cụt và đẻ ra những kết quả không thể định nghĩa được. Hành động lấy một con số đem đi chia cho một chuỗi ký tự, hay nỗ lực ép kiểu một chuỗi phi toán học thành một con số, đều là những hành vi báng bổ toán học và sẽ bị hệ thống trừng phạt bằng cách nôn ra một giá trị đặc biệt mang tên số không hợp lệ. Nguồn gốc lịch sử của cái tên gọi này xuất phát từ một từ viết tắt trong Tiêu chuẩn IEEE-754 mang ý nghĩa là không phải là một con số. Sự định danh này đã đẻ ra một hệ lụy lú lẫn kinh hoàng, bởi vì xét về mặt bản chất kỹ thuật, cái giá trị số không hợp lệ này lại đích thị, chắc chắn và trăm phần trăm là một con số. Hãy vận động tư duy phản biện: nếu một phép toán số học lại nôn ra một thứ gì đó không phải là số – như giá trị rỗng hay một ngoại lệ – thì cấu trúc luồng của chương trình sẽ trở nên dị hợm đến mức nào? Mệnh lệnh thiết kế tối thượng là: mọi phép toán số học bắt buộc phải luôn luôn trả về một kiểu con số, ngay cả khi cái giá trị đó mang trong mình bản chất vô giá trị do nguồn cơn là một phép toán lỗi.

Sự độc dị của giá trị số không hợp lệ được đẩy lên đến đỉnh điểm khi nó là thực thể duy nhất trên cõi đời JavaScript bị tước đoạt hoàn toàn tính chất nhận dạng bản ngã – nó vĩnh viễn không bao giờ bằng chính bản thân nó. Hậu quả là, toán tử so sánh ngang bằng tuyệt đối hoàn toàn bị liệt rễ và bất lực trong việc nhận diện giá trị này. Lịch sử ngôn ngữ đã từng cung cấp một hàm toàn cục để kiểm tra số không hợp lệ, thế nhưng đó lại là một thảm họa thiết kế tồi tệ khi hàm này lại ngu ngốc tiến hành ép kiểu đối số thành số trước khi kiểm tra, dẫn đến việc nó dại dột kết luận một chuỗi ký tự thông thường cũng là số không hợp lệ. Chính vì cái con bọ logic thâm căn cố đế đó, giới tinh hoa lập trình đã đồng thuận tẩy chay cái hàm toàn cục đó, và thay vào đó, chỉ tin dùng phương thức kiểm tra số không hợp lệ tĩnh được nhúng sâu bên trong đối tượng số nguyên thủy, đảm bảo sự an toàn tuyệt đối cho các thuật toán giám sát luồng dữ liệu số học.

Biểu tượng và tính độc bản trong kiến trúc dữ liệu

Kiểu giá trị biểu tượng mang trong mình một sứ mệnh chuyên biệt là tàng trữ những giá trị mờ đục và mang tính độc bản tuyệt đối, những thứ chỉ có thể được nhào nặn ra thông qua việc triệu hồi hàm Biểu tượng nguyên thủy.

Khởi tạo và tính chất che khuất của biểu tượng

Giống y hệt như những gì đã được cảnh báo đối với hàm Số nguyên lớn, việc sử dụng từ khóa tạo mới song hành cùng với hàm Biểu tượng là một hành vi vi phạm pháp luật ngôn ngữ và sẽ bị hệ thống trừng trị bằng một ngoại lệ lỗi. Chuỗi văn bản mộc mạc được truyền vào làm đối số cho hàm Biểu tượng hoàn toàn không phải là phần máu thịt cấu thành nên cái giá trị biểu tượng đó, cho dù vẻ bề ngoài của nó có mang tính lừa tình đến mức nào đi chăng nữa. Sứ mệnh duy nhất của cái chuỗi đó chỉ là đóng vai trò như một nhãn dán mô tả tùy chọn, một thứ tiện ích cỏn con sinh ra chỉ để phục vụ cho công cuộc gỡ lỗi của các nhà phát triển. Cái giá trị thực sự được hàm Biểu tượng nôn ra là một chủng loại giá trị dị biệt có khả năng chống lại mọi nỗ lực thọc mạch của chương trình hay của chính người kỹ sư nhằm mục đích soi mói vào cấu trúc lưu trữ nội tại của nó. Đó chính là ý nghĩa hàn lâm của thuật ngữ mờ đục. Mặc dù ở tầng vi mạch của một số cỗ máy, biểu tượng có thể được hiện thực hóa giống như những con số nguyên tăng dần một cách tuần tự, thế nhưng cỗ máy thực thi sẽ vĩnh viễn không bao giờ phơi bày cái sự thật trần trụi đó ra ánh sáng.

Một lời thề sắt đá được cỗ máy ngôn ngữ đưa ra là: mỗi một biểu tượng được thai nghén ra đều sở hữu một tính độc bản tối thượng trong phạm vi của một chương trình, biến nó thành một thực thể không thể đoán định hay sao chép. Một hệ lụy kiến trúc tất yếu là, việc kiến tạo ra một biểu tượng mang giá trị trùng lặp là một điều hoàn toàn bất khả thi trong quy luật vật lý của JavaScript. Sức mạnh độc bản này biến biểu tượng trở thành những ứng cử viên sáng giá nhất để đảm nhận vai trò làm các giá trị đặc chủng dùng để phân định ranh giới và chống lại mọi nguy cơ va chạm dữ liệu vô tình. Một kịch bản ứng dụng mang tính kinh điển là việc sử dụng biểu tượng làm các thuộc tính siêu dữ liệu trên một đối tượng. Cần phải thẳng thắn bóc trần một sự thật rằng, các thuộc tính được định danh bằng biểu tượng vẫn hoàn toàn phơi mặt ra trước công chúng và có thể bị truy cập; chúng tuyệt đối không mang bản chất riêng tư hay ẩn danh như nhiều người lầm tưởng. Thế nhưng, chúng lại được hệ thống đối xử như những thực thể quyền quý, bị cô lập hoàn toàn khỏi cái mớ hỗn độn của các thuộc tính đối tượng thông thường, mang lại một phương thức thanh lịch và an toàn hơn rất nhiều so với cái trò dán thêm tiền tố gạch dưới nghèo nàn để giả lập tính riêng tư.

Biểu tượng danh tiếng và không gian lưu trữ toàn cục

Hệ sinh thái ngôn ngữ JavaScript đã tự mình nhúng sẵn một bộ sưu tập các biểu tượng đặc chủng, được giới học thuật vinh danh là các biểu tượng danh tiếng, chúng gánh vác sứ mệnh hoạt động như những điểm móc nối siêu lập trình tinh vi đính kèm trên các đối tượng. Những biểu tượng quyền lực này được hệ thống cất giữ cẩn mật dưới dạng các thuộc tính tĩnh ngự trị ngay trên cấu trúc hàm Biểu tượng. Lấy một ví dụ thực chiến, biểu tượng thẻ chuyển đổi chuỗi là một thứ vũ khí siêu lập trình cho phép lập trình viên thọc tay vào can thiệp và ghi đè lên cái định dạng hiển thị chuỗi mặc định vô hồn của một đối tượng nguyên bản, hô biến cái chuỗi [object Object] nhàm chán thành một định danh tùy chỉnh mang tính cá nhân hóa cao độ. Sự can thiệp này trao cho các kiến trúc sư quyền năng định hình lại hoàn toàn cái cách mà các đối tượng của họ sẽ giao tiếp với môi trường xung quanh khi bị ép buộc phải hóa thân thành chuỗi văn bản.

Trong các kiến trúc phần mềm đồ sộ, các kỹ sư thường mang trong mình một khát khao muốn giam cầm các giá trị biểu tượng bên trong ranh giới của các không gian phạm vi mô đun cục bộ nhằm bảo vệ tính toàn vẹn. Thế nhưng, đôi khi bài toán hệ thống lại ép buộc họ phải phơi bày những biểu tượng đó ra để chúng có thể được truy xuất và dùng chung trên toàn bộ dải thiên hà của các tệp mã nguồn. Thay vì giở cái thủ đoạn dơ bẩn là đính kèm chúng vào đối tượng toàn cục như những biến toàn cục rác rưởi, ngôn ngữ JavaScript đã trang bị một không gian danh tính toàn cục song song, cực kỳ thanh lịch chuyên dùng để đăng ký hộ khẩu cho các biểu tượng. Lời gọi hàm đăng ký biểu tượng mong đợi được mớm cho một chuỗi khóa độc nhất vô nhị để nó có thể ghi danh cái biểu tượng đó vào sổ đăng ký toàn cục, một hành vi hoàn toàn khác biệt so với cái nhãn dán mô tả tùy chọn của hàm tạo biểu tượng thông thường.

Nếu như cuốn sổ đăng ký toàn cục đó vẫn còn trống rỗng và chưa hề lưu giữ bất kỳ một biểu tượng nào dưới cái khóa định danh đó, hệ thống sẽ ngay lập tức thai nghén ra một biểu tượng hoàn toàn mới toanh và tự động ghi danh nó vào sổ. Ở chiều ngược lại, nếu như biểu tượng đã an tọa sẵn trong sổ, hàm đăng ký sẽ ngoan ngoãn lôi cổ cái biểu tượng cũ đó ra và nôn về cho người gọi. Một con đường đi lùi cũng được hệ thống trải thảm: nếu như bạn đang nắm trong tay cái giá trị biểu tượng vật lý và khao khát muốn moi ra được cái khóa mà nó đã dùng để đăng ký hộ khẩu, hàm truy xuất khóa biểu tượng sẽ sẵn sàng tiếp nhận cái biểu tượng đó và ói ra cái khóa tương ứng. Cơ chế này cực kỳ đắc lực trong những kịch bản kiến trúc mà việc luân chuyển cái giá trị chuỗi khóa đi khắp nơi mang lại sự tiện lợi về mặt truyền tải hơn rất nhiều so với việc phải cõng theo cái giá trị biểu tượng mờ đục kia.

Tranh luận học thuật về ranh giới đối tượng và nguyên thủy

Trái ngược hoàn toàn với những người anh em nguyên thủy mộc mạc khác như con số bốn mươi hai, nơi mà bạn có thể vô tư nhân bản ra hàng tá những bản sao giống hệt nhau, biểu tượng lại hành xử và mang một dáng dấp đậm chất của các sợi dây tham chiếu đối tượng vật lý khi mà chúng luôn luôn bảo vệ sự độc bản tuyệt đối của mình trước mọi bài kiểm tra so sánh ngang bằng hay thao tác gán giá trị. Hơn thế nữa, bản đặc tả kỹ thuật tối cao của ngôn ngữ còn trơ trẽn xếp hạng cấu trúc hàm Biểu tượng vào ngay trong chuyên mục Các Đối tượng Nền tảng, mạnh miệng xưng tụng cái hàm đó là một hàm kiến tạo, và thậm chí còn cấp phát cho nó hẳn một thuộc tính nguyên mẫu công khai đàng hoàng. Những tín hiệu kiến trúc này giăng ra một cái bẫy hoàn hảo, mồi chài tư duy của chúng ta đi đến một kết luận sai lầm rằng biểu tượng chính là một chủng loại đối tượng.

Tuy nhiên, như đã được gióng lên hồi chuông cảnh báo từ đầu, từ khóa tạo mới hoàn toàn bị liệt rễ và cấm tiệt không được bén mảng đến hàm Biểu tượng; hành vi này là một bản sao y đúc của cái cách mà hàm kiến tạo Số nguyên lớn vận hành. Chúng ta đã nắm chắc trong tay một chân lý không thể suy suyển rằng các giá trị số nguyên lớn đích thị là những nguyên thủy hàng thật giá thật, thế nên việc biểu tượng chia sẻ chung một quy luật vận hành như vậy là một bằng chứng đanh thép chứng minh rằng chúng có cùng một nguồn cội bản chất. Hơn thế nữa, trong chính cuốn từ điển thuật ngữ của bản đặc tả kỹ thuật, biểu tượng được liệt kê rành rành dưới danh nghĩa là một kiểu giá trị nguyên thủy. Đỉnh điểm của sự thật là, cái cách mà các giá trị biểu tượng bị đem ra vắt kiệt sức lao động trong các chương trình JavaScript hoàn toàn mang đậm phong cách của những kẻ nguyên thủy chứ không hề có chút dáng dấp nào của các đối tượng. Lấy một ví dụ sắc bén, sứ mệnh tối thượng của biểu tượng là đóng vai trò làm các khóa định danh nằm trên đối tượng – trong khi một chân lý thiết kế là đối tượng tuyệt đối không bao giờ được phép sử dụng một giá trị đối tượng khác để làm khóa định danh! – đứng kề vai sát cánh cùng với các chuỗi ký tự, thứ cũng được xác nhận là những kẻ nguyên thủy thuần túy.

Và như một cú chốt hạ cuối cùng, cũng giống y hệt như toàn bộ những giá trị nguyên thủy khác, biểu tượng hoàn toàn không được hệ thống cấp phép cho việc sở hữu bất kỳ một thuộc tính cá nhân nào, mà chúng phải dựa dẫm hoàn toàn vào cơ chế tự động đóng hộp nội bộ để có thể mượn mọc và thi triển các thao tác truy cập thuộc tính hay phương thức từ đối tượng bao bọc của mình. Khi đặt toàn bộ mớ bằng chứng thép này lên bàn cân học thuật, quan điểm cá nhân của tôi vô cùng kiên định: biểu tượng mang trong mình dòng máu nguyên thủy đậm đặc hơn rất nhiều so với cái dáng vẻ đối tượng bên ngoài của chúng, và đó chính là cái hệ quy chiếu tối thượng mà tôi sẽ sử dụng để mổ xẻ và trình bày về chúng xuyên suốt chiều dài của hệ thống tài liệu này.

Kết luận

Xuyên suốt toàn bộ chiều dài của chương học thuật này, chúng ta đã tiến hành một cuộc đại phẫu cực kỳ sâu sắc và toàn diện nhằm bóc tách bản chất của bảy kiểu giá trị nguyên thủy phi đối tượng, những thứ đã được hệ sinh thái ngôn ngữ JavaScript tích hợp sâu vào tầng vi mạch và coi như những viên gạch nền móng từ thuở khai thiên lập địa. Việc nắm vững ranh giới mỏng manh giữa các kiểu giá trị, từ sự lú lẫn của trạng thái rỗng, sự phức tạp kinh hoàng của bảng mã chuỗi, những giới hạn cực đoan của hệ thống nhị phân lưu trữ con số, cho đến tính độc bản tuyệt đối của biểu tượng, chính là bài kiểm tra sinh tử đối với tư duy của bất kỳ một kiến trúc sư phần mềm nào. Trước khi chúng ta chuyển hướng mũi dùi nghiên cứu sang việc giải phẫu các kiểu giá trị đối tượng tích hợp khổng lồ của JavaScript, bước đệm sống còn tiếp theo là phải soi chiếu bằng kính hiển vi vào những chủng loại hành vi và phản ứng mà chúng ta có quyền kỳ vọng từ các giá trị này khi chúng tương tác với nhau trong môi trường thực thi. Đó sẽ là một cuộc phiêu lưu đầy thách thức trí tuệ, nơi mà những quy tắc chuyển đổi và tính toán sẽ được phơi bày một cách trần trụi và chi tiết nhất trong khuôn khổ của chương nghiên cứu tiếp theo.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 1.1 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 1.2 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 1.3 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 1.4 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.1 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.2 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.3 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.4 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.5 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.6 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.7 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 2.8 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 3.1 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 3.2 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 3.3 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 3.4 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 3.5 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 4.1 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 4.2 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 4.3 tại đây.

Đọc Giải mã bản chất cốt lõi của JavaScript chương 4.4 tại đây.