差分

このページの2つのバージョン間の差分を表示します。

--- tutorial:nim:modules [2024/03/11 23:07] – [インポート] freemikan
+++ tutorial:nim:modules [2024/08/19 19:20] (現在) – freemikan
@@ 行 1: / 行 1: @@
 ====== モジュール ======
-このチュートリアルでは数行程度の僅かなコードのプログラムしか作ってきませんでした。現実的なプログラムではもっと多くのコードが必要になります。多くの場合は一つのファイルに全てのコードを詰め込むよりも、そのコードの特性によって複数のファイルに分割したほうが管理しやすくなります。それぞれのファイルは独立したコンパイル単位、つまり、別々にコンパイルされます。そして、通常は、一つのファイルが一つのモジュールになります。
+このチュートリアルでは数行程度の僅かなコードのプログラムしか作ってきませんでした。現実的なプログラムではもっと多くのコードが必要になります。多くの場合は一つのファイルに全てのコードを詰め込むよりも、そのコードの特性によって複数のファイルに分割したほうが管理しやすくなります。それぞれのファイルは独立したコンパイル単位、つまり、別々にコンパイルされます。そして、通常は一つのファイルが一つのモジュールになります。
-====== インポート ======
+===== インポート =====
 モジュールはインポートして使用します。
@@ 行 19: / 行 19: @@
 そして、__main.nim__はmoduleAとmoduleBを使用し、moduleAはotherのmoduleAを、moduleBはotherのmoduleBを使用していたとします。このような依存関係があるとき、各ファイルでimport文を使用して、それぞれ必要とするモジュールをインポートします。
-<codeprism lang=nim>
+<file nim>
 # main.nim
 import moduleA
@@ 行 37: / 行 37: @@
 # other/moduleB.nim
 ...
-</codeprism>
+</file>
-このプログラムをビルドするには、トップレベルのソースファイルである__main.nim__だけをコンパイルに渡します。依存するモジュールの解決とソースファイルのコンパイルは自動的に行われます。
+このプログラムをビルドするには、トップレベルのソースファイルである__main.nim__だけをコンパイラに渡します。依存するモジュールの解決とソースファイルのコンパイルは自動的に行われます。
 <cli>
@@ 行 52: / 行 52: @@
 </cli>
-メッセージに含まれる//"out: /home/freemikan/code/NimTutorial/myApp/myApp [SuccessX]"//の部分から、正常に__main.rs__がコンパイルされて、myAppが生成されたことが確認できます。
+メッセージに含まれる//"out: /home/freemikan/code/NimTutorial/myApp/myApp [SuccessX]"//の部分から、正常に__main.rs__がコンパイルされて、//myApp//が生成されたことが確認できます。((コンパイラは中身が空のモジュールに対して警告が出力しますが、今は重要ではありません。))
-====== エクスポート ======
+===== エクスポート =====
+モジュール内で定義されたシンボル、つまり、変数やプロシージャはデフォルトではモジュール外からアクセスできません。アクセスできるようにするには、エクスポートすることを明示しなければなりません。エクスポートするには、名前に''*''をつけます。
+<file nim>
+# moduleA.nim
+let foo* = 100
+let bar = 200
+# main.nim
+import moduleA
+echo foo    # OK => 100
+echo bar    # コンパイルエラー!
+</file>
+上の例では、''foo*''は''*''が付与さているのでエクスポートされます。''bar''はそうではないのでエクスポートされません。moduleAをインポートする__main.nim__では、''foo''にのみアクセス可能で、''bar''はアクセス不可です。__main.nim__をコンパイルするとエラーになります。
+  Error: undeclared identifier: 'bar'
+__main.nim__では''bar''が全く見えていないことが分かります。
+インポートされるシンボルは直接インポートするモジュール内でエクスポートされているものだけです。
+<file nim>
+# other/moduleA.nim
+let bar* = 200
+# moduleA.nim
+import other/moduleA
+let foo* = 100
+# main.nim
+import moduleA
+echo foo    # OK => 100
+echo bar    # コンパイルエラー!
+</file>
+__main.nim__からはother/moduleAでエクスポートされている''bar''を認識することが出来ません。もし、moudleAがインポートしたother/moduleAも__main.nim__で使えるようにしたいなら、その判断はmoduleAに委ねられます。moduleAがother/moduleAを再エクスポートすれば可能となります。
+<file nim>
+# other/moduleA.nim
+let bar* = 200
+# moduleA.nim
+import other/moduleA
+export moduleA    # other/moduleAを再エクスポート
+let foo* = 100
+# main.nim
+import moduleA
+echo foo    # OK => 100
+echo bar    # OK => 200
+</file>
+定数やプロシージャについても同じ規則に従います。
+<file nim>
+# other/moduleA.nim
+const BAZ* = 300
+proc add3*(a, b, c: int): int = a + b + c
+# moduleA.nim
+import other/moduleA
+const FOO* = 100
+const BAR = 200
+proc add2*(a, b: int): int = a + b
+proc sub2(a, b: int): int = a - b
+# main.nim
+import moduleA
+echo FOO             # OK => 100
+# echo BAR           # コンパイルエラー!
+# echo BAZ           # コンパイルエラー!
+echo add2(1, 2)      # OK => 3
+# echo sub2(1, 2)    # コンパイルエラー!
+# echo add3(1, 2, 3) # コンパイルエラー!
+</file>
+まとめると次のとおりです。
+  * エクスポートするシンボルには''*''を付ける。そうでなければエクスポートされない。
+  * 再エクスポートされていない限り、直接インポートするモジュール内でエクスポートされたシンボルしか有効にならない。
+  * インポートするモジュールのパスはディレクトリ構造が反映される。
+このようにかなりシンプルな規則となっています。
+===== 標準ライブラリ =====
+標準ライブラリもモジュールの仕組みを使って提供されていますので、使用したいものがあればまずインポートする必要があります。ただし、[[https://nim-lang.org/docs/system.html|systemモジュール]]は例外で、自動的にインポートされます。このモジュールには''int''や''bool''などの基本的な型、''array''や''seq''とそのプロシージャなど、必要不可欠なものが含まれています。
+他にどのようなモジュールが提供されているかは、[[https://nim-lang.org/docs/lib.html|標準ライブラリのドキュメント]]がよく整理されているので、そちらを参照すると良いでしょう。