Использование задач EnterCriticalSection

Также кодом выше не является безопасное Исключение.
Нет никакой гарантии, что push_back () pop_back () не бросит. Если они сделают то они оставят Ваш критический раздел постоянно заблокированным. Необходимо создать класс блокировщика, который называет EnterCriticalSection () на конструкции и LeaveCriticalSection () на разрушении.

Также это делает Ваши методы намного легче читать. (см. ниже),

class CriticalSectionLock
{
    public:
        CriticalSectionLock(CRITICAL_SECTION& cs)
            : criticalSection(cs)
        {
            EnterCriticalSection(&criticalSection);
        }
        ~CriticalSectionLock()
        {
            LeaveCriticalSection(&criticalSection);
        }
    private:
        CRITICAL_SECTION&  criticalSection;
};


// Usage
template
unsigned int SharedVector::size() const
{
    CriticalSectionLock  lock(cs);
    return vect.size();
}

Другая вещь необходимо волноваться о. Удостоверяется, что при уничтожении объекта, у Вас есть владение и что никто больше не пытается взять владение во время разрушения. Надо надеяться, Ваш DestoryCriticalSection () заботится об этом.

EnterCriticalSection не берет аргумент константы. Это - ошибка компиляции, BTW, не связывающаяся ошибка...

Кроме того, Вы уверенный, что Вы хотите передать в критическом разделе в Ваш ctor, и затем иметь ctor работают InitializeCriticalSection звонить? Если бы Вы хотите совместно использовать свой критический раздел, я предполагаю, что Вы инициализировали бы его сначала и затем раздали бы его.

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

class CS_Acquire {
    CRITICAL_SECTION &cs;
public:
    CS_Acquire(CRITICAL_SECTION& _cs) : cs(_cs) { EnterCriticalSection(cs); }
    ~CS_Acquire() { LeaveCriticalSection(cs); }
};

Затем в Ваших методах класса Вы кодировали бы его как:

template <typename T>
void SharedVector::PushBack(const T& value) {
   CS_Acquire acquire(&cs);
   vect.push_back(value);
}

таким образом это - что-то не так с правами доступа. Я сделал размер () неконстантой метода, и теперь это в порядке.

Я вижу, что Вы объявляете пустого конструктора копии:

SharedVector(const SharedVector& rhs) {}

Поскольку я уверен, что Вы знаете, эта функция ничего не делает, и она также уезжает cs неинициализированный. Поскольку Ваш класс содержит экземпляр a CRITICAL_SECTION, несомненно, необходимо будет запретить конструктору копии и вызовам оператора присваивания, если Вы не собираетесь реализовать их полностью. Можно сделать это путем размещения следующих объявлений в private раздел Вашего класса:

SharedVector(const SharedVector &);
SharedVector &operator=(const SharedVector &);

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

Кроме того, как Arnout упомянул, конструктор, который берет a CRITICAL_SECTION& аргумент кажется неправильным. То, что делает Ваша реализация, скопировать переданный - в критическом разделе к cs (который не является допустимой вещью сделать с a CRITICAL_SECTION), затем звонит InitializeCriticalSection(&cs) который перезаписывает копию, Вы просто сделали и создаете новый критический раздел. Вызывающей стороне, которая передала в критическом разделе, это, кажется, делает неправильную вещь путем эффективного игнорирования того независимо от того, что было передано в.