Какие должны быть перегрузки у конструктора с учётом move semantic?

Question

[Avery007]

У меня есть класс некий класс Pair , который хранит пару ключ-значение. До появление move semantic, я бы написал единственный конструктор, где оба параметра - const reference:
Pair(const K& Key, const V& Value);
Но сейчас, я не знаю, достаточно ли мне написать только одну дополнительную перегрузку

Pair(const K& Key, const V& Value);
Pair(K&& Key, V&& Value);

или же, помимо неё, добавить ещё две перегрузки

Pair(const K& Key, const V& Value);
Pair((K&& Key,, const V& Value);
Pair(const K& Key, V&& Value);
Pair(K&& Key, V&& Value);

Comments

[Максим Мосейчук]

move это расширение конструктора копирования, а его тут нет. У вас обычный конструктор с произвольными параметрами.

Pair(const Pair &other); //copy
Pair(Pair &&other); //move

[Avery007]

fshp: Move semantic это не расширение конструктора копирования. Посмотрите на метод push_back std::vector'а, там есть перегрузка с const T& и T&&. Плюс я про конструкторы копирования и перемещения ни слова не написал. Вопрос про конструктор из конкретный значений.

[Avery007]

fshp: Move semantic - это оптимизация rvalue, позволяющая избежать лишнего копирования.

Answer 1

[devalone]

Pair(const Pair<K, V>&& other)
{
key = other.key;
value = other.value;
other.key = other.value = nullptr;
}

Только зачем вам здесь move semantic?

Comments

[Avery007]

Pair(const Pair&& other)

Const тут не нужен, вы изменяете константный объект. Плюс я про конструкторы копирования и перемещения ни слова не написал. Вопрос про конструктор из конкретный значений и именно про то, какие нужны перегрузки, а не то, как их реализовать.

[devalone]

Avery007:

Const тут не нужен, вы изменяете константный объект

да, вы правы, написал на автомате.
Ну, делать Pair(const K& Key, V&& Value); не вижу смысла, к тому же в std::pair такого нет, у них только

template< class U1, class U2 >
constexpr pair( U1&& x, U2&& y );

Хотя в определённых ситуациях(я с такими пока не встречался), это может быть и нужно, например, следующий код не компилируется, т.к. у std::pair нет перегрузки pair(U2&x, U2&&y);, а у SomeClass2 нет конструктора перемещения:

#include <iostream>
#include <memory>
#include <vector>

using namespace std;

class SomeClass {
};
class SomeClass2 {
public:
    SomeClass2()
    {
    }

    SomeClass2(SomeClass2&& other) = delete;

    SomeClass2(const SomeClass2& other)
    {
    }
};

std::vector<std::pair<SomeClass2, std::unique_ptr<SomeClass>>> v;

int main()
{
    std::unique_ptr<SomeClass> u(new SomeClass);
    SomeClass2 s;

    v.push_back(std::pair<SomeClass2, std::unique_ptr<SomeClass>>(s, std::move(u)));

    return 0;
}