Values
Shell
$ ./values
1 + 1 = 2
7.0 / 3.0 = 2.33333325e+00
false
true
false
optional 1
type: ?[]const u8
value: null
optional 2
type: ?[]const u8
value: hi
error union 1
type: anyerror!i32
value: error.ArgNotFound
error union 2
type: anyerror!i32
value: 1234
In addition to the integer types above, arbitrary bit-width integers can be referenced by using an identifier of i
or u
followed by digits. For example, the identifier i7
refers to a signed 7-bit integer. The maximum allowed bit-width of an integer type is 65535
.
See also:
See also:
String literals are constant single-item to null-terminated byte arrays. The type of string literals encodes both the length, and the fact that they are null-terminated, and thus they can be coerced to both and Null-Terminated Pointers. Dereferencing string literals converts them to .
The encoding of a string in Zig is de-facto assumed to be UTF-8. Because Zig source code is UTF-8 encoded, any non-ASCII bytes appearing within a string literal in source code carry their UTF-8 meaning into the content of the string in the Zig program; the bytes are not modified by the compiler. However, it is possible to embed non-UTF-8 bytes into a string literal using \xNN
notation.
Unicode code point literals have type comptime_int
, the same as . All Escape Sequences are valid in both string literals and Unicode code point literals.
In many other programming languages, a Unicode code point literal is called a “character literal”. However, there is in recent versions of the Unicode specification (as of Unicode 13.0). In Zig, a Unicode code point literal corresponds to the Unicode definition of a code point.
string_literals.zig
const print = @import("std").debug.print;
const mem = @import("std").mem; // will be used to compare bytes
pub fn main() void {
const bytes = "hello";
print("{s}\n", .{@typeName(@TypeOf(bytes))}); // *const [5:0]u8
print("{d}\n", .{bytes.len}); // 5
print("{c}\n", .{bytes[1]}); // 'e'
print("{d}\n", .{bytes[5]}); // 0
print("{}\n", .{'e' == '\x65'}); // true
print("{d}\n", .{'\u{1f4a9}'}); // 128169
print("{d}\n", .{'💯'}); // 128175
print("{}\n", .{mem.eql(u8, "hello", "h\x65llo")}); // true
print("0x{x}\n", .{"\xff"[0]}); // non-UTF-8 strings are possible with \xNN notation.
print("{u}\n", .{'⚡'});
}
$ zig build-exe string_literals.zig
$ ./string_literals
*const [5:0]u8
5
e
0
true
128169
true
0xff
⚡
See also:
Note that the maximum valid Unicode point is 0x10ffff
.
Multiline string literals have no escapes and can span across multiple lines. To start a multiline string literal, use the \\
token. Just like a comment, the string literal goes until the end of the line. The end of the line is not included in the string literal. However, if the next line begins with \\
then a newline is appended and the string literal continues.
multiline_string_literals.zig
See also:
Use the const
keyword to assign a value to an identifier:
constant_identifier_cannot_change.zig
const x = 1234;
fn foo() void {
const y = 5678;
// Once assigned, an identifier cannot be changed.
y += 1;
}
pub fn main() void {
foo();
}
Shell
$ zig build-exe constant_identifier_cannot_change.zig
./docgen_tmp/constant_identifier_cannot_change.zig:8:7: error: cannot assign to constant
y += 1;
^
const
applies to all of the bytes that the identifier immediately addresses. have their own const-ness.
mutable_var.zig
const print = @import("std").debug.print;
pub fn main() void {
var y: i32 = 5678;
y += 1;
print("{d}", .{y});
}
Shell
Variables must be initialized:
var_must_be_initialized.zig
pub fn main() void {
var x: i32;
x = 1;
}
Shell
$ zig build-exe var_must_be_initialized.zig
docgen_tmp/var_must_be_initialized.zig:2:5: error: variables must be initialized
var x: i32;
^
Use undefined
to leave variables uninitialized:
assign_undefined.zig
const print = @import("std").debug.print;
pub fn main() void {
var x: i32 = undefined;
x = 1;
}
Shell
undefined
can be coerced to any type. Once this happens, it is no longer possible to detect that the value is undefined
. undefined
means the value could be anything, even something that is nonsense according to the type. Translated into English, means “Not a meaningful value. Using this value would be a bug. The value will be unused, or overwritten before being used.”