a22_acl2_01 のバックアップ(No.2) - essen-wiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
a22_acl2_01 へ行く。
- 1 (2022-11-20 (日) 16:22:08)
- 2 (2022-11-20 (日) 17:00:24)
- 3 (2022-11-21 (月) 13:11:49)
- 4 (2022-11-21 (月) 23:43:09)
- 5 (2022-11-22 (火) 10:07:55)
- 6 (2022-11-23 (水) 07:38:44)

acl2ライブラリ

(by K, 2022.11.20)

(0)

acl2ライブラリは、できるだけC言語が使いやすくなるようにするためのライブラリです。このライブラリが提供するマクロや関数などは、すべてAかaで始まる名前が付けられています。

説明はいかにも他人が使うことを想定しているように見えるかもしれませんが、基本的には自分用で作っています。しかし誰が使ってもかまいません。

(1) 構造体の宣言

基本的には以下のようにしてください。
```
AClass(名前) {
  メンバの宣言
};
```
こうするだけで自動的にtypedefもされるので、以降はstructを書かずに使用できます。これはC++の仕様に似せています。

もし、とりあえずクラス名だけ宣言してポインタを使えるようにして、あとでクラスの中身を宣言したい場合は次のようにしてください。
```
AClass0(名前);
これ以降は 名前 * が使えます。

AClass1(名前) {
  メンバの宣言
};
```

裏方はこうなっています。

#define AClass0(nam)   typedef struct nam##_ nam
#define AClass1(nam)   struct nam##_
#define AClass(nam)    AClass0(nam); AClass1(nam)

(2) デストラクタ

構造体の最初のメンバは、デスクトラクタ関数（deinit関数）のポインタが入っていることが望ましいです。この取り決めがあれば、素性のよくわからないオブジェクトであっても、少なくともデストラクタは呼べるということになります。
デストラクタ関数は、第一引数がオブジェクトへのポインタで、第二引数が整数値になっています。この第二引数で、デストラクト処理の状況を知らせます。0なら通常の終了で、1なら緊急の終了です。一般に緊急の終了の場合は、longjmpなどのような正常なネスト処理が行えない状況などに対応していて、それに配慮した処理が期待されます（正しい順序でデストラクタ関数を呼べていなくてもエラーにはしないとか）。ということで、基本的には通常終了を選んでください。

ただまあ、このルールは、acl2ライブラリが提供するオブジェクトが守っているルールであって、acl2ライブラリを使う側のプログラムは、この制約を守る義務はありません。

(3) メモリ管理

acl2ライブラリが提供する関数群は、勝手にmallocやfreeを呼び出すことはありません。必ずメモリ管理オブジェクトを経由してメモリ管理を行います（AMC）。これによりライブラリ利用者は、acl2ライブラリが勝手にメモリを確保したり開放したりすることを心配しないで済みます。もし自前のメモリ管理アルゴリズムを使いたい場合は、簡単に適用できます。
この機能のおかげで、オブジェクトごとにメモリ管理の方法を選択するようなこともできます。