履歴

Ef3

→‎Hello world の変遷: Bumpup 0.10.1

Ef3

→‎値と型: Fix typo

Ef3

→‎リソース: 公式ドキュメント Zigの最も包括的なチュートリアルは、公式ドキュメントにあります。ドキュメントには、Zigの基本的な概念、プログラミングスタイル、および標準ライブラリの使用方法が説明されています。ここでは、基本から上級まで、詳細に解説されています。 公式ドキュメントは以下からアクセス可能です。 Zig 公式ドキュメント ZigLearn 「ZigLearn」とは、Zigというプログラミング言語を学ぶためのオンラインリソースの集まりです。Zigは、C言語に似た構文を持ち、メモリセーフでありながら高速なプログラムを書くことができる言語です。このサイトでは、Zigを初めて学ぶ人から、より高 Zig Learn X in Y Minutes 「Zig Learn X in Y Minutes」というウェブサイトは、簡潔で理解しやすい形式でZigの紹介をしています。このチュートリアルでは、Zigでプログラムを作成する基本的なステップを紹介します。 Zig Learn X in Y Minutesは以下からアクセス可能です。 Zig Learn X in Y Minutes

Ef3

→‎リソース: 公式ドキュメント Zigの最も包括的なチュートリアルは、公式ドキュメントにあります。ドキュメントには、Zigの基本的な概念、プログラミングスタイル、および標準ライブラリの使用方法が説明されています。ここでは、基本から上級まで、詳細に解説されています。 公式ドキュメントは以下からアクセス可能です。 Zig 公式ドキュメント Zig Learn X in Y Minutes 「Zig Learn X in Y Minutes」というウェブサイトは、簡潔で理解しやすい形式でZigの紹介をしています。このチュートリアルでは、Zigでプログラムを作成する基本的なステップを紹介します。 Zig Learn X in Y Minutesは以下からアクセス可能です。 Zig Learn X in Y Minutes

Ef3

→‎特徴: Zigは、コンパイル時に安全で高速なシステムプログラミング言語です。以下に、Zigの主な特徴を詳しく説明します。 #静的型付け: Zigは静的型付けを採用しています。型はコンパイル時に解決され、実行時に型エラーを引き起こすことがありません。また、型推論もサポートされています。 #値型: Zigは、値型を採用しています。これは、オブジェクトのコピーが作成されるため、値型はポインタ型よりも安全で、予測可能な動作をします。 #コンパイル時メタプログラミング: Zigには、コンパイル時メタプログラミングをサポートするためのcomptimeブロックがあります。これにより、コンパイル時に計算を実行し、コンパイル時に情報を収集することができます。 #メモリ管理: Zigは、メモリ管理について堅牢で安全なアプローチを採用しています。メモリリークやダングリングポインタなどの問題を回避するために、コンパイル時にメモリ安全性を検査することができます。 #モジュールシステム: Zigには、モジュールシステムがあります。モジュールは、依存関係を管理するための仕組みを提供します。 #ネイティブコ

Ef3

Bumpup 0.10.0

Ef3

→‎ジェネリックな複素数型: : Zig には演算子オーバーライドがないのでメソッドとして定義します。

Ef3

→‎switch: コード例差替え

Ef3

→‎elseを伴ったwhileの例: Fix bug

Ef3

→‎while: {{コラム|elseを伴ったwhileの使いどころ}}

Ef3

→‎ファイルの見出し: 誤字

Ef3

