J'ai cette fonction Je crée 2 personnes d'instances de classe: p> J'appelle la fonction avec: P> MyClass.MyFunc(p, p2, 5);
6 Réponses :
La possibilité d'omettre les types d'appel dans l'appel est un bonbon de syntaxe (sauf si vous utilisez des types anonymes), et il compile exactement identique à Le compilateur déduit les valeurs de t1 et t2 en fonction des types des paramètres A , B et C . Si p1 et p2 est de types incompatibles (voir Réponse de Svick , le compilateur ne sera pas en mesure de déduire t1 et cela entraînera une erreur de compilation.
Néanmoins, le compilateur a besoin d'une ancrage pour voir s'il devrait vérifier que Apple ou Orange
Je pense que le compilateur ne se soucie pas de ce que les types sont, il vérifie simplement si les premier et second paramètres sont du même type.
@Royinamir, vous parlez de personnes et vous parlez de pommes et d'oranges ... Désolé, j'ai du mal à vous suivre :)
@Ilakogan Lorsque le compilateur se trouve T1, il devrait vérifier si T2 == T1 ou lorsqu'il voit des chèques T2 - E si T2 == T1.
T1 == T2 est la même chose que T2 == T1, nous parlons de type de la perspective du compilateur ici, pas d'une instance n'est égale à la vérification.
@ROYINAMIR Il ne vérifie pas si p1 == p2 . Il vérifie si typeof (p1) == typeof (p2) .
Ce n'est pas seulement Syntaxe Sugar si vous utilisez des types anonymes. Et il peut toujours compiler même si p1 et p2 sont différents types.
Merci, @svick, j'ai édité la réponse à mentionner des types anonymes. Pouvez-vous donner un exemple où cela compilera avec deux types différents?
@Ilakogan, voir Ma réponse pour des exemples de cela.
Il n'y a pas de priorité, les deux (A et B) doivent être identiques, c'est-à-dire par conception, T1 est résolu à la compilation. Si vous changez sur EDIT: La pièce intéressante: sorties: > mais ceci: lancera: Cependant Il semble que je vraiment besoin de trouver un bon livre ou une ressource sur les types dynamiques en C # 4.0 pour comprendre la magie se produire ici. DYNAMIC , vous venez de reporter le type de type de type à l'exécution et il échouera ensuite à compilétime si les types ne sont pas identiques. Si vous voulez qu'ils soient différents, vous devez introduire T3.
Je ne sais pas si je comprends ce que tu veux dire, mais ... si A.getType () est égal à b.getType (), que c'est aussi vrai vice versa. Ils ont juste besoin d'être T1 (tant qu'il n'y a pas de dynamique évidemment, voir mon édition ci-dessus)
La magie de ce cas est extrêmement simple: un argument de type explicite dynamique est traité exactement comme si vous avez dit objet lorsque l'expression est analysée au moment de l'exécution. Si vous avez une question spécifique à propos de quelque chose que vous ne comprenez pas, c'est un site de questions-réponses; envisagez de poster une question.
Cela semble si évident maintenant, merci pour l'explication que vous avez postée.
Au moment de la compilation Si les types sont explicites, le compilateur vérifiera les types de paramètres passés et voyez s'ils correspondent à des types dans les génériques (aucun conflit).
Quoi qu'il en soit, la vérification réelle est effectuée à "Runtime", le code générique compile comme générique de toute façon (contrairement aux modèles C ++). Et puis lorsque le compilateur JIT compile la ligne, il vérifiera et voyez s'il peut créer la méthode en fonction des modèles que vous avez donnés et les paramètres envoyés.
Il n'y a pas de «décision». Une correspondance est trouvée ou une erreur se produit. Essayez simplement
myfunc (P1, "", 5) oumyfunc ("", p2, 5) .