C++静态对象的移动问题

最新推荐文章于 2024-10-18 22:48:33 发布

dyyfyyds_

最新推荐文章于 2024-10-18 22:48:33 发布

阅读量325

点赞数

文章标签： c++

本文链接：https://blog.csdn.net/dyyfyyds_/article/details/131334037

版权

文章探讨了在C++中，返回静态对象时不同情况下是否会调用移动构造函数的问题。当返回静态对象时不调用移动构造函数，而是进行深拷贝。使用std::move尝试触发移动构造函数，但对常对象无效，仍会进行深拷贝。总结指出，是否调用移动构造取决于返回值的性质。

摘要由CSDN通过智能技术生成

7.1返回普通的静态对象

MyString func(const char* p)
{
    static MyString tmp(p);
    return tmp;
}
int main()
{
    MyString s1("hello");
    s1=func("helloworld");
    s1.Print();
    
    MyString s2;
    s2=func("hello");
    s2.Print();
    return 0;
}

结果：

进入主函数构建对象s1，再调用func函数，构建静态对象tmp，返回时并不调用移动拷贝构造而是调用普通的深拷贝构造函数构建将亡值对象，此时将亡值对象单独指向一块堆区空间，里面存放着"helloworld"字符串。由于tmp是静态对象，func函数结束tmp对象不消亡。

回到主函数，调用移动赋值函数将将亡值对象的资源移动给s1对象，该语句执行完后，将亡值对象消亡，s1对象打印出字符串"helloworld"。

再创建对象s2，调用func函数，由于tmp为静态对象不会再构建第二遍，其str所指向的堆区空间内容依然是"helloworld"字符串，返回tmp时依然是调用普通的深拷贝构造函数构建将亡值对象，将亡值对象的值也为"helloworld"字符串。

回到主函数，调用移动赋值函数将将亡值对象的资源移动给s2对象，此时，s2对象的内容为"helloworld"字符串，而不是"hello"字符串。执行完该语句后将亡值对象消亡，打印s2的"hellworld"字符串，析构所有对象程序结束。

7.2返回调用移动函数的静态对象

MyString func(const char* p)
{
    static MyString tmp(p);
    return std::move(tmp);
}
int main()
{
    MyString s1("hello");
    s1=func("helloworld");
    s1.Print();
    
    MyString s2;
    s2=func("hello");
    s2.Print();
    return 0;
}

结果：

最后s2为空字符串

进入主函数构建对象s1，再调用func函数，构建静态对象tmp，调用移动拷贝构造函数将静态对象tmp的资源移动给构建的将亡值对象，此时静态对象tmp的str为空。由于tmp是静态对象，func函数结束tmp对象不消亡。

回到主函数，调用移动赋值函数将将亡值对象的资源移动给s1对象，该语句执行完后，将亡值对象消亡，s1对象打印出字符串"helloworld"。

再创建对象s2，调用func函数，由于tmp为静态对象不会再构建第二遍，其str依然为空，返回tmp时调用移动构造函数将空字符串移动给构建的将亡值对象，将亡值对象的str为空。

回到主函数，调用移动赋值函数将将亡值对象的资源移动给s2对象，此时，s2对象的内容为空，而不是"hello"字符串。执行完该语句后将亡值对象消亡，打印s2的空字符串，析构所有对象程序结束。

7.3返回普通的常性对象

MyString func(const char* p)
{
    const MyString tmp(p);
    return tmp;
}
int main()
{
    MyString s1("hello");
    s1=func("helloworld");
    s1.Print();
    
    MyString s2;
    s2=func("hello");
    s2.Print();
    return 0;
}

结果：

进入主函数构建对象s1，再调用func函数，构建常对象tmp，由于是常对象所以返回时并不调用移动拷贝构造而是调用普通的深拷贝构造函数构建将亡值对象，此时将亡值对象单独指向一块堆区空间，里面存放着"helloworld"字符串，func函数结束tmp对象消亡。

回到主函数，调用移动赋值函数将将亡值对象的资源移动给s1对象，该语句执行完后，将亡值对象消亡，s1对象打印出字符串"helloworld"。

再创建对象s2，调用func函数，再次构建常对象tmp且其str所指向堆区空间存放的是"hello "字符串，同样的返回tmp时依然是调用普通的深拷贝构造函数构建将亡值对象，将亡值对象的值也为"hello"字符串。

回到主函数，调用移动赋值函数将将亡值对象的资源移动给s2对象，此时，s2对象的内容为"hello"字符串。执行完该语句后将亡值对象消亡，打印s2的"hell"字符串，析构所有对象程序结束。

7.4返回调用移动函数的常性对象

MyString func(const char* p)
{
    const MyString tmp(p);
    return std::move(tmp);
}
int main()
{
    MyString s1("hello");
    s1=func("helloworld");
    s1.Print();
    
    MyString s2;
    s2=func("hello");
    s2.Print();
    return 0;
}

结果：