Publicité
+ Répondre à la discussion
Page 2 sur 2 PremièrePremière 12
Affichage des résultats 21 à 24 sur 24
  1. #21
    Membre Expert Avatar de Flob90
    Homme Profil pro Florian Blanchet
    Etudiant en Optique
    Inscrit en
    août 2004
    Messages
    1 208
    Détails du profil
    Informations personnelles :
    Nom : Homme Florian Blanchet
    Âge : 24
    Localisation : France, Essonne (Île de France)

    Informations professionnelles :
    Activité : Etudiant en Optique

    Informations forums :
    Inscription : août 2004
    Messages : 1 208
    Points : 2 497
    Points
    2 497

    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 Loïc Joly
    Développeur informatique
    Inscrit en
    août 2004
    Messages
    4 951
    Détails du profil
    Informations personnelles :
    Nom : Homme Loïc Joly
    Â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 : 4 951
    Points : 11 223
    Points
    11 223

    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é

    Avatar de germinolegrand
    Homme Profil pro Germino Legrand
    Développeur de jeux vidéo
    Inscrit en
    octobre 2010
    Messages
    731
    Détails du profil
    Informations personnelles :
    Nom : Homme Germino Legrand
    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 : 731
    Points : 3 934
    Points
    3 934

    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.

    N'oubliez pas de marquer votre sujet comme et de mettre des aux messages apportant un plus à votre discussion.

    Si vous souhaitez participer à la rubrique C++, ne me contactez plus !

  4. #24
    Membre Expert Avatar de Flob90
    Homme Profil pro Florian Blanchet
    Etudiant en Optique
    Inscrit en
    août 2004
    Messages
    1 208
    Détails du profil
    Informations personnelles :
    Nom : Homme Florian Blanchet
    Âge : 24
    Localisation : France, Essonne (Île de France)

    Informations professionnelles :
    Activité : Etudiant en Optique

    Informations forums :
    Inscription : août 2004
    Messages : 1 208
    Points : 2 497
    Points
    2 497

    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
  •