如何在 Visual Studio 中为聚合激活 (N)RVO？

Question

Visual C++ 是否支持（命名的）聚合返回值优化 (N)RVO？

示例如下：

struct Vector
{
    float data[100];
};

void print(const Vector & v);

inline Vector makeVector()
{
    Vector c;
    return c;
}

void foo()
{
    print(makeVector());
}

经过优化编译（/O2 开关） https://godbolt.org/g/bb8HZj 可以很容易地看到 makeVector() 函数中构造的 Vector 的复制

    lea      rcx, QWORD PTR [rcx+128]
    movups   xmm0, XMMWORD PTR [rax]
    lea      rax, QWORD PTR [rax+128]
    movups   XMMWORD PTR [rcx-128], xmm0
    movups   xmm1, XMMWORD PTR [rax-112]
    movups   XMMWORD PTR [rcx-112], xmm1
    movups   xmm0, XMMWORD PTR [rax-96]
    movups   XMMWORD PTR [rcx-96], xmm0
    ...

很明显，这里没有像其他编译器那样的 NRVO。有没有办法在 Visual C++ 中打开或激活它？

Answer 1

看起来 MSVC 不会将 RVO 应用于被视为 C 结构的类型。解决方案是让您的 Vector 看起来像 C++ 类型（使其成为非 POD，但我不确定 POD 是否是 MSVC 在这里使用的）。试试这个：

struct Vector
{
    Vector() { }

    float data[100];
};

小心，因为它会改变语义：您将无法使用 Vector v{} 对其进行零初始化。