Saya Mencari jawaban pasti dari sumber primer atau sekunder untuk alasan (terutama) Java dan C # memutuskan untuk memiliki metode statis sebagai titik masuk mereka, daripada mewakili contoh aplikasi dengan turunan dari sebuah Applicationkelas (dengan titik masuknya menjadi konstruktor yang tepat).

Latar belakang dan detail penelitian saya sebelumnya

Ini telah ditanyakan sebelumnya. Sayangnya, jawaban yang ada hanya mengemis pertanyaan . Secara khusus, jawaban berikut tidak memuaskan saya, karena saya anggap salah:

• Akan ada ambiguitas jika konstruktor kelebihan beban. - Faktanya, C # (dan juga C dan C ++) memungkinkan tanda tangan yang berbeda Mainsehingga ambiguitas potensial yang sama ada, dan ditangani.
• Sebuah staticmetode berarti tidak ada benda-benda dapat dipakai sebelum jadi urutan inisialisasi jelas. - Ini hanya faktual salah, beberapa objek yang dipakai sebelumnya (misalnya dalam konstruktor statis).
• Jadi mereka dapat dipanggil oleh runtime tanpa harus instantiate objek induk. - Ini bukan jawaban sama sekali.

Sekedar alasan mengapa saya pikir ini adalah pertanyaan yang valid dan menarik:

• Banyak kerangka kerja yang menggunakan kelas untuk mewakili aplikasi, dan konstruktor sebagai titik masuk. Misalnya, kerangka kerja aplikasi VB.NET menggunakan dialog utama khusus (dan konstruktornya) sebagai titik masuk ¹ .

• Baik Java maupun C # secara teknis tidak memerlukan metode utama. Yah, C # butuh satu untuk dikompilasi, tetapi Java bahkan tidak. Dan dalam kedua kasus itu tidak diperlukan untuk eksekusi. Jadi ini sepertinya bukan batasan teknis. Dan, seperti yang saya sebutkan di paragraf pertama, untuk konvensi belaka, tampaknya anehnya tidak sesuai dengan prinsip desain umum Java dan C #.

Untuk menjadi jelas, tidak ada kerugian spesifik untuk memiliki mainmetode statis , itu hanya aneh , yang membuat saya bertanya-tanya apakah ada beberapa alasan teknis di baliknya.

Saya tertarik pada jawaban pasti dari sumber primer atau sekunder, bukan spekulasi belaka.

¹ Meskipun ada panggilan balik ( Startup) yang dapat mencegat ini.

TL; DR

Di Jawa, alasannya public static void main(String[] args)adalah itu

1. Gosling ingin
2. kode yang ditulis oleh seseorang yang berpengalaman dalam C (bukan di Jawa)
3. untuk dieksekusi oleh seseorang yang terbiasa menjalankan PostScript di NeWS

 
Untuk C #, alasannya hampir sama untuk berbicara. Perancang bahasa membuat sintaksis titik entri program tetap familier bagi programmer yang datang dari Jawa. Seperti yang dikatakan arsitek C #, Anders Hejlsberg ,

... pendekatan kami dengan C # hanyalah menawarkan alternatif ... ke pemrogram Java ...

Versi panjang

berkembang di atas dan didukung dengan referensi yang membosankan.

Terminator java Hasta la vista Baby!

VM Spec, 2.17.1 Memulai Mesin Virtual

... Cara di mana kelas awal ditentukan untuk mesin virtual Java berada di luar ruang lingkup spesifikasi ini, tetapi biasanya, di lingkungan host yang menggunakan baris perintah, untuk nama kelas yang sepenuhnya memenuhi syarat untuk ditentukan sebagai argumen baris perintah dan untuk argumen baris perintah selanjutnya yang akan digunakan sebagai string yang akan diberikan sebagai argumen ke metode utama. Misalnya, menggunakan Java 2 SDK Sun untuk Solaris, baris perintah

java Terminator Hasta la vista Baby!

akan memulai mesin virtual Java dengan menjalankan metode utama kelas Terminator(kelas dalam paket yang tidak disebutkan namanya) dan memberikannya array yang berisi empat string "Hasta", "la", "vista", dan "Baby!" ...

... lihat juga: Lampiran: Saya membutuhkan pakaian, sepatu bot, dan sepeda motor Anda

• Interpretasi saya:
  eksekusi ditargetkan untuk digunakan seperti skrip pada antarmuka baris perintah.

sidestep penting

... yang membantu menghindari beberapa jejak palsu dalam penyelidikan kami.

VM Spec, 1.2 Mesin Virtual Java

Mesin virtual Java tidak tahu apa-apa tentang bahasa pemrograman Java ...

^{Saya perhatikan di atas ketika mempelajari bab sebelumnya - 1.1 Sejarah yang saya pikir bisa membantu (tetapi ternyata tidak berguna).}

• Interpretasi saya:
  eksekusi diatur oleh VM spec saja, yang
  secara eksplisit menyatakan bahwa itu tidak ada hubungannya dengan bahasa Java
  => OK untuk mengabaikan JLS dan apa pun yang terkait dengan bahasa Jawa sama sekali

