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

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

11 голосов
/ 17 июля 2010

Если так, то почему?Почему он не использует конструктор копирования типа значения?

Я получаю следующую ошибку: 

/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/vector.tcc: In member functio
n `ClassWithoutAss& ClassWithoutAss::operator=(const ClassWithoutAss&)':
/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/vector.tcc:238:   instantiate
d from `void std::vector<_Tp, _Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterato
r<typename _Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
ClassWithoutAss, _Alloc = std::allocator<ClassWithoutAss>]'
/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/stl_vector.h:564:   instantia
ted from `void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = Class
WithoutAss, _Alloc = std::allocator<ClassWithoutAss>]'
main.cpp:13:   instantiated from here
/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/vector.tcc:238: error: non-st
atic const member `const int ClassWithoutAss::mem', can't use default assignment
 operator

при запуске g ++ main.cpp для следующего кода: 

/*
 * ClassWithoutAss.h
 *
 */

#ifndef CLASSWITHOUTASS_H_
#define CLASSWITHOUTASS_H_

class ClassWithoutAss
{

public:
    const int mem;
    ClassWithoutAss(int mem):mem(mem){}
    ClassWithoutAss(const ClassWithoutAss& tobeCopied):mem(tobeCopied.mem){}
    ~ClassWithoutAss(){}

};

#endif /* CLASSWITHOUTASS_H_ */

/*
 * main.cpp
 *
 */

#include "ClassWithoutAss.h"
#include <vector>

int main()
{
    std::vector<ClassWithoutAss> vec;
    ClassWithoutAss classWithoutAss(1);
    (vec.push_back)(classWithoutAss);

    return 0;
}

Ответы [ 2 ]

13 голосов
/ 17 июля 2010

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

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

Чтобы получить то, что вы хотите, вы должны использовать умный указатель, например shared_ptr (из Boost, TR1 или C ++ 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)));

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

5 голосов
/ 17 июля 2010

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

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

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

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

...