引用或指向不完整类型的std :: vector

Question

正如在这里所回答的： 如何将不完整类型用作向量的模板参数？ 在实例化模板组件时使用不完整类型作为模板参数可能导致未定义的行为。 但是当我们只有指向不完全类型的模板组件的指针/引用作为参数时，该规则是否成立？ 在这种情况下，实例也会发生吗？

例如：

// 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; 
};

换句话说，上面的代码是否有效？

Answer 1

声明是正确的，只要你不打电话给f2 。

如果不调用f2 ，编译器不需要知道Result类的内部。 声明中没有存储分配。

如果某个编译单元调用f2 ，则需要提供Result类的完整类型，或者需要另一个引用参数来调用f2 ：

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