Использует ли std::vector оператор присваивания своего типа значений для push_back элементов?

Ответ 1

В стандарте С++ 03 говорится, что элементы должны быть пригодны для копирования и назначаться для копирования в стандартном контейнере. Таким образом, реализация может свободно использовать то, что она хочет.

В С++ 0x эти требования устанавливаются на основе операции. (В общем, элементы должны быть конструктивными и перемещаемыми по ходу.)

Чтобы получить то, что вы хотите, вы должны использовать умный указатель, такой как shared_ptr (от Boost, TR1 или С++ 0x) и полностью отключить возможность копирования:

class ClassWithoutAss
{
public:
    const int mem;

    ClassWithoutAss(int mem):mem(mem){}
    // don't explicitly declare empty destructors

private:
    ClassWithoutAss(const ClassWithoutAss&); // not defined
    ClassWithoutAss& operator=(const ClassWithoutAss&); // not defined
};

typedef shared_ptr<ClassWithoutAss> ptr_type;

std::vector<ptr_type> vec;
vec.push_back(ptr_type(new ClassWithoutAss(1)));

Указатели могут быть скопированы просто отлично, а интеллектуальный указатель гарантирует, что вы не просочитесь. В С++ 0x вы можете сделать это лучше всего с помощью std::unique_ptr, используя преимущества move-semantics. (На самом деле вам не нужны общие семантики, но в С++ 03 это проще всего.)

Ответ 2

Проблема заключается в том, что типы в контейнере должны быть назначены.

Поскольку вы не определяете оператор присваивания для своего класса, компилятор будет генерировать его для вас. Оператор присваивания по умолчанию будет выглядеть следующим образом:

ClassWithoutAss& operator=(ClassWithoutAss const& rhs)
{
    mem = copy.mem;
    return *this;
}
// The compiler generated assignemtn operator will copy all members
// using that members assignment operator.

В большинстве ситуаций это сработает. Но член mem является константой и, следовательно, невозможен. Поэтому компиляция завершится неудачно, когда попытается сгенерировать оператор присваивания.