Mengapa penciptaan instan seperti itu?

Saya telah belajar C # selama sekitar enam bulan terakhir dan sekarang saya mempelajari Jawa. Pertanyaan saya adalah tentang pembuatan instance (dalam kedua bahasa, sungguh) dan ini lebih dari: Saya bertanya-tanya mengapa mereka melakukannya dengan cara itu. Ambil contoh ini

Person Bob = new Person();

Apakah ada alasan bahwa objek tersebut ditentukan dua kali? Apakah akan ada something_else Bob = new Person()?

Tampaknya jika saya mengikuti dari konvensi itu akan lebih seperti:

int XIsAnInt;
Person BobIsAPerson;

Atau mungkin salah satunya:

Person() Bob;
new Person Bob;
new Person() Bob;
Bob = new Person();

Saya kira saya ingin tahu apakah ada jawaban yang lebih baik daripada "itu hanya cara dilakukan".

Apakah akan ada something_else Bob = Orang baru ()?

Ya, karena warisan. Jika:

public class StackExchangeMember : Person {}

Kemudian:

Person bob = new StackExchangeMember();
Person sam = new Person();

Bob juga orang, dan tentu saja, dia tidak ingin diperlakukan berbeda dari orang lain.

Selanjutnya, kita bisa memberkahi Bob dengan kekuatan super:

public interface IModerator { }
public class StackOverFlowModerator : StackExchangeMember, IModerator {}

IModerator bob = new StackOverFlowModerator();

Jadi, demi sial, ia tidak akan tahan diperlakukan berbeda dari moderator lainnya. Dan dia suka menyelinap di sekitar forum untuk menjaga semua orang tetap di jalur sementara penyamaran:

StackExchangeMember bob = new StackOverFlowModerator();

Kemudian ketika dia menemukan beberapa poster 1 yang buruk, dia melepaskan jubah tembus pandang dan menerkam.

((StackOverFlowModerator) bob).Smite(sam);

Dan kemudian dia bisa bertindak semua tidak bersalah dan hal-hal sesudahnya:

((Person) bob).ImNotMeanIWasJustInstantiatedThatWay();

Mari kita ambil baris kode pertama Anda dan memeriksanya.

Person Bob = new Person();

Yang pertama Personadalah spesifikasi tipe. Dalam C #, kita bisa membuang ini hanya dengan mengatakan

var Bob = new Person();

dan kompiler akan menyimpulkan tipe variabel Bob dari panggilan konstruktor Person().

Tetapi Anda mungkin ingin menulis sesuatu seperti ini:

IPerson Bob = new Person();

Di mana Anda tidak memenuhi seluruh kontrak API Orang, tetapi hanya kontrak yang ditentukan oleh antarmuka IPerson.

1. Sintaks ini cukup banyak warisan dari C ++, yang, omong-omong, memiliki keduanya:

   Person Bob;

   dan

   Person *bob = new Bob();

   Yang pertama untuk membuat objek dalam lingkup saat ini, yang kedua untuk membuat pointer ke objek yang dinamis.

2. Anda pasti bisa something_else Bob = new Person()

   IEnumerable<int> nums = new List<int>(){1,2,3,4}

   Anda melakukan dua hal yang berbeda di sini, menyatakan jenis variabel lokal numsdan Anda mengatakan Anda ingin membuat objek baru dari jenis 'Daftar' dan meletakkannya di sana.

3. C # jenis setuju dengan Anda, karena sebagian besar waktu jenis variabel identik dengan apa yang Anda masukkan maka:

   var nums = new List<int>();

4. Dalam beberapa bahasa Anda melakukan yang terbaik untuk menghindari menyatakan jenis variabel seperti dalam F # :

   let list123 = [ 1; 2; 3 ]

Ada perbedaan besar antara int xdan Person bob. Sebuah intadalah intmerupakan intdan harus selalu menjadi intdan tidak pernah bisa menjadi apa pun selain sebuah int. Bahkan jika Anda tidak menginisialisasi intketika Anda mendeklarasikannya ( int x;), itu masih merupakan intset ke nilai default.

