Как вызвать конструктор объектов, содержащихся в std :: vector?

Причина в том, что vector :: resize вставляет копии, вызывая автоматически предоставленный конструктор копирования, а не конструкторы, которые вы определили в своем примере.

Чтобы получить желаемый результат, вы можете явно определить конструктор копирования:

struct C {
//....
C(const C& other) {
    id = n++;
    // copy other data members
}
//....
};

Однако из-за того, как работает vector :: resize (у него есть второй необязательный аргумент, используемый в качестве «прототипа» для создаваемых им копий, со значением по умолчанию в вашем случае C()), это создает 11 объектов в вашем примере (' прототип »и 10 его экземпляров).

Изменить (включить некоторые полезные советы в многочисленные комментарии):

У этого решения есть несколько недостатков, которые стоит отметить, а также некоторые опции и варианты, которые могут привести к более удобному в сопровождении и разумному коду.

• Этот метод увеличивает затраты на обслуживание и увеличивает риск. Вы должны не забывать изменять конструктор копирования всякий раз, когда вы добавляете или удаляете переменные-члены класса. Вам не нужно этого делать, если вы полагаетесь на конструктор копирования по умолчанию. Один из способов борьбы с этой проблемой - инкапсулировать счетчик в другом классе (вот так), что также, возможно, лучше объектно-ориентированного дизайна, но тогда, конечно, вы также должны иметь в виду многие проблемы, которые могут возникнуть при множественном наследовании.

• Это может затруднить понимание другими людьми, потому что копия уже не совсем то, чего ожидает большинство людей. Точно так же другой код, который имеет дело с вашими классами (включая стандартные контейнеры), может вести себя неправильно. Один из способов борьбы с этим - определить метод operator== для вашего класса (и он можно утверждать, что это хорошая идея при переопределении конструктора копирования, даже если вы не используете этот метод), чтобы он концептуально« звучал », а также как своего рода внутренняя документация. Если ваш класс будет широко использоваться, вы, вероятно, также в конечном итоге предоставите operator=, чтобы вы могли поддерживать разделение вашего автоматически сгенерированного идентификатора экземпляра от назначений членов класса, которые должны выполняться с помощью этого оператора. И так далее ;)

• Это может устранить неоднозначность всей проблемы «разных значений идентификаторов для копий», если у вас достаточно контроля над программой, чтобы использовать динамически созданные экземпляры (через new) и использовать указатели на те, что находятся внутри контейнеров. Это означает, что вам нужно до некоторой степени «инициализировать элементы« вручную »», но написать функцию, которая возвращает вам вектор, полный указателей на новые инициализированные экземпляры, не составляет большого труда. Если вы постоянно имеете дело с указателями при использовании стандартных контейнеров, вам не придется беспокоиться о том, что стандартные контейнеры создают какие-либо экземпляры «под прикрытием».

Если вы знаете обо всех этих проблемах и считаете, что можете справиться с последствиями (которые, конечно, сильно зависят от вашего конкретного контекста), то переопределение конструктора копирования - жизнеспособный вариант. В конце концов, языковая функция существует не просто так. Очевидно, это не так просто, как кажется, и вам следует быть осторожным.

не всегда вызывается конструктор этих объектов.

Да, но это не конструктор, как вы думаете. Функция-член resize() фактически объявлена ​​так:

void resize(size_type sz, T c = T());

Второй параметр - это объект, который нужно скопировать в каждый из вновь вставленных элементов вектора. Если вы опустите второй параметр, он по умолчанию создает объект типа T, а затем копирует этот объект в каждый из новых элементов.

В вашем коде создается временный C и вызывается конструктор по умолчанию; id имеет значение 0. Затем неявно объявленный конструктор копирования вызывается десять раз (для вставки десяти элементов в вектор), и все элементы в векторе имеют одинаковый идентификатор.

[Примечание для интересующихся: в C ++ 03 второй параметр resize() (c) принимается по значению; в C ++ 0x он берется ссылкой const lvalue (см. Дефект LWG 679)].

В этом примере я вынужден изменить размер вектора, а затем инициализировать его элементы «вручную»?

Вы можете (и, вероятно, должны) вставлять элементы в вектор по отдельности, например,

std::vector<C> vc;
for (unsigned i(0); i < 10; ++i)
    vc.push_back(C());

Вектор использует конструктор копирования, который c ++ генерирует для вас без запроса. Один экземпляр «C» создается, остальные копируются из прототипа.

@ Джеймс: Допустим, я должен уметь различать каждый объект, даже если несколько (временно) могут иметь одно и то же значение. Его адрес - не то, чему я бы так сильно доверял, из-за перераспределения вектора. Кроме того, разные объекты могут находиться в разных контейнерах. Относятся ли проблемы, о которых вы говорите, только к следующим соглашениям, или могут быть настоящие технические проблемы с таким кодом? Тест, который я сделал, прошел хорошо.
Я имею в виду следующее:

#include <iostream>
#include <vector>
#include <deque>
using namespace std;

struct C {
    int id;
    static int n;
    int data;

    C() {               // not called from vector
        id = n++;
        data = 123;
    }

    C(const C& other) {
        id = n++;
        data = other.data;
    }

    bool operator== (const C& other) const {
        if(data == other.data)      // ignore id
            return true;
        return false;
    }
};

int C::n = 0;


int main()
{
    vector<C> vc;
    deque<C> dc;

    vc.resize(10);

    dc.resize(8);

    cout << "C::n = " << C::n << endl;

    for(int i = 0; i < vc.size(); ++i)
        cout << "[vector] " << i << ": " << vc[i].id << ";  data = " << vc[i].data << endl;

    for(int i = 0; i < dc.size(); ++i)
        cout << "[deque] " << i << ": " << dc[i].id << ";  data = " << dc[i].data << endl;
}

Вывод:

C::n = 20
[vector] 0: 1;  data = 123
[vector] 1: 2;  data = 123
[vector] 2: 3;  data = 123
[vector] 3: 4;  data = 123
[vector] 4: 5;  data = 123
[vector] 5: 6;  data = 123
[vector] 6: 7;  data = 123
[vector] 7: 8;  data = 123
[vector] 8: 9;  data = 123
[vector] 9: 10;  data = 123
[deque] 0: 12;  data = 123
[deque] 1: 13;  data = 123
[deque] 2: 14;  data = 123
[deque] 3: 15;  data = 123
[deque] 4: 16;  data = 123
[deque] 5: 17;  data = 123
[deque] 6: 18;  data = 123
[deque] 7: 19;  data = 123