Zig NEWS

Cover image for Unicode Basics in Zig
dude_the_builder
dude_the_builder

Posted on

Unicode Basics in Zig

Characters

The concept of a character is elusively complex. Let's go step by step.

fn processAscii(byte: u8) void { _ = byte; }
fn processUnicode(code_point: u21) void { _ = code_point; }

// Output: comptime_int
debug.print("{}\n", .{@TypeOf('e')});

processAscii('e');
processUnicode('e');
Enter fullscreen mode Exit fullscreen mode

Contrary to what one might expect based on other programming languages, in Zig, that 'e' character literal has type comptime_int and can be coerced into integer types such as u8 for ASCII-only text processing or u21 to handle Unicode code points.

Note: I'm not going down the endless rabbit hole discussion of what characters are and what they aren't. Let's stick to the Zig-related topics and we should be fine. 😼

ASCII in Zig

To work with single-byte (u8) ASCII characters, Zig offers the std.ascii namespace in which you can find many useful functions.

const ascii = @import("std").ascii;

_ = ascii.isAlNum('A');
_ = ascii.isAlpha('A');
_ = ascii.isDigit('3');
// ...and many more.
Enter fullscreen mode Exit fullscreen mode

Unicode Code Points

Unicode assigns a unique integer code to characters, marks, symbols, emoji, etc. This code is what's known as a code point. These code points are then encoded into what are called code units using a Unicode Encoding Form. The most widely used encoding form today is UTF-8, in which each code point can be encoded into code units of 8 bits each.

UTF-8 was designed in such a way that the first range of code points can be encoded with just 1 code unit (1 byte), and those code units map directly to the ASCII encoding. This means that UTF-8 encoded text consisting of only ASCII characters is practically the same as ASCII encoded text; a great idea allowing reuse of decades of existing code made to process ASCII. But remember, even if they're just 1 byte, they're still code points in terms of Unicode.

Code Points in Zig

All Zig source code is UTF-8 encoded text, and the standard library std.unicode namespace provides some useful code point processing functions.

const unicode = @import("std").unicode;

// A UTF-8 code point can be from 1 to 4 bytes in length.
var code_point_bytes: [4]u8 = undefined;

// Returns the number of bytes written to the array.
const bytes_encoded = try unicode.utf8Encode('⚡', &code_point_bytes);
Enter fullscreen mode Exit fullscreen mode

There's also a utf8Decode function and functions to convert from UTF-8 to UTF-16 and vice-versa. std.unicode also has some utilities to iterate over code points in a string, but then again: What is a string in Zig?

Strings in Zig

As @kristoff explains in

string literals in Zig are just pointers to null-terminated arrays of bytes tucked away in the executable file of your program. The syntax

const name = "Jose";
Enter fullscreen mode Exit fullscreen mode

is syntactic sugar, creating the array and a pointer to it behind the scenes, but in the end, it's just a sequence of bytes. Given that these bytes are in fact UTF-8 encoded code points, we can use Unicode processing functions to work with Zig strings. For example, let's iterate over the code points of a string:

const unicode = @import("std").unicode;

const name = "José";
var code_point_iterator = (try unicode.Utf8View.init(name)).iterator();

while (code_point_iterator.next()) |code_point| {
    std.debug.print("0x{x} is {u} \n", .{ code_point, code_point });
}
Enter fullscreen mode Exit fullscreen mode

This can be very useful when dealing with functions that expect a Unicode code point to do their work. In Zig, functions that work with code points use the u21 type, since in reality only 21 bits are required to represent the entire Unicode code space (versus the 32 bit types other languages use).

Code Points Are Not Necessarily Characters

One problem that can arise when iterating strings one code point at a time is inadvertently decomposing a character that's made up of multiple code points. There has been a misconception, probably rooted in the ASCII way of doing things, that a code point is a character, and indeed that can be true but is not always the case.

const unicode = @import("std").unicode;

fn codePointInfo(str: []const u8) !void {
    std.debug.print("Code points for: {s} \n", .{str});

    var iter = (try unicode.Utf8View.init(str)).iterator();

    while (iter.nextCodepoint()) |cp| {
        std.debug.print("0x{x} is {u} \n", .{ cp, cp });
    }
}

try codePointInfo("é");
try codePointInfo("\u{65}\u{301}");

// Output:
// Code points for: é
// 0xe9 is é
// Code points for: é
// 0x65 is e
// 0x301 is
Enter fullscreen mode Exit fullscreen mode

Note in he output that both string literals are displayed exactly the same as the single character "é", but one string contains a single code point and the other contains two. This second two-code point version of the character "é" is an example of a character composed of a base character, 0x65: the letter 'e', and a combining mark, 0x301: combining acute accent. Like this, there are many more multi-code point characters like Korean letters, country flags, and modified emoji that can't be properly handled in a solitary code point fashion. To overcome this, Unicode provides many algorithms that can process code point sequences and produce higher-level abstractions such as grapheme clusters, words, and sentences. More on that a bit later on.

But Bytes are Still Useful!

Interestingly, since at the lowest-level, we're still dealing with just sequences of bytes, if all we need is to match those bytes one-on-one, then we don't need the higher-level concepts. The std.mem namespace has many useful functions that can work on any type of sequence, but are particulary useful for bytes, and who says those bytes can't be the UTF-8 encoded bytes of a string?

const mem = @import("std").mem;

_ = mem.eql(u8, "⚡ Zig!", "⚡ Zig!");
_ = mem.trimLeft(u8, "⚡ Zig!", "⚡");
_ = mem.trimRight(u8, "⚡ Zig!", "!");
_ = mem.trim(u8, " ⚡ Zig! ", " ");
_ = mem.indexOf(u8, "⚡ Zig!", "Z");
_ = mem.split(u8, "⚡ Zig!", " ");
// ...and many more.
Enter fullscreen mode Exit fullscreen mode

Is this All I Can Do?

To recap, there are two important takeaways from this first post in the series:

  1. A byte can be a character, but many characters require more than 1 byte.
  2. A code point can be a character but many characters require more than 1 code point.

We have seen some of the useful tools Zig provides to process UTF-8 encoded Unicode text. Beyond these tools, there are many more higher-level abstractions that can be worked with using third-party libraries. In the next post, we'll look at Ziglyph, the library I've been developing to deal with many of the requirements of the Unicode Standard and text processing in general.

Until then, try out some of the builtin tools presented in this post, and stay away from the ASCII Kool-Aid! 😹

Oldest comments (3)

Collapse
 
kristoff profile image
Loris Cro

Yay, thank you very much for this post, definitely needed and it's also giving me inspiration for one or two related posts :^)

Collapse
 
zooce profile image
Zooce

Excellent! Straight to the point, no fluff, solid info. Thank you!

Collapse
 
flipbit profile image
Max

Great post, thank you!

Also found a typo:

- "Note in he output that both string literals are displayed"
           ^
+ "Note in the [...]"
Enter fullscreen mode Exit fullscreen mode