Saya punya dua program kecil ini:
C
#include <stdio.h>
int main()
{
if (5) {
printf("true\n");
}
else {
printf("false\n");
}
return 0;
}Jawa
class type_system {
public static void main(String args[]) {
if (5) {
System.out.println("true");
}
else {
System.out.println("false");
}
}
}yang melaporkan pesan kesalahan:
type_system.java:4: error: incompatible types: int cannot be converted to boolean
if (5) {
^
1 errorPemahaman saya
Sejauh ini, saya mengerti contoh ini sebagai demonstrasi dari sistem tipe yang berbeda. Ketik C lebih lemah dan memungkinkan konversi dari int ke boolean tanpa kesalahan. Java lebih kuat diketik dan gagal, karena tidak ada percakapan implisit yang diizinkan.
Karena itu, pertanyaan saya: Di mana saya salah paham?
Apa yang tidak saya cari
Pertanyaan saya tidak terkait dengan gaya pengkodean yang buruk. Saya tahu itu buruk, tapi saya tertarik mengapa C mengizinkannya dan Java tidak. Oleh karena itu, saya tertarik pada sistem tipe bahasa, khususnya kekuatannya.
22
@toogley: Ada apa dengan sistem tipe di Jawa yang ingin Anda ketahui secara spesifik? Sistem tipe tidak mengizinkan ini karena spesifikasi bahasa melarangnya. Alasan mengapa C mengizinkannya dan Java tidak memiliki segalanya untuk dilakukan dengan apa yang dianggap dapat diterima dalam kedua bahasa. Perilaku yang dihasilkan dari sistem tipe adalah efek dari itu, bukan penyebabnya.
—
Robert Harvey
@toogley: menurut Anda mengapa Anda salah mengerti sesuatu? Membaca teks itu lagi, saya tidak mengerti apa pertanyaan Anda.
—
Doc Brown
Sebenarnya, ini bukan contoh dari pengetikan lemah pada C. Di masa lalu (C89), C bahkan tidak memiliki tipe boolean, jadi semua operasi "boolean" benar-benar beroperasi pada
—
Rufflewind
intnilai. Contoh yang lebih tepat adalah if (pointer).
Saya tidak memilih karena sepertinya tidak banyak penelitian yang dilakukan untuk mencoba memahami hal ini.
—
jpmc26
Tampaknya pertanyaan awal yang diajukan sedikit berbeda dari versi yang diedit (itulah sebabnya beberapa komentar dan jawaban tampaknya menjawab pertanyaan yang berbeda). Dalam bentuknya saat ini, sepertinya tidak ada pertanyaan di sini. Kesalahpahaman apa? Java berperilaku persis seperti yang Anda pikirkan seharusnya.
—
jamesdlin