std::map::clear 和元素的析构函数答案

【问题标题】：std::map::clear and elements' destructorsstd::map::clear 和元素的析构函数
【发布时间】：2012-11-05 21:32:10
【问题描述】：

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

我尝试调试std::map<string,string>，但看不到std::string 析构函数被调用。谁能帮我理解一下？

文档说明它被调用了，但我没有注意到它。

【问题讨论】：

你如何“注意到”std::string析构函数？

标签： c++ stdstring stdmap

【解决方案1】：

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

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

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

【讨论】：

有些我错过了它，但我可以看到我的断点在 std::string 析构函数处被击中，是的，调用堆栈确实来自 std::allocator。感谢您抽出宝贵时间约翰。

【解决方案2】：

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

【讨论】：

没错，但我一直在寻找 std::string，我的问题得到了以下评论的回答，参考链接的目的是重新检查我的理解，因为它提高了我的保证水平思考。

【解决方案3】：

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

#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 函数调用了。

【讨论】：

是的，我同意您的代码，但我的目标是 std::string 对象而不是用户定义的对象。感谢您抽出宝贵时间克里斯。

【解决方案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

【讨论】：