| ... | ... | @@ -6045,14 +6045,16 @@ const optional_int: ?i32 = 5678; |
| 6045 | 6045 | Task: call malloc, if the result is null, return null. |
| 6046 | 6046 | </p> |
| 6047 | 6047 | <p>C code</p> |
| 6048 | | {#syntax_block|c|call_malloc_in_c.c#}// malloc prototype included for reference |
| 6048 | {#syntax_block|c|call_malloc_in_c.c#} |
| 6049 | // malloc prototype included for reference |
| 6049 | 6050 | void *malloc(size_t size); |
| 6050 | 6051 | |
| 6051 | 6052 | struct Foo *do_a_thing(void) { |
| 6052 | 6053 | char *ptr = malloc(1234); |
| 6053 | 6054 | if (!ptr) return NULL; |
| 6054 | 6055 | // ... |
| 6055 | | }{#end_syntax_block#} |
| 6056 | } |
| 6057 | {#end_syntax_block#} |
| 6056 | 6058 | <p>Zig code</p> |
| 6057 | 6059 | {#syntax_block|zig|call_malloc_from_zig.zig#} |
| 6058 | 6060 | // malloc prototype included for reference |
| ... | ... | @@ -6072,7 +6074,8 @@ fn doAThing() ?*Foo { |
| 6072 | 6074 | <p> |
| 6073 | 6075 | The other form of checking against NULL you might see looks like this: |
| 6074 | 6076 | </p> |
| 6075 | | {#syntax_block|c|checking_null_in_c.c#}void do_a_thing(struct Foo *foo) { |
| 6077 | {#syntax_block|c|checking_null_in_c.c#} |
| 6078 | void do_a_thing(struct Foo *foo) { |
| 6076 | 6079 | // do some stuff |
| 6077 | 6080 | |
| 6078 | 6081 | if (foo) { |
| ... | ... | @@ -6080,7 +6083,8 @@ fn doAThing() ?*Foo { |
| 6080 | 6083 | } |
| 6081 | 6084 | |
| 6082 | 6085 | // do some stuff |
| 6083 | | }{#end_syntax_block#} |
| 6086 | } |
| 6087 | {#end_syntax_block#} |
| 6084 | 6088 | <p> |
| 6085 | 6089 | In Zig you can accomplish the same thing: |
| 6086 | 6090 | </p> |
| ... | ... | @@ -7443,7 +7447,8 @@ pub fn syscall3(number: usize, arg1: usize, arg2: usize, arg3: usize) usize { |
| 7443 | 7447 | <p> |
| 7444 | 7448 | Dissecting the syntax: |
| 7445 | 7449 | </p> |
| 7446 | | {#syntax_block|zig|Assembly Syntax Explained#}// Inline assembly is an expression which returns a value. |
| 7450 | {#syntax_block|zig|Assembly Syntax Explained#} |
| 7451 | // Inline assembly is an expression which returns a value. |
| 7447 | 7452 | // the `asm` keyword begins the expression. |
| 7448 | 7453 | _ = asm |
| 7449 | 7454 | // `volatile` is an optional modifier that tells Zig this |
| ... | ... | @@ -7498,7 +7503,8 @@ volatile ( |
| 7498 | 7503 | // output. In this example we list $rcx and $r11 because it is known the |
| 7499 | 7504 | // kernel syscall does not preserve these registers. |
| 7500 | 7505 | : "rcx", "r11" |
| 7501 | | );{#end_syntax_block#} |
| 7506 | ); |
| 7507 | {#end_syntax_block#} |
| 7502 | 7508 | <p> |
| 7503 | 7509 | For x86 and x86_64 targets, the syntax is AT&amp;T syntax, rather than the more |
| 7504 | 7510 | popular Intel syntax. This is due to technical constraints; assembly parsing is |
| ... | ... | @@ -10688,12 +10694,15 @@ const c = @cImport({ |
| 10688 | 10694 | or <kbd>-cflags</kbd> could result in clang or Zig parse failures, or subtle ABI incompatibilities |
| 10689 | 10695 | when linking with C code. |
| 10690 | 10696 | </p> |
| 10691 | | {#syntax_block|c|varytarget.h#}long FOO = __LONG_MAX__;{#end_syntax_block#} |
| 10697 | {#syntax_block|c|varytarget.h#} |
| 10698 | long FOO = __LONG_MAX__; |
| 10699 | {#end_syntax_block#} |
| 10692 | 10700 | {#shell_samp#}$ zig translate-c -target thumb-freestanding-gnueabihf varytarget.h|grep FOO |
| 10693 | 10701 | pub export var FOO: c_long = 2147483647; |
| 10694 | 10702 | $ zig translate-c -target x86_64-macos-gnu varytarget.h|grep FOO |
| 10695 | 10703 | pub export var FOO: c_long = 9223372036854775807;{#end_shell_samp#} |
| 10696 | | {#syntax_block|c|varycflags.h#}enum FOO { BAR }; |
| 10704 | {#syntax_block|c|varycflags.h#} |
| 10705 | enum FOO { BAR }; |
| 10697 | 10706 | int do_something(enum FOO foo); |
| 10698 | 10707 | {#end_syntax_block#} |
| 10699 | 10708 | {#shell_samp#}$ zig translate-c varycflags.h|grep -B1 do_something |
| ... | ... | @@ -10784,7 +10793,8 @@ pub fn main() void { |
| 10784 | 10793 | Zig. |
| 10785 | 10794 | </p> |
| 10786 | 10795 | <p>Consider the following example:</p> |
| 10787 | | {#syntax_block|c|macro.c#}#define MAKELOCAL(NAME, INIT) int NAME = INIT |
| 10796 | {#syntax_block|c|macro.c#} |
| 10797 | #define MAKELOCAL(NAME, INIT) int NAME = INIT |
| 10788 | 10798 | int foo(void) { |
| 10789 | 10799 | MAKELOCAL(a, 1); |
| 10790 | 10800 | MAKELOCAL(b, 2); |
| ... | ... | @@ -10905,7 +10915,8 @@ export fn add(a: i32, b: i32) i32 { |
| 10905 | 10915 | <p>To make a shared library:</p> |
| 10906 | 10916 | {#shell_samp#}$ zig build-lib mathtest.zig -dynamic{#end_shell_samp#} |
| 10907 | 10917 | <p>Here is an example with the {#link|Zig Build System#}:</p> |
| 10908 | | {#syntax_block|c|test.c#}// This header is generated by zig from mathtest.zig |
| 10918 | {#syntax_block|c|test.c#} |
| 10919 | // This header is generated by zig from mathtest.zig |
| 10909 | 10920 | #include "mathtest.h" |
| 10910 | 10921 | #include <stdio.h> |
| 10911 | 10922 | |
| ... | ... | @@ -10959,7 +10970,8 @@ export fn decode_base_64( |
| 10959 | 10970 | return decoded_size; |
| 10960 | 10971 | } |
| 10961 | 10972 | {#code_end#} |
| 10962 | | {#syntax_block|c|test.c#}// This header is generated by zig from base64.zig |
| 10973 | {#syntax_block|c|test.c#} |
| 10974 | // This header is generated by zig from base64.zig |
| 10963 | 10975 | #include "base64.h" |
| 10964 | 10976 | |
| 10965 | 10977 | #include <string.h> |
| ... | ... | @@ -11009,7 +11021,8 @@ export fn add(a: i32, b: i32) void { |
| 11009 | 11021 | print(a + b); |
| 11010 | 11022 | } |
| 11011 | 11023 | {#code_end#} |
| 11012 | | {#syntax_block|javascript|test.js#}const fs = require('fs'); |
| 11024 | {#syntax_block|javascript|test.js#} |
| 11025 | const fs = require('fs'); |
| 11013 | 11026 | const source = fs.readFileSync("./math.wasm"); |
| 11014 | 11027 | const typedArray = new Uint8Array(source); |
| 11015 | 11028 | |
| ... | ... | @@ -11019,8 +11032,9 @@ WebAssembly.instantiate(typedArray, { |
| 11019 | 11032 | }}).then(result => { |
| 11020 | 11033 | const add = result.instance.exports.add; |
| 11021 | 11034 | add(1, 2); |
| 11022 | | });{#end_syntax_block#} |
| 11023 | | {#shell_samp#}$ node test.js |
| 11035 | }); |
| 11036 | {#end_syntax_block#} |
| 11037 | {#shell_samp#}$ node test.js |
| 11024 | 11038 | The result is 3{#end_shell_samp#} |
| 11025 | 11039 | {#header_close#} |
| 11026 | 11040 | {#header_open|WASI#} |
| ... | ... | @@ -12065,7 +12079,8 @@ fn readU32Be() u32 {} |
| 12065 | 12079 | {#header_close#} |
| 12066 | 12080 | |
| 12067 | 12081 | {#header_open|Grammar#} |
| 12068 | | {#syntax_block|peg|grammar.y#}Root <- skip container_doc_comment? ContainerMembers eof |
| 12082 | {#syntax_block|peg|grammar.y#} |
| 12083 | Root <- skip container_doc_comment? ContainerMembers eof |
| 12069 | 12084 | |
| 12070 | 12085 | # *** Top level *** |
| 12071 | 12086 | ContainerMembers <- ContainerDeclarations (ContainerField COMMA)* (ContainerField / ContainerDeclarations) |
| ... | ... | @@ -12631,7 +12646,7 @@ keyword <- KEYWORD_addrspace / KEYWORD_align / KEYWORD_allowzero / KEYWORD_and |
| 12631 | 12646 | / KEYWORD_struct / KEYWORD_suspend / KEYWORD_switch / KEYWORD_test |
| 12632 | 12647 | / KEYWORD_threadlocal / KEYWORD_try / KEYWORD_union / KEYWORD_unreachable |
| 12633 | 12648 | / KEYWORD_usingnamespace / KEYWORD_var / KEYWORD_volatile / KEYWORD_while |
| 12634 | | {#end_syntax_block#} |
| 12649 | {#end_syntax_block#} |
| 12635 | 12650 | {#header_close#} |
| 12636 | 12651 | {#header_open|Zen#} |
| 12637 | 12652 | <ul> |