Inisialisasi ulang daftar? Apa yang terjadi di bawah tenda?

Saya belajar lebih banyak tentang elisp dan menemui masalah berikut:

Jika saya ingin mengatur ulang variabel daftar, itu tidak akan diperbarui setelah evaluasi pertama. Berikut ini beberapa contoh kode:

(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)

Saya tertarik pada dua hal. Yang pertama adalah untuk mempelajari lebih lanjut tentang apa yang terjadi "di bawah tenda" jadi mengapa itu bekerja pertama kali dan gagal pada panggilan berikutnya?

Pertanyaan kedua dan lebih praktis adalah bagaimana menginisialisasi ulang daftar dengan benar atau adakah cara lain yang umum untuk melakukan sesuatu seperti itu?

Satu solusi yang saya temukan sendiri adalah dengan menggunakan daftar yang dikutip dan mengevaluasi konten seperti ini:

(setq example `(,3)) 

Mungkin ini akan menghilangkan beberapa kebingungan:

• Fungsi initilizeAnda tidak menginisialisasi variabel example. Ini menetapkannya ke sel kontra tertentu - sel kontra yang sama setiap kali dipanggil. Pertama kali initilizedipanggil, setqditugaskan exampleke sel kontra baru, yang merupakan hasil evaluasi '(3). Panggilan selanjutnya untuk initilizehanya menetapkan kembali exampleke sel kontra yang sama.

• Karena initilizebaru saja menugaskan ulang sel kontra yang sama example, modifyhanya mengatur mobil sel kontra yang sama untuk 2setiap kali dipanggil.

• Untuk menginisialisasi daftar, gunakan listatau cons(atau sexp backquote yang setara, seperti `(,(+ 2 1))atau `(,3)). Sebagai contoh, gunakan (list 3).

Kunci untuk memahami ini adalah untuk mengetahui bahwa sel kontra yang dikutip dievaluasi hanya sekali, dan setelah itu sel kontra yang sama dikembalikan. Ini belum tentu cara semua Lisps berperilaku, tetapi itulah cara Emacs Lisp berperilaku.

Secara umum, perilaku mengevaluasi objek yang dapat diubah yang dikutip bergantung pada implementasi, jika tidak bergantung pada bahasa. Dalam Common Lisp, misalnya, saya cukup yakin bahwa tidak ada dalam definisi (spek) bahasa yang mendefinisikan perilaku dalam hal ini - itu diserahkan kepada implementasinya.

Rangkuman: Jangan berharap '(beberapa daftar) menjadi sama dengan' (beberapa daftar) - selamanya. Pada umumnya tidak ada jaminan dalam Lisp bahwa kode yang dengan jelas mengutip daftar mengembalikan struktur daftar baru setiap kali. Dalam beberapa implementasi Lisp mungkin, atau mungkin beberapa waktu. Pada orang lain, itu tidak pernah terjadi. Kode Anda seharusnya tidak tergantung pada perilaku seperti itu dari implementasi. Jika Anda ingin struktur baru daftar, penggunaan listatau consatau setara.

Anda dapat menggunakan (setq example (list 3))untuk menghindari kesalahan ini.

Apa yang terjadi adalah initpihak yang ditunjuk obyek yang awalnya berisi (3)ke example. Ini menetapkan nilai objek hanya sekali. Selanjutnya, Anda memodifikasi nilai ini.

Inilah contoh Anda dalam C ++, jika Anda memahami itu dengan lebih baik:

#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;
}