Datentypen Unklarheiten beim Rechnen

[carom]

Hallo!

Versuche gerade nachzuvollziehen, wie ich in Java Rechenterme notieren muss, damit auch das rauskommt was ich will.

Aber mal von vorne. Es gelten doch folgende Regeln:

- Klammern werden zuerst ausgerechnet
- Operatoren können unterschiedliche Prioritäten haben, nach denen ausgewertet wird
- Ansonsten wird von links nach rechts gerechnet
- Der größte vorkommende Datentyp ist der Datentyp des Ergebnisses (Ausnahme: byte+byte und short+short ergeben int).

Hab ich was vergessen?
Aufjedenfall blick ich trotzdem nicht immer durch.

Beispiel:

int i = 3;
float result;
result = 1.0f/(i*i);

Das funktioniert prima - links ein float-literal, rechts zwei ints dank Klammer zu einem "verschmolzen". Und float mit int ergibt immer float.

Warum funktioniert folgendes nicht? (Funktionieren tuts schon, kommt aber ein int bzw. eine Ganzzahl raus)

int i = 3;
float result;
result = 1.0f/i*i;

Es ist das gleiche wie oben, nur fehlen jetzt die Klammern.
Mal und Geteilt haben die gleiche Priorität 12, es geht von links nach rechts. Er müsste demnach doch erst 1.0f/i rechnen -> float/int, es kommt float raus - und dieses Zwischenergebnis dann nochmal mit i multiplizieren, also float * int, das Ergebnis müsste wieder ein Float sein... es kommt aber eine Ganzzahl dabei raus.

Warum?

Danke schonmal!


//edit:

Achja, wenn wir gerade dabei sind:

Ist 1.0 äquivalent zu 1.0d, bzw. repräsentiert eine Zahl mit Punkt aber ohne Suffix immer ein Double-Wert?

Ich meine nur, weil

double i = 1.0;

funktioniert auch ohne das D-Suffix, bei

float k = 1.0;

meckert er aber wegen precision lost von double nach float.

 

[javimka]

Es ist nicht dasselbe!
Im ersten Beispiel berechnest du 1/i^2 beim zweiten Beispiel berechnest du 1/i * i = i/i = 1. Weil du result als float deklariert hast, ist es auch ein float. Aber der Wert ist gerade 1, das hast du dann wohl als int interpretiert.

 

[carom]

Oh Gott, peinlich, danke.

Damit der Thread wenigstens noch etwas an Inhalt hat hab ich den ersten Post noch etwas erweitert und außerdem noch folgende Frage:

Wir haben gelernt: (Auszug)

"Die Anweisung return result; beendet die Methode und gibt den Wert von result an den Aufrufer zurück.
Der Typ von result muss zuweisungskompatibel mit dem Rückgabetyp der Methode sein".


Was heißt das zuweisungskompatibel jetzt genau? Im Unterricht hat sich das so angehört als könne result vom Typ double, float, int usw, sein, solange der Rückgabetyp im Methodenkopf als double gekennzeicnet ist, weil die eben alle zuweisungskompatibel sind bezüglich double.

Stimmt das? Oder muss result auch wirklich double sein wenn im Methodenkopf double angegeben ist?
Ich kann mich noch an die Worte des Lehrers erinnern: "...result darf von den Primitiven Typen alles sein, nur kein boolean und String...".

 

[javimka]

es gibt einige Casts, die so gemacht werden können. float zo double und int zu long zum Beispiel. Ich weiss nicht, wie viel du schon über Klassen und Vererbung weisst, aber dort gilt das Prizip auch. Alle Klasse erben von Object, wenn der Rückgabewert also Object ist, kannst du auch einen String zurückgeben, weil das ein Object ist.
Und 1.0 ist tatsächlich äquivalent zu 1.0d.

 

[hdi]

...result darf von den Primitiven Typen alles sein, nur kein boolean und String...

Das stimmt im Falle von double, bis auf String. String ist kein primitiver Datentyp! Ich hoffe ihr habt das nicht so gelernt...

Zuweisungskompatibel heisst:
• für primitive Datentypen: Es ist ein implizter Cast von dem Typ, dessen Wert du zurückgibst, zu dem Typ in der Signatur möglich. z.B lässt sich int nach double implizit casten:

public double foo(){
  int i = 2;
  return i;
}

Das ist in Ordnung, denn der Wertebereich von ganzen Zahlen ist im Wertebereich von Fließkommazahlen enthalten. Deshalb gehen auch alle anderen Dinge außer boolean, denn short byte long usw sind alles ganze Zahlen. Nur der Wertebereich ist unterschiedlich, aber die Typen sind implizit nach double "castbar".
Andersrum kannst du also zB ein double nicht implizit nach int casten, weil evtl Information (die Stellen hinter dem Komma) verloren gehen.

• für Objekte: Der Typ dessen Wert du zurückgibst liegt in der Polymorphie-Hierachie "unterhalb" des Typs (oder entspricht exakt dem Typ), der in der Methodensignaturen angegeben ist. zB:

public Object foo(){
  return new String("hi");
}

ist okay, denn String erbt von Objekt,und ist somit ein Objekt.
Das gilt nicht nur für Vererbung, sondern auch für Interface-Implementierungen:

public class MyClass implements ActionListener{
  ...
}

public ActionListener foo(){
   return new MyClass();
}

ist auch okay, denn MyClass implementiert das Interface ActionListener.

 

[carom]

Danke für die ausführlichen Antworten!