Gosling: kompromi antara bahasa C dan scripting ...

Berdasarkan hal di atas, saya mulai mencari web untuk sejarah JVM . Tidak membantu, terlalu banyak sampah dalam hasil.

Kemudian, saya teringat legenda tentang Gosling dan mempersempit pencarian saya ke sejarah Jling Gosling .

Eureka! Bagaimana Spesifikasi JVM Datang

Dalam keynote ini dari JVM Languages ​​Summit 2008, James Gosling membahas ... penciptaan Java, ... kompromi antara C dan bahasa scripting ...

• Interpretasi saya:
  pernyataan eksplisit bahwa pada saat penciptaan,
  C dan skrip dianggap sebagai pengaruh yang paling penting.
   
  Sudah terlihat anggukan pada skrip di VM Spec 2.17.1,
  argumen baris perintah cukup menjelaskan String[] args
  tetapi staticdan mainbelum ada di sana, perlu menggali lebih lanjut ...

^{Catatan saat mengetik ini - menghubungkan C, scripting dan VM Spec 1.2 dengan tidak ada-nya-Jawa - Saya merasa seperti sesuatu yang akrab, sesuatu ... berorientasi objek perlahan berlalu. Pegang tanganku dan terus bergerak. Jangan memperlambat, kita hampir sampai}

Slide utama tersedia secara online: 20_Gosling_keynote.pdf , cukup nyaman untuk menyalin poin utama.

    halaman 3

        Prasejarah Jawa
        * Apa yang membentuk pemikiran saya

    halaman 9

        Berita
        * Networked Extensible Window System
        * Sistem jendela berdasarkan scripting ....
          PostScript (!!)

    halaman 16

        Sasaran Besar (namun hening):
          Seberapa dekat saya bisa dengan a
          "scripting" merasa ...

    halaman 19

        Konsep aslinya
        * Apakah semua tentang bangunan
          jaringan benda,
          diatur oleh skrip
          bahasa
        * (Unix shells, AppleScript, ...)

    halaman 20

        A Wolf in Sheeps Clothing
        * Sintaks C untuk membuat pengembang
          nyaman

A-ha! Mari kita lihat lebih dekat pada sintaks C .

Contoh "halo, dunia" ...

main()
{
    printf("hello, world\n");
}

... fungsi bernama utama sedang didefinisikan. Fungsi utama melayani tujuan khusus dalam program C; lingkungan run-time memanggil fungsi utama untuk memulai eksekusi program.

... Fungsi utama sebenarnya memiliki dua argumen, int argcdan char *argv[], masing-masing, yang dapat digunakan untuk menangani argumen baris perintah ...

Apakah kita semakin dekat? kamu bertaruh. Juga patut mengikuti tautan "utama" dari kutipan di atas:

fungsi utama adalah di mana program memulai eksekusi. Ini bertanggung jawab untuk organisasi tingkat tinggi dari fungsionalitas program, dan biasanya memiliki akses ke argumen perintah yang diberikan kepada program ketika dieksekusi.

• Interpretasi saya:
  Agar nyaman bagi pengembang C, titik masuk program harus main.
  Juga, karena Java membutuhkan metode apapun untuk berada di kelas, Class.mainadalah
  sedekat karena mendapat: doa statis, hanya nama kelas dan dot,
  tidak ada konstruktor menyenangkan - C tahu apa-apa seperti itu.
   
  Ini juga transitif berlaku untuk C #, dengan mempertimbangkan
  gagasan migrasi mudah untuk itu dari Jawa.

^{Pembaca yang berpikir bahwa titik masuk program yang familier tidak masalah diundang dengan ramah untuk mencari dan memeriksa pertanyaan Stack Overflow di mana orang-orang yang berasal dari Java SE mencoba menulis Hello World untuk Java ME MIDP. Catatan MIDP entry point tidak memiliki mainatau tidak static.}

Kesimpulan

Berdasarkan di atas saya akan mengatakan itu static, maindan String[] argspada saat Jawa dan C # pilihan yang paling masuk akal untuk menentukan titik masuk program .

Lampiran: Saya membutuhkan pakaian, sepatu bot, dan sepeda motor Anda

Harus mengakui, membaca VM Spec 2.17.1 sangat menyenangkan.

... baris perintah

java Terminator Hasta la vista Baby!

akan memulai mesin virtual Java dengan memanggil metode utama kelas Terminator(kelas dalam paket yang tidak disebutkan namanya) dan memberikannya array yang berisi empat string "Hasta", "la", "vista", dan "Baby!".

Kami sekarang menguraikan langkah-langkah yang mungkin dilakukan oleh mesin virtual Terminator, sebagai contoh proses pemuatan, penautan, dan inisialisasi yang dijelaskan lebih lanjut di bagian selanjutnya.

Upaya awal ... menemukan bahwa kelas Terminatortidak dimuat ...

Setelah Terminatordimuat, harus diinisialisasi sebelum main dapat dipanggil, dan suatu tipe (kelas atau antarmuka) harus selalu dihubungkan sebelum diinisialisasi. Menautkan (§2.17.3) melibatkan verifikasi, persiapan, dan (opsional) resolusi ...

Verifikasi (§2.17.3) memeriksa bahwa representasi yang dimuat Terminatorterbentuk dengan baik ...

Resolusi (§2.17.3) adalah proses memeriksa referensi simbolis dari kelas Terminator...

 
Referensi simbolis dari Terminatoroh yeah.

Itu hanya terasa agak kasar bagi saya. Konstruktor digunakan untuk inisialisasi objek: ia menetapkan objek, yang kemudian digunakan oleh kode yang membuatnya.

Jika Anda meletakkan fungsionalitas penggunaan dasar di dalam konstruktor, dan kemudian tidak pernah benar-benar menggunakan objek yang dibuat konstruktor dalam kode eksternal, maka Anda melanggar prinsip-prinsip OOP. Pada dasarnya, melakukan sesuatu yang sangat aneh tanpa alasan yang jelas.

Mengapa Anda tetap ingin melakukan itu?

Untuk Jawa saya pikir alasannya sederhana: Ketika mengembangkan Jawa, para devs tahu bahwa kebanyakan orang yang belajar bahasa akan mengenal C / C ++ sebelumnya.

Oleh karena itu Java tidak hanya terlihat sangat mirip C / C ++ daripada mengatakan smalltalk, tetapi juga mengambil alih keistimewaan dari C / C ++ (pikirkan saja literal integer literal). Karena c / c ++ keduanya menggunakan metode utama, melakukan hal yang sama untuk java masuk akal dari sudut pandang itu.

Saya cukup yakin saya ingat bloch atau seseorang mengatakan sesuatu di sepanjang baris ini tentang mengapa mereka menambahkan literal integer oktal, saya akan melihat apakah saya dapat menemukan beberapa sumber :)

Nah, ada banyak fungsi utama di luar sana yang menjalankan infinite loop. Konstruktor yang bekerja dengan cara ini (dengan objek yang tidak pernah dikonstruksi) adalah yang tampaknya aneh bagi saya.

Ada begitu banyak hal lucu tentang konsep ini. Logika Anda berjalan di atas objek yang belum lahir, objek yang dilahirkan untuk mati (karena mereka melakukan semua pekerjaan mereka di konstruktor), ...

Bukankah semua efek samping ini akan merusak lebih banyak gerobak OO daripada publik biasa (karena itu perlu diakses oleh yang tidak dikenal) statis (karena tidak ada contoh diperlukan bagi kita untuk memulai) batal main (karena itu adalah titik masuk )?

Untuk titik masuk fungsi yang sederhana, sederhana, agar ada di Jawa, publik dan statis akan secara otomatis diperlukan. Meskipun menjadi metode statis , itu bermuara pada apa yang bisa kita dapatkan lebih dekat dari fungsi polos untuk mencapai apa yang diinginkan: titik masuk sederhana.

Jika Anda tidak akan mengadopsi titik masuk fungsi yang sederhana, sederhana, sebagai titik masuk. Apa selanjutnya yang tampaknya tidak aneh sebagai konstruktor yang tidak dimaksudkan untuk dibangun?

Anda dapat dengan cepat menjalankan beberapa tes mandiri di kelas, selama pengembangan, dengan menempelkan main()di kelas yang Anda coba tes.

Anda harus mulai dari suatu tempat. Main statis adalah lingkungan eksekusi paling sederhana yang dapat Anda miliki - tidak ada instance apa pun (di luar JVM dan parameter string sederhana) perlu dibuat - sehingga dapat "muncul" dengan minimum keributan (dan kemungkinan rendah) kesalahan pengkodean mencegah startup, dll) dan dapat melakukan hal-hal sederhana tanpa banyak pengaturan lainnya.

Pada dasarnya aplikasi KISS.

[Dan, tentu saja, alasan utamanya adalah: Mengapa tidak?]

Menurut pemahaman saya, alasan utamanya sederhana. Sun adalah perusahaan Unix yang menjual mesin Unix dan Unix adalah apa yang C "main (args)" konvensi untuk memohon biner .

Selain itu Java secara eksplisit dirancang agar mudah diambil untuk programmer C dan C ++, jadi tidak ada alasan yang baik untuk tidak hanya sekadar mengambil konvensi C.

Pendekatan yang dipilih di mana setiap kelas dapat memiliki metode doa cukup fleksibel, terutama dalam kombinasi dengan Main-Classbaris dalam file MANIFEST.MF di jar yang bisa dijalankan.

Ini tidak konsisten dengan filosofi OOP bahwa suatu program akan menjadi objek dari sudut pandang proses OS, karena tidak ada cara untuk memiliki lebih dari satu menurut definisi.

Selain itu, konstruktor bukanlah titik masuk dengan cara apa pun.

Sepertinya saya adalah pilihan paling masuk akal untuk memiliki fungsi utama sebagai statis, yang sebenarnya ada di akhir hari. Mengingat arsitektur VM seperti JVM dan CLR, pilihan lain tidak perlu mendorongnya.