#Private attribute example
class C { 
    has $!w;                            #private attribute
    multi method w { $!w }              #getter method
    multi method w ( $_ ) {                 #setter method
        warn “Don’t go changing my w!”;   #some side action
        $!w = $_
    }  
}
my $c = C.new
$c.w( 42 )
say $c.w #prints 42
$c.w: 43
say $c.w #prints 43

#but not
$c.w = 44
Cannot modify an immutable Int (43)

sejauh ini, sangat masuk akal, dan kemudian

#Public attribute example
class C { 
    has $.v is rw    #public attribute with automatic accessors
}
my $c = C.new
$c.v = 42
say $c.v #prints 42

#but not
$c.v( 43 ) #or $c.v: 43
Too many positionals passed; expected 1 argument but got 2

Saya menyukai kedekatan penugasan '=', tetapi saya membutuhkan kemudahan untuk melakukan tindakan sampingan yang disediakan oleh berbagai metode. Saya mengerti bahwa ini adalah dua dunia yang berbeda, dan mereka tidak bercampur.

TETAPI - Saya tidak mengerti mengapa saya tidak bisa hanya pergi $ cv (43) Untuk mengatur atribut publik

1. Saya merasa bahwa raku membimbing saya untuk tidak mencampur dua mode ini - beberapa atribut pribadi dan beberapa publik dan bahwa tekanannya adalah pada metode metode (dengan beberapa: gula dari usus besar) - apakah ini maksud dari desain Raku?
2. Apakah saya melewatkan sesuatu?

apakah ini maksud dari desain Raku?

Wajar untuk mengatakan bahwa Raku tidak sepenuhnya tidak terbuka di bidang ini. Pertanyaan Anda menyentuh dua tema dalam desain Raku, yang sama-sama layak untuk dibahas.

Raku memiliki nilai l kelas satu

Raku memanfaatkan banyak nilai-l sebagai hal kelas satu. Ketika kita menulis:

has $.x is rw;

Metode yang dihasilkan adalah:

method x() is rw { $!x }

Di is rwsini menunjukkan bahwa metode mengembalikan nilai-l - yaitu, sesuatu yang dapat ditugaskan. Demikian ketika kita menulis:

$obj.x = 42;

Ini bukan gula sintaksis: itu benar-benar panggilan metode, dan kemudian operator penugasan diterapkan untuk hasilnya. Ini berhasil, karena pemanggilan metode mengembalikan Scalarwadah atribut, yang kemudian dapat ditugaskan ke. Seseorang dapat menggunakan binding untuk membagi ini menjadi dua langkah, untuk melihat itu bukan transformasi sintaksis sepele. Sebagai contoh, ini:

my $target := $obj.x;
$target = 42;

Akan menugaskan ke atribut objek. Mekanisme yang sama ini ada di balik berbagai fitur lain, termasuk penugasan daftar. Sebagai contoh, ini:

($x, $y) = "foo", "bar";

Bekerja dengan membangun Listwadah berisi $xdan $y, dan kemudian operator penugasan dalam hal ini iterates setiap sisi berpasangan untuk melakukan penugasan. Ini berarti kita dapat menggunakan rwpengakses objek di sana:

($obj.x, $obj.y) = "foo", "bar";

Dan itu semua secara alami bekerja. Ini juga merupakan mekanisme di balik penugasan pada irisan array dan hash.

Satu juga dapat digunakan Proxyuntuk membuat wadah bernilai-l di mana perilaku membaca dan menulis itu di bawah kendali Anda. Dengan demikian, Anda bisa memasukkan aksi samping ke dalamSTORE . Namun...

Raku mendorong metode semantik atas "setter"

Ketika kami menggambarkan OO, istilah seperti "enkapsulasi" dan "menyembunyikan data" sering muncul. Gagasan utama di sini adalah bahwa model keadaan di dalam objek - yaitu, cara yang dipilihnya untuk merepresentasikan data yang diperlukan untuk mengimplementasikan perilakunya (metode) - bebas untuk berevolusi, misalnya untuk menangani persyaratan baru. Semakin kompleks objek, semakin membebaskan ini menjadi.

Namun, getter dan setter adalah metode yang memiliki koneksi implisit dengan negara. Meskipun kami mungkin mengklaim bahwa kami mencapai penyembunyian data karena kami memanggil metode, tidak mengakses keadaan secara langsung, pengalaman saya adalah bahwa kami dengan cepat berakhir di tempat di mana kode luar membuat urutan panggilan setter untuk mencapai operasi - yang merupakan suatu bentuk iri fitur anti-pola. Dan jika kita melakukan itu , cukup yakin kita akan berakhir dengan logika di luar objek yang melakukan campuran antara pengambil dan penyetel operasi untuk mencapai operasi. Sungguh, operasi ini seharusnya diekspos sebagai metode dengan nama yang menggambarkan apa yang sedang dicapai. Ini menjadi lebih penting jika kita berada dalam pengaturan bersamaan; objek yang dirancang dengan baik seringkali cukup mudah untuk dilindungi pada batas metode.