Ketika Anda menyatakan Person bob, bagaimanapun, ada banyak fleksibilitas untuk apa nama bobsebenarnya merujuk pada waktu tertentu. Itu bisa merujuk ke Person, atau bisa merujuk ke beberapa kelas lain, misalnya Programmer, berasal dari Person; bahkan bisa jadi null, mengacu pada tidak ada objek sama sekali.

Sebagai contoh:

  Person bob   = null;
  Person carol = new Person();
  Person ted   = new Programmer();
  Person alice = personFactory.functionThatReturnsSomeKindOfPersonOrNull();

Para perancang bahasa tentu bisa membuat sintaksis alternatif yang akan menyelesaikan hal yang sama dengan Person carol = new Person()simbol yang lebih sedikit, tetapi mereka masih harus mengijinkan Person carol = new Person() (atau membuat aturan aneh yang membuat salah satu dari empat contoh di atas ilegal). Mereka lebih peduli dengan menjaga bahasa "sederhana" daripada menulis kode yang sangat ringkas. Itu mungkin memengaruhi keputusan mereka untuk tidak memberikan sintaksis alternatif yang lebih pendek, tetapi bagaimanapun juga, itu tidak perlu dan mereka tidak menyediakannya.

Kedua deklarasi bisa berbeda tetapi seringkali sama. Pola yang umum dan direkomendasikan di Jawa terlihat seperti:

List<String> list = new ArrayList<>();
Map<String, Integer> map = new HashMap<>();

Variabel-variabel ini listdan mapdideklarasikan menggunakan antarmuka Listdan Mapsementara kode instantiate implementasi spesifik. Dengan cara ini, sisa kode hanya tergantung pada antarmuka dan mudah untuk memilih kelas implementasi yang berbeda untuk instantiate, seperti TreeMap, karena sisa kode tidak dapat bergantung pada bagian HashMapAPI yang ada di luar Mapantarmuka.

Contoh lain di mana kedua jenis berbeda adalah dalam metode pabrik yang mengambil subclass spesifik untuk instantiate, kemudian mengembalikannya sebagai jenis dasar sehingga penelepon tidak perlu mengetahui detail implementasi, misalnya pilihan "kebijakan".

Ketik inferensi dapat memperbaiki redundansi kode sumber. Misalnya di Jawa

List<String> listOne = Collections.emptyList();

akan membangun jenis Daftar yang benar berkat ketikkan inferensi dan deklarasi

static <T> List<T> emptyList(); 

Dalam beberapa bahasa, ketik inferensi lebih jauh, misalnya dalam C ++

auto p = new Person();

Dalam kata-kata awam:

• Memisahkan deklarasi dari instantiation membantu memisahkan siapa yang menggunakan objek dari siapa yang menciptakannya
• Ketika Anda melakukannya, poliporfisme diaktifkan sejak, selama tipe instantiated adalah subtipe dari tipe deklarasi, semua kode yang menggunakan variabel akan berfungsi
• Dalam bahasa yang diketik dengan sangat baik Anda harus mendeklarasikan variabel yang menyatakan jenisnya, dengan melakukan var = new Process()Anda tidak mendeklarasikan variabel terlebih dahulu.

Ini juga tentang tingkat kontrol atas apa yang terjadi. Jika deklarasi objek / variabel secara otomatis memanggil konstruktor, misalnya, jika

Person somePerson;

adalah otomatis sama dengan

Person somePerson = new Person(blah, blah..);

maka Anda tidak akan pernah dapat menggunakan (misalnya) metode pabrik statis untuk membuat instance objek daripada konstruktor default, yaitu, ada kalanya Anda tidak ingin memanggil konstruktor untuk instance objek baru.

Contoh ini dijelaskan di Joshua Bloch 's Jawa Efektif (Item 1 cukup ironis!)