リストの適切な再初期化？内部で何が起こっていますか？

私はもう少しelispを教えています、そして次の問題に遭遇しました：

リスト変数をリセットしたい場合、最初の評価後に更新されません。ここにいくつかのサンプルコードがあります：

(defun initilize ()
  (setq example '(3)))

(defun modify ()
  (initilize)
  (message "%S" example)
  (setcar example 2))

; M-x eval-buffer RET
(modify) ; message --> (3)
(modify) ; message --> (2)
(modify) ; message --> (2)

私は2つのことに興味があります。1つ目は、「内部」で何が起こっているのかを詳しく知ることです。なぜそれが初めて機能し、その後の呼び出しで失敗するのでしょうか。

2番目のより実用的な質問は、リストを適切に再初期化する方法ですか、またはそのようなことを行う別の一般的な方法はありますか？

私が見つけた1つの回避策は、引用リストを使用して、次のようにコンテンツを評価することです。

(setq example `(,3)) 

多分これはいくつかの混乱を取り除くでしょう：

• 関数initilizeは変数を初期化しませんexample。特定のコンスセルに設定されます-呼び出されるたびに同じコンスセル。が最初にinitilize呼び出されたときに、が評価された結果である新しいコンスセルにsetq割り当てexampleられ'(3)ます。同じコンスセルにinitilize再割り当てexampleするための後続の呼び出し。

• initilize同じコンスセルをに再割り当てするだけなのでexample、呼び出されるたびにmodify同じコンスセルの車をに設定するだけ2です。

• リストを初期化するには、listor cons（または同等のバッククォートsexp、`(,(+ 2 1))orなど`(,3)）を使用します。たとえば、を使用します(list 3)。

これを理解する鍵は、引用されたコンスセルが1回だけ評価され、その後同じコンスセルが返されることを知ることです。これは必ずしもすべてのLispが動作する方法ではありませんが、Emacs Lispが動作する方法です。

より一般的には、引用された可変オブジェクトを評価する動作は、言語に依存しない場合でも、実装に依存します。たとえば、Common Lispでは、この点で動作を定義する言語の定義（仕様）には何もないことは確かです。実装次第です。

要約： '（some list）がeq to'（some list）であることを期待しないでください-リストを目に見える形で引用するコードが毎回新しいリスト構造を返すという保証はLisp にはありません。一部のLisp実装では、そうなる場合もあれば、場合によってはそうなる場合もあります。他では、それは決してしません。いずれにしても、コードは実装からのそのような動作に依存してはなりません。新しいリスト構造が必要な場合はlist、consまたは同等のものを使用してください。

(setq example (list 3))このエラーを回避するために使用できます。

何が起こるかはinit、最初に含まれ(3)ているオブジェクトをに割り当てますexample。オブジェクトの値は1回だけ設定されます。その後、この値を変更します。

あなたがそれをよりよく理解しているなら、これはC ++でのあなたの例です：

#include <stdio.h>
#include <string.h>
char* example;
char* storage = 0;
char* create_object_once (const char* str) {
  if (storage == 0) {
    storage = new char[strlen (str)];
    strcpy (storage, str);
  }
  return storage;
}
void init () {
  example = create_object_once ("test");
}
void modify () {
  init ();
  printf ("%s\n", example);
  example[0] = 'f';
}
int main (int argc, char *argv[]) {
  modify ();
  modify ();
  modify ();
  return 0;
}