+ Répondre à la discussion
Page 2 sur 2 PremièrePremière 12
Affichage des résultats 21 à 24 sur 24
  1. #21
    Expert Confirmé Avatar de Flob90
    Homme Profil pro
    Recherche d'emploi
    Inscrit en
    août 2004
    Messages
    1 356
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 24
    Localisation : France, Doubs (Franche Comté)

    Informations professionnelles :
    Activité : Recherche d'emploi

    Informations forums :
    Inscription : août 2004
    Messages : 1 356
    Points : 3 032
    Points
    3 032

    Par défaut

    J'ai édité mon message précédent,il semblerait que le POI peut avoir un impact sur le lookup, et j'ai l'impression qu'on est dans ce cas, cf mon message pour les détails.

    Source : Norme + Vandevoorde

    @Arzar: Visual fait déjà une erreur sur l'exemple de la norme cité par Loic, donc sans même parlé de Variadic il est un peu à la ramasse sur les règles de lookup.
    "We can solve any problem by introducing an extra level of indirection" Butler Lampson

    "N'importe quel problème peut être résolu en introduisant un niveau d'indirection supplémentaire" Butler Lampson (traduction libre)

  2. #22
    Rédacteur/Modérateur
    Avatar de JolyLoic
    Homme Profil pro
    Développeur informatique
    Inscrit en
    août 2004
    Messages
    5 022
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 40
    Localisation : France, Yvelines (Île de France)

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : août 2004
    Messages : 5 022
    Points : 12 397
    Points
    12 397

    Par défaut

    Citation Envoyé par Flob90 Voir le message
    Je viens de regarder de plus près, j'ai quelques pistes, mais rien de bien certains.

    Premièrement le passage que cite Loic n'est pas vraiment applicable dans ce cas, ce passage fait référence au noms non-dépendant, or f(arg...) est une expression qui dépend des paramètres template.
    Je suis d'accord sur ce point, j'ai été trop rapide. Mais ma conclusion reste identique.

    Citation Envoyé par Flob90 Voir le message
    Dans ce cas le lookup est faite au moment de l'instanciation depuis, à la fois, la définition et le POI.
    Ce n'est pas vraiment ça. Il y a deux types de sources de recherches :
    - La recherche de base, qui a lieu au moment de la définition, pas de l'instanciation,
    - La recherche dépendante des arguments, qui elle a lieu dans les namespaces associés aux arguments de la fonction tels qu'ils sont connus au point d'instanciation de la fonction.

    Dans notre cas :
    - La recherche de base ne trouvera pas la fonction définie après.
    - La recherche dépendante du nom ne trouvera rien, car int n'a pas de namespace associé, et string a std comme namespace associé, mais std ne contient pas de fonction f.

    Je pense que si à la place de std::string, tu utilisais un type défini dans le même namespace que tes différentes fonctions f, tu aurais donc un résultat différent, puisque là la recherche dépendante du nom pourrait trouver ces fonctions.
    Ma session aux Microsoft TechDays 2013 : Développer en natif avec C++11.
    Et celle des Microsoft TechDays 2014 : Bonnes pratiques pour apprivoiser le C++11 avec Visual C++

  3. #23
    Expert Confirmé Sénior

    Avatar de germinolegrand
    Homme Profil pro
    Développeur de jeux vidéo
    Inscrit en
    octobre 2010
    Messages
    733
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Puy de Dôme (Auvergne)

    Informations professionnelles :
    Activité : Développeur de jeux vidéo
    Secteur : Tourisme - Loisirs

    Informations forums :
    Inscription : octobre 2010
    Messages : 733
    Points : 4 119
    Points
    4 119

    Par défaut

    (P.S: SFINAE != Single Failure Is Not An Error mais Substitution Failure Is Not An Error)
    Choisis un travail que tu aimes et tu n'auras pas à travailler un seul jour de ta vie.

    FYS : une bibliothèque C++ dans le domaine public (discussion : [fr])

    Dernier article : Le C++14 est arrivé !

  4. #24
    Expert Confirmé Avatar de Flob90
    Homme Profil pro
    Recherche d'emploi
    Inscrit en
    août 2004
    Messages
    1 356
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 24
    Localisation : France, Doubs (Franche Comté)

    Informations professionnelles :
    Activité : Recherche d'emploi

    Informations forums :
    Inscription : août 2004
    Messages : 1 356
    Points : 3 032
    Points
    3 032

    Par défaut

    @Loic: Je pense qu'au final on se rejoint sur la conclusion, j'ai assimilé les deux lieux de recherche car ma source a été la norme et elle le fait :
    Declarations from namespaces associated with the types of the function arguments both from the
    instantiation context (14.6.4.1) and from the definition context.
    Mais oui l'une est dépendante de l'ADL et pas l'autre, je le précise dans la suite de mon message et suis en total accord avec toi :
    Un dernier point est que le lookup effectué depuis le POI est ADL [...] depuis la définition (lookup non ADL).
    Mais ton message est surement plus clair que le mien sur ce point .

    @All: C'est inutile de parler de SFINAE, il n'intervient pas vraiment dans cette situation. Ce qu'on nomme SFINAE n'entre en jeu qu'en présence d'appel explicite à une spécialisation (*), ce n'est pas notre cas. Dans ce cas les paramètre template sont déduits des paramètres de la fonction, il n'y a donc pas d'erreur de substitution (**).

    (*) Sauf pour le premier appel du premier exemple du premier message, mais ce n'est pas lui qui pose problème.

    (**) On peut peut-être trouver des cas tordues où il rentre en jeu sans appel explicite à une spécialisation, mais là c'est pas le cas.
    "We can solve any problem by introducing an extra level of indirection" Butler Lampson

    "N'importe quel problème peut être résolu en introduisant un niveau d'indirection supplémentaire" Butler Lampson (traduction libre)

+ Répondre à la discussion
Cette discussion est résolue.
Page 2 sur 2 PremièrePremière 12

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •