Visual Studio 2010 et std :: function

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 le foncteur de l'objet par un reference_wrapper, de manière à éviter d'inutiles copie costructor appels.
J'attends la sortie suivante:

F: 6
7

Il fonctionne correctement avec GCC >= 4.4.0, Visual Studio 2008 et avec boost en substituant std::tr1 espace de noms avec boost. Il ne fonctionne pas avec le nouveau Visual Studio 2010 Express Beta 2 et Release Candidate.

Ce sont de nouvelles fonctionnalités C++ buggé dans vs2010?
Ou il y a une erreur ou d'abus dans le code?

source d'informationauteur Dj Gaspa

  1. 11

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

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

    Et en vertu de l'alinéa 3:

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

    • Si F est, éventuellement, un cv qualifiés de type de classe avec aucun membre nommé result_type ou si typename F::result_type n'est pas du type:
      • Si N=0 (sans arguments), est de type void.
      • Si N>0, type de est typename F::template result<F(T1, T2,..., TN)>::type

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

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

    Également remarquer que boost::tr1 dit dans sa documentation qu'il ne prend pas en charge la fonction d'appel de l'opérateur (mais il soutient simplement de conversions implicites à T&).

  2. 1

    Je rencontre un problème similaire ici :
    D'éviter les copies de C++ foncteur objets

    À faire compiler sur MSVC10, j'ai dû tirer mon objet de fonction de std::unary_function.