Perché eclipse dice che null è un tipo primitivo?

Question

Ho scritto questa riga di codice in mars Eclipse per scopi che pasticciano:

null.toString(); 

ed ho ottenuto il seguente messaggio di errore del compilatore:

non può invocare toString() sul tipo primitivo nulla

Il che è molto strano poiché null non è un tipo primitivo né un riferimento a un oggetto come spiegato qui: Is null an Object?

Così, tanto per essere sicuro, ho provato a compilare tale linea dispari di codice utilizzando javac e ho ottenuto questo risultato:

NullTest.java:3: non può essere dereferenziati

null.toString(); 
    ^ 

1 errore

Qualcuno sa perché Eclipse fornirebbe un messaggio di errore del compilatore ingannevole (IMO)?

Answer 1

Poiché il null-tipo è un subtype di Object, è concepibile OK per richiamare Object metodi su null.

Tuttavia, seguendo tale logica, poiché il tipo nullo è un sottotipo di ogni tipo di riferimento, dovremmo poter richiamare qualsiasi metodo di qualsiasi classe/interfaccia su null. Sarà un casino.

Sintatticamente, null.toString() dovrebbe essere recognized come invocazione espressione metodo a prima, perché null è un'espressione Primary. Quindi, per determinare la classe/interfaccia per la ricerca per il metodo toString, JLS says

... La classe o interfaccia per la ricerca è T se T è un tipo di classe o interfaccia, o il limite superiore di T, se T è una variabile di tipo

È un errore in fase di compilazione se T non è un tipo di riferimento.

T è il tipo null qui; non è un tipo di classe, un tipo di interfaccia o una variabile di tipo, quindi questo passaggio dovrebbe fallire. Tuttavia, fallisce perché T non è un tipo di riferimento?

Il tipo null è un tipo di riferimento?JLS says

I tipi ... sono suddivisi in due categorie: i tipi primitivi e tipi di riferimento

I tipi numerici sono ....

Il riferimento tipi sono tipi di classe, tipi di interfaccia, [tipo variabili,] e tipi di array. [periodo!]

C'è anche uno speciale tipo Null.

A seconda del parsing del testo, il tipo di null può o non può essere un tipo di riferimento. Di solito non è molto importante; è solo una questione di categorizzazione. Ma porta a confusioni, per esempio in questo caso - l'errore è perché T non è un tipo di riferimento "corretto" e il compilatore deduce per errore che deve essere un tipo primitivo.

Answer 2

Non c'è motivo.

Solitamente eclissi analizza il bytecode e per qualche motivo null.toString() sono due istruzioni bytecode, una definizione e una chiamata. Poiché è possibile chiamare toString solo sugli oggetti, eclipse presuppone che la dichiarazione debba dichiarare una primitiva.

È possibile scrivere un Bugreport ma pensare al sovraccarico che potrebbe derivare dall'internazionalizzazione del messaggio di errore.