Une fonction std::peut-elle stocker des pointeurs vers des membres de données ?

Question

Desde Référence cpp J'ai trouvé ça :

Le modèle de classe std::function est une enveloppe de fonction polymorphe à usage général. Les instances de std::function peuvent stocker, copier et invoquer n'importe quelle cible Callable -- fonctions, expressions lambda, expressions bind ou autres objets de fonction, ainsi que des pointeurs vers des fonctions membres et des objets de fonction. pointeurs vers des membres de données .

Je ne vois pas pourquoi un std::function devrait être capable de stocker un tel pointeur et je n'ai jamais entendu parler de cette fonctionnalité.
Est-il vraiment possible que j'aie manqué quelque chose ou qu'il s'agisse d'une erreur dans la documentation ?

Comment le operator() se comporter dans un tel cas ?
Dès le [documentation](http://en.cppreference.com/w/cpp/utility/functional/function/operator()) :

Invoque la fonction appelable stockée cible avec les paramètres args.

De toute façon, il n'y a pas de cible de fonction stockée appelable à invoquer ici. Ai-je tort ?

Pour être honnête, je n'arrive même pas à déterminer quelle est la bonne syntaxe pour une telle fonction, sinon j'aurais écrit un exemple pour la tester.
Comment le modèle suivant pourrait-il être utilisé pour définir un pointeur vers un membre de données ?

template< class R, class... Args >
class function<R(Args...)>

Answer 1

L'effet d'un appel à l'opérateur d'appel de fonction de std::function<R(ArgTypes...)> :

R operator()(ArgTypes... args) const

est équivalent à (§ 20.9.11.2.4 [func.wrap.func.inv]/p1 ):

INVOKE<R>(f, std::forward<ArgTypes>(args)...)

dont la définition comprend la puce suivante (§ 20.9.2 [func.require]/p1 ):

Définir INVOQUEZ (f, t1, t2, ..., tN) comme suit :

[...]

1.3 - t1.*f cuando N == 1 y f est un pointeur vers une donnée membre d'une classe T y t1 est un objet de type T ou une référence à un objet de type T ou une référence à un objet d'un type dérivé de T ;

alors, quand f est un pointeur vers un membre de données stocké dans un invokeur interne d'un fichier std::function alors le std::function doit lui-même définir un seul argument, par exemple :

std::function<int(std::pair<int,int>)> f = &std::pair<int,int>::first;

f(std::make_pair(1, 2));

DEMO