Riferimento o puntatore a std :: vettore di tipo incompleto

Question

Come risposta qui: How can an incomplete type be used as a template parameter to vector here? l'utilizzo di tipo incompleto come argomento modello quando l'istanziazione di un componente del modello può comportare un comportamento non definito. Ma questa regola è vera quando abbiamo solo il puntatore/riferimento al componente del template con tipo incompleto come argomento? Anche in questo caso avviene l'instatia?

Ad esempio:

// SomeAlgoInterface.hpp 

#include <vector> 

struct Result; // forward declaration 

class SomeAlgoInterface 
{ 
    public: 

    virtual ~SomeAlgoInterface() = default; 

    public: 

    // the following line is definitely OK, ... 
    virtual void f1(const Result & result) = 0; 

    // ... but I'm not quite sure about the following one 
    virtual void f2(const std::vector<Result> & results) = 0; 
}; 

In altre parole, è il codice di cui sopra valido o no?

Answer 1

La dichiarazione è corretta, purché non si chiami f2.

Il compilatore non ha bisogno di conoscere l'interno della classe Result se non si chiama f2. Non c'è allocazione di memoria nella dichiarazione.

Se qualche unità di compilazione chiamata f2, è necessario fornire il tipo completo per Result di classe, o avete bisogno di un altro parametro di riferimento per chiamare f2:

void another_f(SomeAlgoInterface& i, std::vector<Result>& results) 
{ 
    i.f2(results); 
}