Как записать шаблонные операторы для массива и контейнера?

Question

[Павел Соколов]

У меня есть класс, который хранит данные, я хочу написать оператор, что работает так: T[] + container.
Я думал реализовать 4 шаблона, по T(&&)[] по const T(&)[] по const container& по container&&, чтобы не создавались промежуточные объекты а сразу мог происходить std::move в container&& из T(&&)[]. При этом контейнер создавался и возвращался новый, если был передан const container&.
Но случилась ошибка С2666. Уже на стадии 2х шаблонов:

template<size_t N, typename T, typename U>
dynamic_array<T> operator +(const U (&array)[N],  const dynamic_array<T>& dyn_array);
template<size_t N, typename T,  typename U>
dynamic_array<T> operator +(U (&&array)[N], const dynamic_array<T>& dyn_array);

Ошибка была именно в записи:

dynamic_array<int> dyn_array = temp_class().i + dynamic_array<int>(temp_class().i);

при этом мне не совсем ясно, во что может происходить неявный каст. У меня предположения что оно использует template<size_t N> dynamic_array(T (&&array)[N]), который использует std::move, а затем пытается взять этот dynamic_array&& и сложить с другим dynamic_array<T>&&, который уже имеет свой оператор в классе: operator +(dynamic_array<T>&& dyn_array);
Я знаю о решении через запись operator+(array, container), но она мне кажется громоздкой. Если другие способы обхода данной проблемы?

Comments

[Wataru]

Ошибку-то покажите.

[Павел Соколов]

Wataru, дал оператор, дал его использование, дал шаблоны, указал что за ошибка возникает. Я не понимаю

Ошибку-то покажите

. Я могу максимум добавить, что операторы без rvalue в контейнере это friend контейнера и что в класс с полем i это:

struct SS {
	int i[5] = { 1,2,3,4,5 };
};

Вы хотите вывод сборки в виде

error C2666: "dte_utils::operator +": перегруженные функции имеют похожие преобразования

?
Это еще решается через std::move(temp_class().i), однако мне не понятно из-за чего, ведь в операторах на массив статичного размера при такой же записи с этим же классом использует операторы по T(&&)[].

[Wataru]

Павел Соколов, сообщение компилятора об ошибке часто содержит кучу подсказок, что сильно упрощает анализ.

Кокретно тут попробуйте не использовать никаких ссылок для массива. И у вас будет только один оператор+. Передавайте его по значению. Это массив, т.е. указатель, передавать его по ссылке или через rvalue нет никакого смысла.

[Павел Соколов]

Wataru, почему не имеет смысла? разве не выгоднее будет сделать std::move объектов массива из rvalue класса?

[Wataru]

Павел Соколов, Зачем, если можно тупо переприсвоить куда-то указатель?

[Павел Соколов]

Wataru, да? и куда? в контейнер, что уже содержит элементы?

Answer 1

[Павел Соколов]

Я нашел причину множественного определения.
temp_class() это rvalue, а вот temp_class().i это кто для компилятора? rvalue потому что буквально создается временный объект и его поля - тоже по сути временные? или lvalue потому что имеет имя?
ну вот std::move(temp_class().i) убирает непонятицу, статично кастуя к rvalue с явным указанием