2

我最近了解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类的这个静态方法，它接受一个文件名 a.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引用来大概摆脱复制可能是大量像素值的任何时间。因为工厂创建的矢量和图像是临时的，它们可以移动。

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

4

1 回答 1

4

让我们来了解一下！我添加了一个这样的函数来包含您的最后一段代码：

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

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

然后我用 Clang -O2 -g -S 编译，并查看了程序集。它主要是初始化向量的代码：调用operator new和设置向量的内部指针。没有复制，代码看起来相当干净和高效。正如您可能希望的那样，for 的代码outer()几乎与 for 的代码相同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
于 2014-10-11T02:46:56.860 回答