Bu iki küçük programım var:
C
#include <stdio.h>
int main()
{
if (5) {
printf("true\n");
}
else {
printf("false\n");
}
return 0;
}
Java
class type_system {
public static void main(String args[]) {
if (5) {
System.out.println("true");
}
else {
System.out.println("false");
}
}
}
hata mesajını bildiren:
type_system.java:4: error: incompatible types: int cannot be converted to boolean
if (5) {
^
1 error
Benim anlayışım
Şimdiye kadar bu örneği farklı tip sistemlerin bir gösterimi olarak anladım. C daha zayıf yazılmıştır ve int'den boolean'a hatasız dönüşüme izin vermektedir. Java, daha güçlü şekilde yazılmıştır ve örtük bir görüşmeye izin verilmediğinden başarısız olmaktadır.
Dolayısıyla benim sorum: Bir şeyi nerede yanlış anladım?
Ne aramıyorum
Benim sorum kötü kodlama tarzı ile ilgili değil. Kötü olduğunu biliyorum, ama neden C'nin izin verdiği ve Java'nın izin vermediği ile ilgileniyorum. Bu nedenle, dilin tür sistemine, özellikle de sağlamlığına ilgi duyuyorum.
22
@toogley: Java'da özellikle bilmek istediğiniz türdeki sistem nedir? Yazım sistemi buna izin vermiyor çünkü dil özellikleri yasaklıyor. C'nin ve Java'nın izin vermesinin nedenleri, her iki dilde de kabul edilebilir olarak kabul edilenlerle ilgisi yok. Tip sistemlerin ortaya çıkan davranış etkisi Bunun nedeni değil.
—
Robert Harvey
@toogley: neden bir şeyi yanlış anladığını düşünüyorsun? Metni tekrar okumak, sorunuzun ne olduğunu anlamıyorum.
—
Doktor Brown
Aslında, bu C'de zayıf bir yazma örneği değildir . Geçmişte (C89), C'nin bir boolean türü bile yoktu, bu nedenle tüm "boolean" işlemleri aslında
—
Rufflewind
intdeğerler üzerinden gerçekleştirildi . Daha uygun bir örnek olurdu if (pointer).
Oy verdim çünkü bunu anlamaya çalışarak çok fazla araştırma yapılmış gibi görünmüyor.
—
jpmc26
Sorulan asıl sorunun düzenlenen versiyondan biraz farklı olduğu görülüyor (bu nedenle bazı yorumların ve yanıtların bazıları farklı bir soruyu cevaplıyor gibi görünüyor). Mevcut haliyle, burada bir soru görünmüyor. Ne yanlış anlama? Java tam olarak düşündüğünüz gibi davranıyor.
—
jamesdlin