Компилятор имеет полное право применять copy elision, то есть заменять перемещение на конструирование объекта прямо по месту его дальнейшего присвоения.
Для подтверждения своих слов я воспользовался онлайн-компилятором:
Исходный код:
#include <string>
#include <vector>
class Implementation
{
private:
int number() const;
std::string string() const;
std::vector<int> vector() const;
public:
Implementation();
Implementation(int, std::string, std::vector<int>);
Implementation(const Implementation & other);
Implementation(Implementation && other) noexcept;
Implementation clone() const;
void swap(Implementation& other);
};
Implementation::Implementation(const Implementation & other) :
Implementation(other.clone())
{}
Implementation Implementation::Implementation::clone() const
{
return Implementation(this->number(), this->string(), this->vector());
}
Implementation::Implementation(Implementation && other) noexcept :
Implementation()
{
this->swap(other);
}
Скомпилированный результат интересующей нас функции на языке ассемблера Intel x86_64:
Implementation::Implementation(Implementation const&):
push rbp
mov rbp, rsp
sub rsp, 16
mov QWORD PTR [rbp-8], rdi
mov QWORD PTR [rbp-16], rsi
mov rax, QWORD PTR [rbp-8]
mov rdx, QWORD PTR [rbp-16]
mov rsi, rdx
mov rdi, rax
call Implementation::clone() const
nop
leave
ret
Как можно заметить, компилятор действительно применил указанный мной приём. Указатель this
передаётся через регистр (E/R)CX
. То есть Implementation::Implementation(Implementation const&)
как принял this
(в случае с конструктором он указывает на неинициализированную область памяти под объект), так и передаёт его дальше, в clone()
без каких-либо модификаций.