Pourquoi vector<bool>::référence ne renvoie pas de référence à bool?

#include <vector>

struct A
{
    void foo(){}
};

template< typename T >
void callIfToggled( bool v1, bool &v2, T & t )
{
    if ( v1 != v2 )
    {
        v2 = v1;
        t.foo();
    }
}

int main()
{
    std::vector< bool > v= { false, true, false };

    const bool f = false;
    A a;

    callIfToggled( f, v[0], a );
    callIfToggled( f, v[1], a );
    callIfToggled( f, v[2], a );
}

La compilation de l'exemple ci-dessus produit l'erreur suivante :

dk2.cpp: In function 'int main()':
dk2.cpp:29:28: error: no matching function for call to 'callIfToggled(const bool&, std::vector<bool>::reference, A&)'
dk2.cpp:29:28: note: candidate is:
dk2.cpp:13:6: note: template<class T> void callIfToggled(bool, bool&, T&)

J'ai compilé à l'aide de g++ (version 4.6.1) comme ceci :

g++ -O3 -std=c++0x -Wall -Wextra -pedantic dk2.cpp

La question est de savoir pourquoi cela se produit? Est vector<bool>::reference pas bool&? Ou est-ce un bug du compilateur?

Ou, suis-je en train d'essayer quelque chose de stupide? 🙂

  • Malheureusement, en dépit de son nom, std::vector<bool> n'est pas un vector de bool.
  • Comme solution de contournement, vous pouvez utiliser std::unique_ptr<bool[]>(new bool[3])...
  • Herb Sutter est Quand Est un Conteneur, Pas un Conteneur? c'est juste à propos de ce problème.
  • Howard Hinnant l'article de Sur vector<bool> dit que c'est une bonne optimisation, seulement le nom aurait été modifié pour ne plus désigner le plus de sens d'un conteneur standard.
InformationsquelleAutor BЈовић | 2011-12-06