Scala neden özyinelemeli işlevler için bir dönüş türü gerektiriyor? kodunda

Question

Ben bir ağ çağrı başarısız olursa yeniden deneme kolaylaştırmak için kullanılan bir özyinelemeli fonksiyon çağrısı var, aşağıda yer snippet'ine (Amazon SimpleDB bazen 503 dönmek ve yeniden deneme gerektirecektir.)

Ben derlemeye çalıştığınızda Scala recursive method simpledb_update needs result type'dan şikayet ediyor.

// sends data to SimpleDB. Retries if necessary 
def simpledb_update(name: String, metadata: Map[String,String], attempt: Int) = { 
try { 
    db(config("simpledb_db")) += (name, metadata) 
} catch { 
    case e => 
    // if it fails, try again up to 5 times 
    if(attempt < 6) 
    { 
    Thread.sleep(500) 
    simpledb_update(name, metadata, attempt + 1) 
    } else 
    AUlog(name + ": SimpleDB Failed") 
    } 
} 

Bu neden yineleme işlevleri için gereklidir? Benim düşüncem, derleyiciyi tatmin etmek için doğru/yanlış bir boole döndürmek ... aşağıdakileri derler.

// sends data to SimpleDB. Retries if necessary 
def simpledb_update(name: String, metadata: Map[String,String], attempt: Int): Boolean = { 
try { 
    db(config("simpledb_db")) += (name, metadata) 
    true 
} catch { 
    case e => 
    // if it fails, try again up to 5 times 
    if(attempt < 6) 
    { 
    Thread.sleep(500) 
    simpledb_update(name, metadata, attempt + 1) 
    } else 
    AUlog(name + ": SimpleDB Failed") 
    false 
    } 
} 

Answer 1

Anladığım kadarıyla, özyinelemeli işlevler bir tür döndürme türüne ihtiyaç duyar, çünkü tür çıkarım algoritması tüm özyinelemeli işlevler için geri dönüş türlerini belirlemek için yeterince güçlü değildir. Ancak, bir dönüş türü oluşturmanıza gerek yok, yalnızca kullandığınız iade türünü bildirmeniz yeterlidir: Birim. Ünite sadece bir element() ile özel bir türüdür. Ayrıca, Scala'daki çoğu "deyim" türü ve herhangi bir şey döndürmeye gerek olmayan, ancak yalnızca kendi yan etkileri (sizinki gibi) için çalıştırılan yöntemler için beyan edilen dönüş türüdür. Sen birimi dönen gibi yöntemini ilan edebilir ya yapacağınız diğer tür

def simpledb_update(name: String, metadata: Map[String,String], attempt: Int):Unit = { 

Daha deyimsel Scala sadece dönüş türü atlanıp Eşittir işareti, Birim-dönen yöntemleri için özel bir sözdizimi sağlar

def simpledb_update(name: String, metadata: Map[String,String], attempt: Int){ 

scala tarzı kılavuzuna göre eşittir işaretini kullanmayı tercih etmelidir

http://docs.scala-lang.org/style/declarations.html

Answer 2

Sadece = satırdan kaldırın ve Birim dönecektir, bu, herhangi bir şey döndürmeniz gerekmediği anlamına gelir.

def simpledb_update(name: String, metadata: Map[String,String], attempt: Int) { 

Ben tüm tekrarlama yolları doğru tip olduğundan emin olmak için, dönüş türleri ihtiyacını inanıyoruz. Normal bir işlevde, tür tüm dönüş noktalarından çıkar.