Ho questi due piccoli programmi:
C
#include <stdio.h>
int main()
{
if (5) {
printf("true\n");
}
else {
printf("false\n");
}
return 0;
}
Giava
class type_system {
public static void main(String args[]) {
if (5) {
System.out.println("true");
}
else {
System.out.println("false");
}
}
}
che riporta il messaggio di errore:
type_system.java:4: error: incompatible types: int cannot be converted to boolean
if (5) {
^
1 error
La mia comprensione
Finora ho capito questo esempio come una dimostrazione dei diversi sistemi di tipi. C è tipizzato più debolmente e consente la conversione da int a booleano senza errori. Java è più fortemente tipizzato e ha esito negativo, perché non è consentita alcuna conversazione implicita.
Pertanto, la mia domanda: dove ho frainteso le cose?
Quello che non sto cercando
La mia domanda non è collegata al cattivo stile di codifica. So che è male, ma mi interessa il motivo per cui C lo consente e Java no. Pertanto, sono interessato al sistema di tipi di linguaggio, in particolare alla sua forza.
22
@toogley: che cosa vuoi sapere del sistema di tipi in Java? Il sistema dei tipi non lo consente perché la specifica della lingua lo proibisce. I motivi per cui C lo consente e Java non ha nulla a che fare con ciò che è considerato accettabile in entrambe le lingue. Il comportamento risultante dei sistemi di tipo ne è l'effetto , non la causa.
—
Robert Harvey,
@toogley: perché pensi di aver frainteso qualcosa? Rileggendo il testo, non capisco quale sia la tua domanda.
—
Doc Brown,
In realtà, questo non è un esempio di digitazione debole in C. In passato (C89), C non aveva nemmeno un tipo booleano, quindi tutte le operazioni "booleane" operavano effettivamente su
—
Rufflewind,
intvalori. Un esempio più appropriato sarebbe if (pointer).
Ho annullato il voto perché non sembra che siano state fatte molte ricerche per capire questo.
—
jpmc26,
Sembra che la domanda originale sia leggermente diversa dalla versione modificata (motivo per cui alcuni dei commenti e delle risposte sembrano rispondere a una domanda diversa). Nella sua forma attuale, non sembra esserci una domanda qui. Che incomprensione? Java si sta comportando esattamente come pensi che dovrebbe essere.
—
jamesdlin,