Scala-Klasse-Mitglieder und Konstruktor-Parameter name clash

Betrachten Sie die folgende Klasse in Java geschrieben:

class NonNegativeDouble {
    private final double value;
    public NonNegativeDouble(double value) {
        this.value = Math.abs(value);
    }
    public double getValue() { return value; }
}

Es wird ein final-Feld namens value ist, dass die Initialisierung im Konstruktor, indem Sie den parameter namens gleich und anwenden einer Funktion auf es.

Möchte ich etwas schreiben, so ähnlich wie es in Scala. Auf den ersten, habe ich versucht:

class NonNegativeDouble(value: Double) {
  def value = Math.abs(value)
}

Aber der compiler meckert: Fehler: überladene Methode Wert muss der Ergebnistyp

Offensichtlich ist der compiler denkt, dass der Ausdruck value im inneren der Ausdruck Math.abs(value) bezieht sich auf die Methode definiert wird. Also, die Methode definiert ist rekursiv, also muss ich die zurück geben. Also, der code, den ich schrieb, der nicht tut, was ich erwartet hatte, es zu tun: ich wollte value innen Math.abs(value) beziehen sich auf die Konstruktor-parameter value, und nicht auf die Methode definiert wird. Es ist, als ob der compiler implizit Hinzugefügt this. zu Math.abs(this.value).

Hinzufügen val oder var (oder private ... Varianten), um die parameter des Konstruktors nicht scheinen zu helfen.

So, meine Frage ist: kann ich definieren, eine Eigenschaft mit dem gleichen Namen wie ein parameter des Konstruktors, aber vielleicht einen anderen Wert? Wenn ja, wie? Wenn nicht, warum?

Dank!

InformationsquelleAutor Bruno Reis | 2010-09-22
  1. 17

    Nein, das können Sie nicht. In Scala, Konstruktor-Parameter sind Eigenschaften, so dass es keinen Sinn macht, neu zu definieren, Sie.

    Die Lösung, natürlich, ist die Verwendung anderer name:

    class NonNegativeDouble(initValue: Double) {
  val value = Math.abs(initValue)
}

    So wie hier verwendet, initValue wird nicht Teil der erzeugten Instanzen. Jedoch, wenn Sie es in einem def oder einem Muster übereinstimmende Erklärung ab, dann wird es ein Teil von jeder Instanz der Klasse.

    • Ein Konstruktor ist keine Eigenschaft, es sei denn, es ist ein Fall Klasse oder kommentiert mit val oder var. Es ist verfügbar für den Einsatz überall innerhalb der definition der Klasse, obwohl.
    • Gibt es irgendeine Art der Namensgebung der Konstruktor-Parameter in solchen Fällen?
    • Es gibt mehrere Namenskonventionen; mir persönlich gefällt das eine, wo eine 0 angehängt, um den Namen, da null bedeutet, ein Ausgangspunkt, und es ist kurz. (Unterstriche sind manchmal vorangestellt oder angehängt wird, aber ich persönlich das Gefühl, dass es gibt viele Unterstriche rumliegen schon.)
    • Es ist eine private Eigenschaft.
    InformationsquelleAutor Daniel C. Sobral
  2. 4

    @Daniel C. Sobral

    class NonNegativeDouble(initValue: Double) {
  val value = Math.abs(initValue)
}

    dein code ist richtig, aber "Konstruktor-Parameter-Eigenschaften",das ist nicht wahr.

    Ein Beitrag von der offiziellen Website, sagte,

    Parameter wie class Foo(x : Int) verwandelt sich in ein Feld, wenn es
    verwiesen wird in eine oder mehrere Methoden

    Und Martin ' s Antwort bestätigt die Wahrheit:

    Das ist alles wahr, aber es sollte behandelt werden, wie eine Umsetzung
    Technik. Das ist, warum die spec schweigt darüber.

    Also normalerweise können wir noch behandeln primären Konstruktor-Parameter wie normale parameter der Methode, aber wenn die Parameter verwiesen wird, die von jeder der Methoden, der compiler clever schalten Sie es in einen privaten Bereich.

    Wenn jeder formale parameter vorangestellt val, erzeugt der compiler eine getter-definition automatisch.wenn var erzeugt eine setter-zusätzlich. finden Sie die Sprache, die Spezifikation in Abschnitt 5.3.

    Die alles über die primären Konstruktor-Parameter.

    InformationsquelleAutor soulmachine
  3. 2

    Können Sie prüfen, parametrische Feld

    class NonNegativeDouble(val value: Double, private val name: String ){
  if (value < 0) throw new IllegalArgumentException("value cannot be negative")
  override def toString = 
    "NonNegativeDouble(value = %s, name = %s)" format (value, name)
}

val tom = "Tom"
val k = -2.3

val a = new NonNegativeDouble(k.abs, tom)
a: NonNegativeDouble = NonNegativeDouble(value = 2.3, name = Tom)

a.value
res13: Double = 2.3

a.name
<console>:12: error: value name in class NonNegativeDouble cannot be accessed in NonNegativeDouble
     a.name

val b = new NonNegativeDouble(k, tom)
java.lang.IllegalArgumentException: value cannot be negative
...

    Es ist definiert Felder und Parameter mit dem gleichen Namen "Wert", "name".
    Sie können hinzufügen Modifikatoren wie private ...

    • Was meinst du mit "parametric Feld"? Und in deinem Beispiel, können wir leicht zu instanziieren NonNegativeDouble, deren .Wert würde eigentlich zurückgeben negative Doppel.
    • mit "parametric fields", die Sie erstellen können, Felder mit denselben Namen wie die Parameter Namen im Konstruktor. Ich hatte verbesserte sich mein Beispiel.
    InformationsquelleAutor Jan Pavtel
  4. 0

    Im Fall von case classes es sein sollte:

    case class NonNegativeDouble(private val initValue: Double) {
  val value = Math.abs(initValue)
  def copy(value: Double = this.value) = NonNegativeDouble(value)
}

    Die Umsetzung der copy ist erforderlich, um zu verhindern, dass die sintesized version des Compilers, die Bindung der initValue argument.

    Ich erwarte, dass der compiler ist intelligent genug, um nicht behalten die «extra-Platz» für die initValue. Ich habe nicht überprüft, dieses Verhalten.

    InformationsquelleAutor Lord of the Goo
Schreibe einen Kommentar