Question

使用std::map时，是否会在std::map::clear元素上调用析构函数？

我尝试调试std::map<string,string>，但看不到std::string析构函数被调用。任何人都可以帮助我理解吗？

文档声明它被调用，但我无法注意到它。

Answer 1

文档是正确的，它会被调用。

销毁将通过方法std::allocator<T>::deallocate()完成。在调试器中跟踪它。

http://www.cplusplus.com/reference/std/memory/allocator/

Answer 2

析构函数确实被调用。这是一个例子来说明：

#include <iostream>
#include <map>

class A
{
 public:
  A() { std::cout << "Constructor " << this << std::endl; }
  A(const A& other) { std::cout << "Copy Constructor " << this << std::endl; }
  ~A() { std::cout << "Destructor " << this <<std::endl; }
};

int main()
{
  std::map<std::string, A> mp;

  A a;

  mp.insert(std::pair<std::string, A>("hello", a));
  mp.clear();

  std::cout << "Ending" << std::endl;
}

这将报告类似于此的输出：

Constructor 0xbf8ba47a
Copy Constructor 0xbf8ba484
Copy Constructor 0xbf8ba48c
Copy Constructor 0x950f034
Destructor 0xbf8ba48c
Destructor 0xbf8ba484
Destructor 0x950f034
Ending
Destructor 0xbf8ba47a

因此，您可以看到调用clear函数调用析构函数。

Answer 3

尝试使用std::map<A,B>，其中A和B是具有析构函数的自定义类型，您在其中设置了断点。您将看到它确实被调用，以及这种破坏的确切范围。

Answer 4

这是一个完整的测试，它基于Chris Mansley的代码，因为我想查看对值，ptrs和refs的影响-我想了解其中的区别在清除和擦除之间。没有不同。总之，析构函数仅被称为对于值类型，这是您所期望的。我只想检查一下我的理解8）

#include <iostream>
#include <map>

class A
{
public:
    std::string some_data;

    A(std::string some_data) : some_data(some_data) {
        std::cout << "  A(" << some_data << ") @" << this << std::endl;
    }
    A(const A& other) {
        some_data = other.some_data;
        std::cout << "  Copy A(" << other.some_data << ") @" << this << std::endl;
    }
    ~A() {
        std::cout << "  Destruct ~A(" << some_data << ") @" << this << std::endl;
    }
};

void clear_test_value (void)
{
    std::cout << "clear_test_value() {" << std::endl;
    std::map<std::string, A> mp;
    A a("A1 data");
    mp.insert(std::pair<std::string, A>("key1", a));
    mp.clear();
    std::cout << "}" << std::endl;
    std::cout << std::endl;
}

void erase_test_value (void)
{
    std::cout << "erase_test_value() {" << std::endl;
    std::map<std::string, A> mp;
    A a("A1 data");
    mp.insert(std::pair<std::string, A>("key2", a));
    auto f = mp.find("key2");
    if (f == mp.end()) {
        std::cout << "failed to find element {" << std::endl;
        return;
    }
    mp.erase(f);
    std::cout << "}" << std::endl;
    std::cout << std::endl;
}

void clear_test_ptr (void)
{
    std::cout << "clear_test_ptr() {" << std::endl;
    std::map<std::string, A*> mp;
    A a("A1 data");
    mp.insert(std::pair<std::string, A*>("key1", &a));
    mp.clear();
    std::cout << "}" << std::endl;
    std::cout << std::endl;
}

void erase_test_ptr (void)
{
    std::cout << "erase_test() {" << std::endl;
    std::map<std::string, A*> mp;
    A a("A1 data");
    mp.insert(std::pair<std::string, A*>("key2", &a));
    auto f = mp.find("key2");
    if (f == mp.end()) {
        std::cout << "failed to find element {" << std::endl;
        return;
    }
    mp.erase(f);
    std::cout << "}" << std::endl;
    std::cout << std::endl;
}

void clear_test_ref (void)
{
    std::cout << "clear_test_ref() {" << std::endl;
    std::map<std::string, A&> mp;
    A a("A1 data");
    mp.insert(std::pair<std::string, A&>("key1", a));
    mp.clear();
    std::cout << "}" << std::endl;
    std::cout << std::endl;
}

void erase_test_ref (void)
{
    std::cout << "erase_test_ref() {" << std::endl;
    std::map<std::string, A&> mp;
    A a("A1 data");
    mp.insert(std::pair<std::string, A&>("key2", a));
    auto f = mp.find("key2");
    if (f == mp.end()) {
        std::cout << "failed to find element {" << std::endl;
        return;
    }
    mp.erase(f);
    std::cout << "}" << std::endl;
    std::cout << std::endl;
}

int main ()
{
    clear_test_value();
    erase_test_value();
    clear_test_ptr();
    erase_test_ptr();
    clear_test_ref();
    erase_test_ref();

    return (0);
}

输出：

clear_test_value() {
  A(A1 data) @0x7ffee07389a0
  Copy A(A1 data) @0x7ffee0738960
  Copy A(A1 data) @0x7fe98fc029c8
  Destruct ~A(A1 data) @0x7ffee0738960
  Destruct ~A(A1 data) @0x7fe98fc029c8
}

  Destruct ~A(A1 data) @0x7ffee07389a0
erase_test_value() {
  A(A1 data) @0x7ffee07387f0
  Copy A(A1 data) @0x7ffee07387b0
  Copy A(A1 data) @0x7fe98fc029c8
  Destruct ~A(A1 data) @0x7ffee07387b0
  Destruct ~A(A1 data) @0x7fe98fc029c8
}

  Destruct ~A(A1 data) @0x7ffee07387f0
clear_test_ptr() {
  A(A1 data) @0x7ffee07389b0
}

  Destruct ~A(A1 data) @0x7ffee07389b0
erase_test() {
  A(A1 data) @0x7ffee0738800
}

  Destruct ~A(A1 data) @0x7ffee0738800
clear_test_ref() {
  A(A1 data) @0x7ffee07389b0
}

  Destruct ~A(A1 data) @0x7ffee07389b0
erase_test_ref() {
  A(A1 data) @0x7ffee0738800
}

  Destruct ~A(A1 data) @0x7ffee0738800

std :: map :: clear和elements的析构函数

4 个答案: