C++ 11 移动语义

Question

我正在尝试了解 C++ 11 移动语义的工作原理。我已经实现了一个 class，它包装了一个指向 String 对象的指针，但是移动构造函数和移动赋值运算符都没有按预期被调用。

我正在通过 Eclipse 使用 GCC 4.7.2 CDT:

你能帮我了解一下原因吗？

#include <iostream>
#include <string>
#include <utility>

using namespace std;

class StringPointerWrapper {
public:

    // Default constructor with default value
    StringPointerWrapper(const std::string& s = "Empty"): ps(new std::string(s)) {
        std::cout << "Default constructor: " << *ps << std::endl;
    }

    //Copy constructor
    StringPointerWrapper(const StringPointerWrapper& other): ps(new std::string(*other.ps)) {
        std::cout << "Copy constructor: " << *other.ps << std::endl;
    }

    //Copy assignment operator
    StringPointerWrapper& operator=(StringPointerWrapper other) {
        std::cout << "Assignment operator (ref): " << *other.ps << std::endl;
        swap(ps, other.ps);
        return *this;
    }


    //Alternate copy assignment operator
    /*StringPointerWrapper& operator=(StringPointerWrapper& other) {
        std::cout << "Assignment operator (val)" << std::endl;
        //We need to do the copy by ourself
        StringPointerWrapper temp(other);
        swap(ps, temp.ps);
        return *this;
    }*/

    //Move constructor
    StringPointerWrapper(StringPointerWrapper&& other) noexcept : ps(nullptr) {
        std::cout << "Move constructor: " << *other.ps << std::endl;
        ps = other.ps;
        other.ps = nullptr;
    }

    //Move assignment operator
    StringPointerWrapper& operator= (StringPointerWrapper&& other) noexcept {
        std::cout << "Move assignment operator: " << *other.ps << std::endl;
        if(this != &other) {
            delete ps;
            ps = other.ps;
            other.ps = nullptr;
        }
        return *this;
    }


    //Destructor
    ~StringPointerWrapper() {
        std::cout << "Destroying: " << *this << std::endl;
        delete ps;
    }
private:
        friend std::ostream& operator<<(std::ostream& os, StringPointerWrapper& spw) {
            os << *spw.ps;
            return os;
        }
        std::string *ps;
};


int main(int argc, char *argv[]) {

    StringPointerWrapper spw1("This is a string");
    StringPointerWrapper spw2;
    StringPointerWrapper spw3("This is another string");
    StringPointerWrapper spw4 = {"This is a const string"};
    StringPointerWrapper spw5(StringPointerWrapper("String for move constructor"));
    std::cout << "spw2 before: " << spw2 << std::endl;
    spw2 = spw3;
    std::cout << "spw2 after: " << spw2 << std::endl;
    StringPointerWrapper spw6 = StringPointerWrapper("String for move assignment");
    std::cout << spw1 << std::endl;
    std::cout << spw2 << std::endl;
    std::cout << spw3 << std::endl;
    std::cout << spw4 << std::endl;
    std::cout << spw5 << std::endl;
    std::cout << spw6 << std::endl;
}

Answer 1

你需要自己告诉编译器用 std::move

移动东西

尝试：

 StringPointerWrapper spw5(std::move(StringPointerWrapper("String for move constructor")));

Answer 2

移动构造函数没有被调用，因为编译器正在省略构造函数作为优化。如果您在编译器调用中传递 -fno-elide-constructors，则可以禁用它。

但是，您遇到了问题，因为您的移动构造函数仅使用来自 other 的指针，该指针很快就会被删除。将 std::string 作为指针保存并没有多大意义，您应该直接保存它并在移动赋值运算符和移动构造函数中调用 std::move。

Answer 3

StringPointerWrapper spw5(StringPointerWrapper("String for move constructor"));

这会调用默认构造函数，因为编译器已决定通过不创建临时对象来优化它（即，它已决定执行 StringPointerWrapper spw5("String for move constructor")）。而是通过执行 StringPointerWrapper spw5(std::move(StringPointerWrapper("String for move constructor")));.

强制移动

StringPointerWrapper spw6 = StringPointerWrapper("String for move assignment");

同样，编译器通过优化临时对象的创建来调用默认构造函数。

注意： 你的 operator<< 需要防范 null 指针。例如，

friend std::ostream& operator<<(std::ostream& os, StringPointerWrapper& spw) {
    if (spw.ps)
         os << (spw.ps);
        else
            os << "null";
    return os;
 }

C++ 11 移动语义

C++ 11 Move Semantics

c++

constructor

variable-assignment

move-semantics

c++11