Question

我最近了解了std::move和rvalue个引用，并想知道我对它们的使用是否合适且有效。

考虑这个简单的Image类，它只存储一个代表像素的unsigned char值数组。（请注意，实际上成员数量多于单个字符数组，但为了便于阅读，我在此进行了简化。）

using PixelContainer = std::vector<unsigned char>;

class Image {
public:
    Image(PixelContainer&& pixels) : m_pixels(std::move(pixels)) {};

    Image& operator=(Image&& image) { m_pixels = std::move(image.m_pixels); return *this; };

private:
    PixelContainer m_pixels;
};

现在考虑一个ImageFactory类的静态方法，该方法接收.png的文件名并返回填充了适当像素值的Image对象。

Image ImageFactory::loadImage(const char* filename) {
    PixelContainer temp_pixels;

    // ... fill pixels from file (details not relevant here)

    Image temp_image(std::move(temp_pixels));

    return temp_image;
}

最后，它们一起用在代码中：

Image image = ImageFactory::loadImage("image.png");

我使用rvalue引用可能会消除任何花费在复制可能是大量像素值的时间上的时间。由于工厂创建的矢量和图像是临时的，因此可以移动它们。

我的问题是，我的实施是否有意义，如果它没有根本缺陷，是否可以进一步改进？

Answer 1

让我们找出来！我添加了一个这样的函数来包含你的最后一段代码：

Image outer() {
    Image image = ImageFactory::loadImage("image.png");
    return image;
}

我还必须为Image添加一个常规的复制构造函数（我使用= default来定义它），因为即使它没有被实际使用，也需要返回 - 值。

然后我用Clang -O2 -g -S编译，并查看了程序集。它主要用于初始化向量的代码：调用operator new并设置向量的内部指针。没有复制，代码看起来相当干净和高效。正如您所希望的那样，outer()的代码几乎与loadImage()的代码相同（后者被内联到前者中，因为我将所有内容都放在一个翻译单元中）。

作为参考，这里是我得到的集会：

outer():                             ## @_Z5outerv
    pushq   %rbp
    movq    %rsp, %rbp
    pushq   %rbx
    pushq   %rax
    movq    %rdi, %rbx
    movl    $100000000, %edi        ## imm = 0x5F5E100
    callq   operator new(unsigned long)
    movd    %rax, %xmm0
    movlhps %xmm0, %xmm0            ## xmm0 = xmm0[0,0]
    movq    $-100000000, %rcx       ## imm = 0xFFFFFFFFFA0A1F00
    movq    %rax, %rsi
LBB1_1:                                 ## =>This Inner Loop Header: Depth=1
    testq   %rsi, %rsi
    movl    $0, %edx
    je      LBB1_3
    movb    $0, (%rsi)
    movaps  %xmm0, %xmm1
    punpckhqdq      %xmm1, %xmm1    ## xmm1 = xmm1[1,1]
    movd    %xmm1, %rdx
LBB1_3:                                 ## %_ZNSt3__116allocator_traits...
    incq    %rdx
    movd    %rdx, %xmm1
    punpcklqdq      %xmm1, %xmm0    ## xmm0 = xmm0[0],xmm1[0]
    incq    %rcx
    movq    %rdx, %rsi
    jne     LBB1_1
## BB#4:                                ## %_ZN12ImageFactory9loadImageEPKc.exit
    leaq    100000000(%rax), %rax
    movdqu  %xmm0, (%rbx)
    movq    %rax, 16(%rbx)
    movq    %rbx, %rax
    addq    $8, %rsp
    popq    %rbx
    popq    %rbp
    retq

使用Rvalue引用和Simple Factory

1 个答案: