Comment traiter paresseusement deux chaînes à la fois?

Question

Supposons que je besoin d'une fonction pour filtrer les caractères de chars d'une chaîne str puis ne prendre que k premiers caractères du résultat:

def cleanTrim(str: String, chars: Set[Char], k: Int): String = 
    str.filterNot(chars).take(k) 

Cette mise en œuvre est sous-optimale car il scanne inutilement la chaîne entière. Afin d'optimiser l'on peut utiliser view ou d'un événement Stream pour scanner l'entrée paresseusement, par exemple:

def cleanTrim(str: String, chars: Set[Char], k: Int): String = 
    str.view.foldLeft("") { case (r, c) => if (chars.contains(c)) r + c else r }.take(k) 

Supposons maintenant que je dois nettoyer et dégraisser paresseusement deux cordes. Je voudrais les traiter paresseusement pour traiter un seul personnage à la fois et retourner les deux résultats.

def cleanTrim2(str1: String, 
       str2: String, 
       chars: Set[Char], 
       k: Int): (String, String) = ??? 

Comment pourriez-vous le mettre en œuvre?

Answer 1

Je ne vois aucun avantage à utiliser la paresse. Dans votre deuxième mise en œuvre de cleanTrim vous continuez d'analyser toute la chaîne, en fait vous ne pouvez pas vérifier si la chaîne contains char sans balayer la chaîne entière (ou stream ou view). UPD: @thwiegan droite, je n'ai pas lu la question attentivement.

UPD2: Ok, mon deuxième essai, ne sais pas s'il est important pour vous d'utiliser fold, mais je vois la façon de le rendre plus clair:

def cleanTrim2(str1: String, str2: String, chars: Set[Char], k: Int): (String, String) = { 
     val result1 = str1.iterator.filterNot(chars).take(k).mkString 
     val result2 = str2.iterator.filterNot(chars).take(k).mkString 
     (result1, result2) 
    }