如何生成具有唯一值的向量？

Question

我有一个将唯一对象生成到向量中的示例：

#include <iostream>
#include <vector>
#include <algorithm>

int v=0;

struct A
{
    A() : refValue( v++)
    { std::cout<<"constructor refValue="<<refValue<<std::endl; }
    A( const A &r ) : refValue(r.refValue)
    { std::cout<<"copy constructor refValue="<<refValue<<std::endl; }
    A& operator=( const A &r )
    {
        refValue = r.refValue;
        std::cout<<"operator= refValue="<<refValue<<std::endl;
        return *this;
    }
    ~A() { std::cout<<"destructor refValue="<<refValue<<std::endl; }

    int refValue;
};

A GenerateUnique()
{
    A unique;
    return unique;
}
struct B
{
    B( const int n) : v()
    {
        std::generate_n( std::back_inserter( v ), n, &GenerateUnique );
    }
    std::vector< A > v;
};

int main()
{
    B b(3);
}

如果我将 main 更改为：

struct B
{
    B( const int n) : v(n)
    {
    }
    std::vector< A > v;
};

那么类型 A 的一个对象将被复制到所有向量元素中。

有没有办法创建一个包含所有唯一对象的向量（如第一个示例）？

为了更清楚地说：我有一个包含向量的类。该向量必须包含所有唯一对象（而不是一个对象的副本）。我想在初始化列表中初始化它（而不是在构造函数的主体中）。

Answer 1

你的第一次尝试是有效的。

在当前标准 C++03 中，这一行

std::vector< A > as( n ); 

被显式定义为创建一个 A 对象并复制该 n 次。

我相信在 C++0x 中，这被更改为创建 n 个默认构造的 A （一个小的差异）。然后您也许可以在 A 的构造函数中执行某些操作以使每个实例都唯一。

现在你不能。

Answer 2

它被复制，因为该构造函数的签名如下：

​explicit vector( size_type count,
             const T& value = T(),
             const Allocator& alloc = Allocator());

显然，您只需将默认构造的对象传递给该构造函数，它就会复制它。

如果您想在初始化列表中进行初始化，显然您只能使用某些对象的构造函数。我想，您不想创建一个包装类只是为了初始化初始化列表中的向量，所以我们仅限于向量的构造函数。唯一看起来合理的是

template <class InputIterator>

vector( InputIterator first, InputIterator last,
        const Allocator& alloc = Allocator() );

因此您可以创建一个迭代器来返回所需数量的默认构造对象。

不过，我建议只在构造函数主体中进行构造。

Answer 3

正如已经评论过的，您可以使用 boost 中的 make_function_input_iterator ，如下所示：

#include <iostream>
#include <vector>
#include <algorithm>
#include <boost/iterator/function_input_iterator.hpp>

// A && GenerateUnique the same ...
struct B
{
    B( const int n) : v(boost::make_function_input_iterator(&GenerateUnique, 1), boost::make_function_input_iterator(&GenerateUnique, n))
    {
    }
    std::vector< A > v;
};

int main()
{
    B b(3);
}

但是请注意，当我测试代码时，我发现比您的第一个解决方案中发生了更多的复制构造/运算符=。接下来，还创建了一个附加对象（refvalue 3）（用于最后一个“停止”迭代器）。我不知道这个附加行为是否可行，但如果您确实需要的话，它可以在初始化器列表中初始化向量。