Yang mengatakan, banyak penggunaan classbenar-benar jenis catatan / produk: mereka ada untuk hanya mengelompokkan sekelompok item data. Bukan kebetulan bahwa .sigil tidak hanya menghasilkan accessor, tetapi juga:

• Memilih atribut agar diatur oleh logika inisialisasi objek default (yaitu, a class Point { has $.x; has $.y; }dapat dipakai sebagai Point.new(x => 1, y => 2)), dan juga menjadikannya dalam .rakumetode dumping.
• Memilih atribut ke .Captureobjek default , yang berarti kita dapat menggunakannya dalam merusak (misalnya sub translated(Point (:$x, :$y)) { ... }).

Mana hal-hal yang Anda inginkan jika Anda menulis dengan gaya yang lebih prosedural atau fungsional dan menggunakan classsebagai sarana untuk menentukan jenis rekaman.

Desain Raku tidak dioptimalkan untuk melakukan hal-hal pintar di setter, karena itu dianggap hal yang buruk untuk dioptimalkan. Ini melampaui apa yang diperlukan untuk tipe rekaman; dalam beberapa bahasa kita bisa berdebat kita ingin melakukan validasi dari apa yang ditugaskan, tetapi di Raku kita dapat beralih ke subsettipe untuk itu. Pada saat yang sama, jika kita benar-benar melakukan desain OO, maka kita menginginkan API perilaku yang berarti yang menyembunyikan model negara bagian, daripada berpikir dalam kaitannya dengan pengambil / penentu, yang cenderung mengarah pada kegagalan untuk berkolokasi. data dan perilaku, yang merupakan inti dari melakukan OO.

TETAPI - Saya tidak mengerti mengapa saya tidak bisa hanya pergi $ cv (43) Untuk mengatur atribut publik

Nah, itu benar-benar terserah arsitek. Tapi serius, tidak, itu bukan cara standar Raku bekerja.

Sekarang, sangat mungkin untuk membuat Attributesifat dalam ruang modul, sesuatu seperti is settable, yang akan membuat metode pengakses alternatif atau yang akan menerima nilai tunggal untuk mengatur nilai. Masalah dengan melakukan ini pada intinya adalah, apakah saya pikir pada dasarnya ada 2 kubu di dunia tentang nilai kembalinya mutator: apakah akan mengembalikan nilai baru , atau nilai lama ?

Silakan hubungi saya jika Anda tertarik menerapkan sifat seperti itu dalam ruang modul.

Saat ini saya curiga Anda baru saja bingung. ¹ Sebelum saya menyinggung itu, mari kita mulai lagi dengan apa yang Anda tidak bingung tentang:

Saya suka kesegeraan =penugasan, tetapi saya membutuhkan kemudahan untuk melakukan tindakan sampingan yang disediakan berbagai metode. ... Saya tidak mengerti mengapa saya tidak bisa langsung pergi $c.v( 43 )Untuk menetapkan atribut publik

Anda dapat melakukan semua hal ini. Artinya Anda menggunakan =penugasan, dan banyak metode, dan "langsung saja $c.v( 43 )", semua pada saat yang sama jika Anda ingin:

class C {
  has $!v;
  multi method v                is rw {                  $!v }
  multi method v ( :$trace! )   is rw { say 'trace';     $!v }
  multi method v ( $new-value )       { say 'new-value'; $!v = $new-value }
}
my $c = C.new;
$c.v = 41;
say $c.v;            # 41
$c.v(:trace) = 42;   # trace
say $c.v;            # 42
$c.v(43);            # new-value
say $c.v;            # 43

Kemungkinan sumber kebingungan ¹

Di belakang layar, has $.foo is rwmenghasilkan atribut dan metode tunggal di sepanjang baris:

has $!foo;
method foo () is rw { $!foo }

Namun di atas tidak sepenuhnya benar. Mengingat perilaku yang kita lihat, foometode autogenerated kompiler entah bagaimana dideklarasikan sedemikian rupa sehingga setiap metode baru dengan nama yang sama secara diam-diam membayangi itu. ²

Jadi, jika Anda menginginkan satu atau beberapa metode khusus dengan nama yang sama dengan atribut, Anda harus melakukannya secara manual mereplikasi metode yang dibuat secara otomatis jika Anda ingin mempertahankan perilaku yang biasanya menjadi tanggung jawabnya.

Catatan kaki

¹ Lihat jawaban jnthn untuk penghitungan yang jelas, menyeluruh, otoritatif dari pendapat Raku tentang pengambil / setter pribadi vs publik dan apa yang dilakukannya di belakang layar ketika Anda mendeklarasikan getter / setter publik (yaitu menulis has $.foo).

² Jika metode accessor autogenerated untuk atribut dideklarasikan only, maka Raku akan, saya kira, melemparkan pengecualian jika metode dengan nama yang sama dideklarasikan. Jika dinyatakan multi, maka tidak boleh dibayangi jika metode baru juga dinyatakan multi, dan harus membuang pengecualian jika tidak. Jadi accessor autogenerated sedang dideklarasikan dengan tidak onlyatau tidak multimelainkan dalam beberapa cara yang memungkinkan bayangan diam.