Условия для копирования?

Я хотел проверить, работает ли следующая оптимизация:

• РОО
• Именованный RVO
• Копировать elision при передаче аргумента по значению

Итак, я написал эту небольшую программу:

#include <algorithm>
#include <cstddef>
#include <iostream>
#include <vector>

struct Foo {
    Foo(std::size_t length, char value) : data(length, value) { }

    Foo(const Foo & rhs) : data(rhs.data) { std::cout << "*** COPY ***" << std::endl; }

    Foo & operator= (Foo rhs) {
        std::cout << "*** ASSIGNMENT ***" << std::endl;
        std::swap(data, rhs.data); // probably expensive, ignore this please
        return *this;
    }

    ~Foo() { }

    std::vector<char> data;
};

Foo TestRVO() { return Foo(512, 'r'); }

Foo TestNamedRVO() { Foo result(512, 'n'); return result; }

void PassByValue(Foo inFoo) {}

int main()
{
    std::cout << "\nTest RVO: " << std::endl;
    Foo rvo = TestRVO();

    std::cout << "\nTest named RVO: " << std::endl;
    Foo named_rvo = TestNamedRVO();

    std::cout << "\nTest PassByValue: " << std::endl;
    Foo foo(512, 'a');
    PassByValue(foo);

    std::cout << "\nTest assignment: " << std::endl;
    Foo f(512, 'f');
    Foo g(512, 'g');
    f = g;
}

И я скомпилировал его с включенными оптимизациями:

$ g++ -o test -O3 main.cpp ; ./test

Это выводится:

Test RVO: 

Test named RVO: 

Test PassByValue: 
*** COPY ***

Test assignment: 
*** COPY ***
*** ASSIGNMENT ***

В соответствии с выходом RVO и названным RVO работают, как ожидалось. Однако для оператора присваивания не выполняется копирование, а при вызове PassByValue.

Не разрешено ли исключение копирования для определенных пользователем конструкторов-копий? (Я знаю, что RVO явно разрешено стандартом, но я не знаю о том, как копировать elision при передаче по значению.) Есть ли способ проверить копию elision без определения конструкторов копирования?

Ответы

PassByValue(Foo(512, 'a'));