Visual Studio 2010 et std :: fonction

Question

J'ai ce code:

#include <iostream> 
#include <functional> 

struct A 
{ 
    int operator()(int i) const { 
     std::cout << "F: " << i << std::endl; 
     return i + 1; 
    } 
}; 

int main() 
{ 
    A a; 
    std::tr1::function<int(int)> f = std::tr1::ref(a); 
    std::cout << f(6) << std::endl; 
} 

Le but est de passer l'objet foncteur par un reference_wrapper, de manière à éviter les appels inutiles copie de costructor. je me attends à la sortie suivante:

F: 6 
7 

Il fonctionne correctement avec GCC> = 4.4.0, Visual Studio 2008 et coup de pouce en remplaçant std :: espace de noms TR1 avec boost. Cela ne fonctionne pas avec le nouveau Visual Studio 2010 à la fois Express Beta 2 et Release Candidate.

Ces nouvelles fonctionnalités C++ sont-elles buggées dans vs2010? Ou il y a une erreur ou une mauvaise utilisation dans le code?

Answer 1

Je pense avoir trouvé la raison. C'est ce que TR1 3.4/2 dit à propos result_of<T(A1, A2, ..., AN)>::type, utilisé dans la détermination du type de reference_wrapper<T>::operator() de retour:

La mise en œuvre peut déterminer le membre du type par tout moyen qui produit le type exact de l'expression f (t1, t2, ..., tN) pour les types donnés. [Note: L'intention est que les implémentations sont autorisés à utiliser la note spéciale crochets du compilateur]

Et puis le paragraphe 3:

Si F n'est pas un objet de fonction définie par la bibliothèque standard, et si l'implémentation ne peut pas déterminer le type de l'expression f (t1, t2, ..., tN) ou si l'expression est mal formée, l'implémentation doit utiliser le processus suivant pour déterminer le membre de type:

• Si F est un type de classe possiblement qualifié cv sans memb er nommé result_type ou si typename F::result_type n'est pas un type:
  • Si N = 0 (aucun argument), le type est vide.
  • Si N> 0, le type est typename F::template result<F(T1, T2,..., TN)>::type

Le message d'erreur est un artefact d'essayer ces automne-backs. Fournir un typedef pour result_type à int et cela devrait fonctionner, je pense. Notez que dans C++0x, c'est différent. Il ne repose pas sur result_type ou un modèle result, car il peut utiliser decltype.

Si avec <functional> il échoue avec MSVC10 en mode C++ 0x, ça sent comme un bug, dirais-je. Mais peut-être que quelqu'un d'autre sait ce qui se passe. Il peut (mais n'est pas garanti de) travailler avec <tr1/functional> en mode C++ 0x si cet en-tête choisit de prendre la voie decltype au lieu de ::result_type. Je voudrais typedef result_type - de cette façon, je pense que cela devrait toujours fonctionner, peu importe si l'en-tête tr1 est utilisé ou l'en-tête c++0x.

---

Notez également que boost::tr1 dit dans sa documentation qu'il ne supporte pas l'opérateur d'appel de fonction (mais il supporte uniquement les conversions implicites à T&).

Answer 2

je rencontre un problème similaire ici: Prevent unnecessary copies of C++ functor objects

Pour le compiler sur MSVC10, je devais tirer mon objet fonction de std :: unary_function.