Pointeur de membre de classe en tant que paramètre de modèle

Est-il possible d'avoir non-type de paramètre du modèle qui est en fait un pointeur vers un membre de la classe? Ce que je cherche à faire c'est quelque chose comme ce qui suit:

struct Person {
  Dog dog;
};

template <?? ptr>
struct Strange {
  //...
};

typedef Strange<&Person::dog> weird;

Mon travail m'amène à croire que rien de tel n'est possible, mais je suis curieux de savoir si quelqu'un l'a peut dire le contraire.

InformationsquelleAutor Jonathan Sterling | 2011-07-30
  1. 41

    De la norme:

    Un non-type de modèle-paramètre doit avoir une des options suivantes (en option cv qualifiés) types:

    • intégrale ou type d'énumération,
    • pointeur vers l'objet ou le pointeur de fonction,
    • référence à l'objet ou la référence à la fonction,
    • pointeur de membre.

    De sorte qu'il est permis, et semble fonctionner sur la g++ comme ceci:

    template <Dog Person::*ptr>
struct Strange { ... };
    • Merci! Je peut encore généraliser ce que template <class A, class B, A B::*member>, ce qui est utile pour moi. Je suppose que je devrais avoir lu cette section de la norme d'un peu plus près.
    • Est-il possible que les deux premiers arguments A et B pourraient être laissés de côté?
    • Voir la proposition N3601. via stackoverflow.com/questions/15148749/...
    • de toute façon pour passer dans une méthode de classe?
    • Il n'existe pas de chose telle que la méthode en C++. type de pointeur de fonction comprend des fonctions de membre du.
    • Ce que je comprends , il est disponible en c++ depuis le premier modèle de l'apparence.

    InformationsquelleAutor hammar