Pourquoi pas une déclaration anticipée être utilisé pour un std::vector?

Si je créer une classe comme ceci: 

//B.h
#ifndef _B_H_
#define _B_H_

class B
{
private:
    int x;
    int y;
};

#endif //_B_H_

et de l'utiliser comme ceci:

//main.cpp
#include <iostream>
#include <vector>

class B; //Forward declaration.

class A
{
public:
    A() {
        std::cout << v.size() << std::endl;
    }

private:
    std::vector<B> v;
};

int main()
{
    A a;
}

Le compilateur échoue lors de la compilation de main.cpp. Maintenant la solution je sais, c'est pour #include "B.h", mais je suis curieux de savoir pourquoi il échoue. Ni g++ ou cl's messages d'erreur ont été très éclairante à ce sujet.

  • Remarque vous pouvez passer une vector<T> dans une fonction avec seulement avant type déclaré T si vous passez comme un vector<T>& (mais pas vector<T> parce que nécessiterait une opération de copie)
InformationsquelleAutor Bernard | 2008-09-01
  1. 28

    Le compilateur doit savoir comment grand "B" est avant il peut générer de la disposition appropriée de l'information. Si au lieu de cela, vous avez dit std::vector<B*>, alors le compilateur n'a pas besoin de savoir comment big B est parce qu'il sait comment grand un pointeur.

    • Mais comme je sais, std::vector<B> v ne devrait contenir un pointeur vers B*, qui doit avoir le même effet que la définition: B* * * * ici
    • Ce n'est pas seulement un pointeur vers B -- au minimum, elle doit créer un tableau de B stocker dans le pointeur. Et pour créer le tableau, vous devez connaître la taille de B.
    • En effet, vector<T> probablement que contient un pointeur sur T, donc je suis en désaccord avec Curt réponse. La mise en page de vector<B> peut être connu sans le savoir la définition de B, mais depuis vector est un modèle, de toutes ses fonctions de membre doit être instancié pour chaque modèle argument: on ne peut pas séparer leurs déclarations de leurs implémentations. Étant donné que certaines de ces fonctions de membre devra Tdéfinition, il doit être d'un type complètes pour être utilisé dans un vector. Le problème est dû à des fonctions de membre en cours de définition en ligne, de ne pas vector<B>'s layout en fonction B's layout.
    • Attendez, n'est-ce pas répondre complètement tort? Comme les autres disent, ici, le problème est le constructeur inline, pas le contenant en soi...
    • Oui, je pense que c'est incorrect. Il est parfaitement possible de mettre en œuvre un conteneur de manière à ne pas exiger un type, en fait, de nombreux Stimuler les conteneurs peuvent être instancié avec un type incomplète sans problème. Les conteneurs de la bibliothèque standard exiger un type parce que la norme dit, et que dit la norme donc principalement pour des raisons historiques, comme expliqué ici.
    InformationsquelleAutor Curt Hagenlocher
  2. 24

    En fait, votre exemple serait de construire si Un constructeur ont été mis en œuvre dans une unité de compilation que connaît le type de B.

    Un std::vector exemple, a une taille fixe, peu importe ce que T est, puisqu'il contient, comme d'autres ont dit avant, seulement un pointeur vers T. Mais le vecteur du constructeur dépend du type de béton. Votre exemple ne compile pas car A() essaie d'appeler le vecteur de ctor, qui ne peut pas être produite sans le savoir B. Voici ce que serait le travail:

    Une déclaration:

    //A.h
#include <vector>

class B; //Forward declaration.

class A
{
public:
    A(); //only declare, don't implement here

private:
    std::vector<B> v;
};

    Une mise en œuvre:

    //A.cpp
#include "A.h"
#include "B.h"

A::A() //this implicitly calls vector<B>'s constructor
{
    std::cout << v.size() << std::endl;
}

    Maintenant un utilisateur d'Un besoin de savoir seulement, pas de B:

    //main.cpp
#include "A.h"

int main()
{
    A a; //compiles OK
}
    • Notez que cela fonctionne sur GCC et Clang, mais pas Visual Studio. VS2015 échoue avec l'erreur error C2036: 'B *': unknown size La raison n'est pas tout à fait clair, mais il se peut que VS2015 fait plus tôt l'instanciation d'un modèle de vector<T> que GCC/Clang.
    • Juste pour ajouter mor informations sur la question... Visual Studio VS2017 fonctionne désormais comme gcc et compile très bien.
    InformationsquelleAutor fyzix
  3. 5

    Pour instancier Un::v, le compilateur a besoin de connaître le type concret de B.

    Si vous essayez de réduire au minimum la quantité de #inclus bagages pour améliorer les temps de compilation, il y a deux choses que vous pouvez faire, qui sont vraiment les variations de l'autre:

    1. Utiliser un pointeur pour B
    2. Utiliser un léger proxy à B
    InformationsquelleAutor Josh
  4. 3

    Il est plus que juste la taille de B qui est nécessaire. Les compilateurs modernes auront fantaisie pour accélérer vecteur de copies à l'aide de memcpy, si possible, par exemple. Ceci est généralement réalisé par partiellement spécialisé sur le POD-ness le type de l'élément. Vous ne pouvez pas dire si B est un module à partir d'une déclaration anticipée.

    InformationsquelleAutor MSalters
  5. 2

    Comme fyzix dit, la raison de votre déclaration anticipée n'est pas le travail, c'est à cause de votre constructeur inline. Même un constructeur vide peut contenir beaucoup de code, comme la construction de la non-POD membres. Dans votre cas, vous avez un vecteur d'initialisation, qui vous ne pouvez pas faire sans définir son type de modèle complètement.

    Il en va de même pour les destructeurs. Le vecteur doit le type de modèle de définition de dire ce destructeur à l'appel lors de la destruction d'instances qu'il détient.

    Pour se débarrasser de ce problème, il suffit de ne pas inline constructeurs et destructeurs. Définir séparément quelque part après B est complètement défini.

    Pour plus d'informations,
    http://www.chromium.org/developers/coding-style/cpp-dos-and-donts

    InformationsquelleAutor Raslanove
  6. 1

    Ce n'est pas grave si vous utilisez un vecteur ou juste essayer d'instancier un B. Instanciation nécessite la définition d'un objet.

    InformationsquelleAutor Greg Rogers
  7. 0

    Homme, vous êtes l'instanciation std::vector avec un type incomplète. Ne touchez pas à la déclaration anticipée, il suffit de déplacer le constructeur de la définition de la .cpp fichier.

    InformationsquelleAutor daotheman
  8. -8

    La raison pour laquelle vous ne pouvez pas utiliser une déclaration anticipée est parce que la taille de B est inconnu.

    Il n'y a aucune raison dans votre exemple que vous ne pouvez pas inclure de B. h à l'intérieur de A. h, de sorte que ce problème vous êtes vraiment essayer de résoudre?

    Edit: Il y a une autre façon de résoudre ce problème, trop: stop à l'aide de C/C++! C'est tellement années 1970... 😉

    • "stop à l'aide de C/C++' ne semble pas être une solution au problème initial. le patient: "docteur, ça fait mal quand je fais cela", médecin: "eh bien, alors ne le faites pas!" Est-il une autre langue ou un outil qui interagit bien avec le C++ que vous proposeriez à la place?
    InformationsquelleAutor Brad Wilson