L'inférence de type est le processus d'inférence automatique de types pour les programmes, à l'aide de règles définies par un système de types.
Verrouillé . Cette question et ses réponses sont verrouillées car la question est hors sujet mais a une signification historique. Il n'accepte pas actuellement de nouvelles réponses ou interactions. Après discussion avec des collègues concernant l'utilisation du mot-clé 'var' en C # 3, je me...
J'ai du mal à naviguer dans la règle de Java pour déduire des paramètres de type génériques. Considérez la classe suivante, qui a un paramètre de liste facultatif: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames;...
J'ai un tableau composé de AnyObject. Je veux le parcourir et trouver tous les éléments qui sont des instances de tableau. Comment puis-je vérifier si un objet est d'un type donné dans
J'ai utilisé le nouveau automot clé disponible dans la norme C ++ 11 pour les types de modèles compliqués, ce pour quoi je pense qu'il a été conçu. Mais je l'utilise aussi pour des choses comme: auto foo = std::make_shared<Foo>(); Et plus sceptiquement pour: auto foo = bla(); // where bla()...
J'utilise Xcode 6 Beta 6. C'est quelque chose qui me dérange depuis un certain temps maintenant, mais il atteint un point où il est à peine utilisable maintenant. Mon projet commence à avoir une taille décente de 65 fichiers Swift et quelques fichiers Objective-C pontés (qui ne sont vraiment pas la...
J'ai une fonction générique qui appelle un service Web et sérialise la réponse JSON en un objet. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL, call...
Il semble que autoc'était une fonctionnalité assez importante à ajouter dans C ++ 11 qui semble suivre un grand nombre des nouveaux langages. Comme avec un langage comme Python, je n'ai vu aucune déclaration de variable explicite (je ne sais pas si c'est possible en utilisant les standards Python)....
Selon les spécifications du langage Scala : ... l'inférence de type local est autorisée pour limiter la complexité des limites inférées [des paramètres de type]. La minimalité et la maximalité des types doivent être comprises par rapport à l'ensemble des types de complexité acceptable. En pratique,...
Je travaille sur une installation de complétion (intellisense) pour C # dans emacs. L'idée est que, si un utilisateur tape un fragment, puis demande la complétion via une combinaison de touches particulière, la fonction de complétion utilisera la réflexion .NET pour déterminer les complétions...
J'ai rencontré une situation curieuse impliquant des méthodes génériques statiques. Voici le code: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Comment se fait-il que...
Je vois ici des discussions intéressantes sur le typage statique et dynamique. Je préfère généralement le typage statique, en raison de la vérification du type de compilation, du code mieux documenté, etc. Cependant, je suis d'accord pour dire qu'ils encombrent le code si cela est fait comme Java,...
La référence de méthode utilisée a un type de retour Integer. Mais un incompatible Stringest autorisé dans l'exemple suivant. Comment corriger la withdéclaration de méthode pour sécuriser le type de référence de méthode sans transtyper manuellement? import java.util.function.Function; public class...
Nous savons tous que Long s'étend Number. Alors pourquoi cela ne compile-t-il pas? Et comment définir la méthode withpour que le programme compile sans aucune conversion manuelle? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number...
L'implémentation de std::mem::dropest documentée comme suit: pub fn drop<T>(_x: T) { } En tant que tel, je m'attendrais à ce que la fermeture |_| ()(familièrement connue sous le nom de fermeture des toilettes ) soit un remplacement potentiel de 1: 1 dropdans les deux sens. Cependant, le code...
Pourquoi est-ce public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} plus strict alors public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Il s'agit d'un suivi de la raison pour laquelle le type de retour lambda...
Pourquoi la correspondance de modèles fonctionne-t-elle différemment lorsque le paramètre de type provient d'une méthode englobante par opposition à une classe englobante? Par exemple, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match...