set.clear () вызывает деструкторы содержащихся элементов перед удалением элемента

В следующем коде я бы ожидал, что утверждение пройдет, но это не так.

Это отличается от документированного поведения unique_ptr :: reset, и я нахожу это довольно неожиданным.

Я что-то делаю неправильно или это ошибка? Это проблема, потому что, если один и тот же элемент удаляется с коэффициентом усиления, деструктор вызывается дважды.

#include <set>
#include <memory>

struct F
    : std::enable_shared_from_this<F>
{
    static int destructor_count;
    static std::set<std::shared_ptr<F>> container;

    F() {}

    ~F() {
        assert(container.size() == 0);
        container.clear(); // This will delete the same pointer twice.
        destructor_count--;
    }
};

int F::destructor_count = 0;
std::set<std::shared_ptr<F>> F::container;

int main()
{
    F::container.insert(std::shared_ptr<F>(new F));
    F::container.clear();
    return 0;
}

Информация о компиляторе:

libstdС++ 6-4.6-DEV

g++ (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
Copyright (C) 2011 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.