s/print(/try print/; デバッグ版から標準出力版に

Ef3

→‎関数: try ; https://wandbox.org/permlink/S46Dr2HRn6xgzSSA

Ef3

→‎チートシート: <div style="column-width: max-content;">

Ef3

typo

Ef3

→‎オンラインコンパイル実行環境: typo

2400:4151:83c1:2a00:718a:e21b:55b3:6f0d

→‎エラトステネスの篩: エラトステネスの篩を、若干 Zig らしく書いてみました。

2400:4151:83c1:2a00:718a:e21b:55b3:6f0d

→‎抽象クラス（の代替）: Fix link

2400:4151:83c1:2a00:718a:e21b:55b3:6f0d

→‎附録

2400:4151:83c1:2a00:a04f:9572:80c7:585c

→‎ソート: 標準ライブラリーのソート機能の使用例。

Ef3

→‎ファイルの見出し: ファイルを開いて内容をアロケートしたバッファに読出し標準出力に出力する例。

Ef3

→‎ジェネリックな複素数型: ジェネリックプログラミングを使った複素数型を実装してみました。

Ef3

→‎ライフタイムとオーナーシップ: ポインターを指しているメモリーが利用できなくなったときに、ポインターにアクセスしないようにするのは、Zigのプログラマーの責任です。スライスは、他のメモリーを参照するという点で、ポインターの一種であることに注意してください <ref>[https://ziglang.org/documentation/master/#Lifetime-and-Ownership Lifetime and Ownership]</ref>。 バグを防ぐために、ポインターを扱うときに従うと便利な規則があります。一般に、関数がポインターを返す場合、その関数のドキュメントでは、誰がそのポインターを「所有」しているかを説明する必要があります。この概念は、プログラマーがポインターを解放することが適切である場合、そのタイミングを判断するのに役立ちます。 例えば、関数のドキュメントに「返されたメモリーは呼び出し元が所有する」と書かれていた場合、その関数を呼び出すコードは、いつそのメモリーを解放するかという計画を持っていなければなりません。

Ef3

→‎再帰: 再帰( ''Recursion'' )はソフトウェアをモデリングする際の基本的なツールである。しかし、再帰にはしばしば見落とされがちな問題があります<ref>[https://ziglang.org/documentation/master/#Recursion Recursion]</ref>。 再帰はZigで活発に実験されている分野であり、ここにある文書は最終的なものではありません。[https://ziglang.org/download/0.3.0/release-notes.html#recursion 0.3.0のリリースノートで、再帰の状況を要約]して読むことができます。 簡単にまとめると、現在のところ再帰は期待通りに動作しています。Zigのコードはまだスタックオーバーフローから保護されていませんが、Zigの将来のバージョンでは、Zigのコードからのある程度の協力が必要ですが、そのような保護を提供することが予定されています。

Ef3

→‎ヒープアロケーションの失敗: 多くのプログラミング言語では、ヒープ割り当てに失敗した場合、無条件にクラッシュすることで対処することにしています<ref>[https://ziglang.org/documentation/master/#Heap-Allocation-Failure Heap Allocation Failure]</ref>。 Zig のプログラマは、慣習として、これが満足のいく解決策であるとは考えていません。 その代わり、error.OutOfMemoryはヒープ割り当ての失敗を表し、Zigライブラリーはヒープ割り当ての失敗で処理が正常に完了しなかったときはいつでもこのエラーコードを返します。

Ef3

→‎アロケーターの実装: Zig プログラマーは Allocator インターフェースを満たすことで、自分自身のアロケーターを実装することができます。そのためには、std/mem.zig のドキュメントコメントをよく読んで、allocFn と resizeFn を指定する必要があります<ref>[https://ziglang.org/documentation/master/#Implementing-an-Allocator Implementing an Allocator]</ref>。 インスピレーションを得るために、多くのアロケータの例を見ることができます。std/heap.zig と std.heap.GeneralPurposeAllocator を見てください。

Ef3

→‎バイトはどこにあるのか？: ”foo” のような文字列リテラルは、グローバル定数データセクションにあります。このため、文字列リテラルをミュータブルスライスに渡すとエラーになります<ref>[https://ziglang.org/documentation/master/#Where-are-the-bytes Where are the bytes]</ref>。 文字列リテラルと同様に、コンパイル時に値が分かっているconst宣言は、グローバル定数データセクションに格納されます。また、コンパイル時変数もグローバル定数データセクションに格納されます。 関数内のvar宣言は、その関数のスタックフレームに格納されます。関数が戻ると、関数のスタックフレームにある変数へのポインターは無効な参照となり、その参照解除は未確認の未定義動作となります。

Ef3

用語の統一

Ef3

→‎アロケーターの選び方: どのアロケーターを使うかは、様々な要因によって決まります。以下は、判断のためのフローチャートです<ref>[https://ziglang.org/documentation/master/#Choosing-an-Allocator Choosing an Allocator]</ref>。

Ef3

→‎メモリー管理: Zig言語はプログラマに代わってメモリー管理を行うことはありません。このため、Zigにはランタイムがなく、Zigのコードはリアルタイム・ソフトウェア、OSカーネル、組み込み機器、低遅延サーバーなど、多くの環境でシームレスに動作します。その結果、Zigのプログラマは常に次のような問いに答えられなければなりません<ref>[https://ziglang.org/documentation/master/#Memory Memory]</ref>。 : 『バイトはどこにあるのか？』 Zigと同様、C言語もメモリー管理を手動で行っています。しかし、Zigとは異なり、C言語にはmalloc、realloc、freeというデフォルトのアロケーターがあります。libc とリンクするとき、Zig はこのアロケーターを std.heap.c_allocator で公開します。しかし、慣習として、Zig にはデフォルトのアロケーターはありません。代わりに、割当てが必要な関数は Allocator パラメーターを受け取ります。

Ef3

s/エラーセット/エラー集合/

Ef3

→‎アライメント: 内部リンク

Ef3

内部リンク

Ef3

→‎C言語との相互運用: ZigはC言語から独立しており、他の多くの言語とは異なりlibcに依存しませんが、Zigは既存のC言語で書かれたとの相互作用の重要性を認めています<ref>[https://ziglang.org/documentation/master/#C C]</ref>。 ZigはC言語との相互運用を容易にするために、いくつかの方法を用意しています。

Ef3

{{先頭に戻る}}

Ef3

CSS cleanup

Ef3

<div><h2>概要 </h2><div style="display:inline-block; width:100%; text-align:right">先頭に戻る</div></div>

Ef3

<div style="position: sticky;"><h2>$1</h2><div style="display:inline-block; width:100%; text-align:right">先頭に戻る</div></div>

Ef3

→‎チートシート: <syntaxhighlight lang=zig style="width: fit-content">; s/エラー集合/エラーユニオン/g

Ef3

→‎組込み関数: テンプレート型のファイル分割

Ef3

→‎チートシート: <div style="column-width: fit-content;">

Ef3

→‎チートシート: 基礎篇の前に移動；案内図がわりに

Ef3

→‎（執筆中）: @divFloor @divTrunc

Ef3

→‎キーワード一覧: cleanup

Ef3

→‎チートシート: while, for, <syntaxhighlight lang=zig style="width: fit-content">

Ef3

→‎チートシート: 16進浮動小数点数の様な特殊な表記は載せなかった。

Ef3

→‎エントリーポイント: Zigでは、関数 mainがエントリーポイントです。

Ef3

→‎飽和演算: Zigには、四則演算などの演算子に飽和演算( ''Saturation calculation'' )バージョンが用意されています。

Ef3

→‎オーバーフロー: Zigでは、四則演算などの演算子はディフォルトでオーバーフローを検出します。それとは別に、（C言語などのように）ラッピングを行う演算子が別に用意されています。

Ef3

→‎コンパイル時: unreachableの型はnoreturnです<ref>[https://ziglang.org/documentation/master/#At-Compile-Time At Compile Time]</ref>。 ＠TypeOf(unreachable)はコンパイルに失敗します。 unreachable式はコンパイルエラーになるからです。→‎noreturn型: noreturnは、つぎ文の型です<ref>[https://ziglang.org/documentation/master/#noreturn noreturn]</ref>。 * break * continue * return * unreachable * while (true) {} if節やswitchの分岐先( ''prongs'' )など、型を一緒に解決する場合、noreturn型は他のすべての型と互換性があります。