Может ли алгоритм безопасно разрешить самостоятельное назначение ввода для вывода?

Question

Я занимаюсь разработкой приложения, где я определяю несколько алгоритмов для работы на массиве данных, с общей формой:

Применить [алгоритм [K]] для данных в [I] и сохранить в [о]

Сузить до моих сомнений:

a) Возможно, что вход и выход являются одним и тем же объектом, например, при применении фильтра Гаусса к изображению.

b) Возможно, алгоритм разрешен без операции, например, при интерполяции массива данных на другой размер того же размера.

Когда (а) и (б) происходит в то же время, в следующую часть алгоритма

o[output_position]=process(i[input_position]); 

Будет решительный к

o[output_position]=o[output_position]; 

Является ли это безопасно?

---

Некоторые довольно-не-полированная рассуждения:

Я предполагаю, что это, в основном потому, что (но я не чувствую себя уверенно с этим предположением) память-память перемещается решает памяти-to перемещение по регистру.

Он работал с некоторыми простыми тестами, но у меня нет знаний, чтобы сказать кому-то «взглянуть на мой хорошо продуманный код».

Я планирую скомпилировать флаги оптимизации и перейти к другим частям проекта, поэтому я волнуюсь, что где-то в будущем идут BOOM, и там идет еще один приятный день, проведенный на отладчике, для отслеживания этого самоназначения.

Заранее благодарен.

Answer 1

Это полностью зависит от типа o[output_position]. Если он правильно выполняет оператор присваивания, то это нормально. Правильно реализованный оператор присваивания всегда отлично работает с самоназначением.

Идиоматическая реализация оператора присваивания в C++ использует copy-and-swap idiom. Это подразумевает правильное самоопределение, даже без проверки this != &other, которое вы часто увидите в других реализациях.

Answer 2

При использовании базовых типов (int, float, char) ваши рассуждения будут точными - любое назначение выполняется с помощью памяти-памяти, которая достаточно быстро.

При использовании объектов вам необходимо правильно реализовать оператор присваивания (operator =). Это, скорее всего, будет сделано путем проверки, как вы должны, что вы не назначая объект к себе:

Object operator=(const Object& other) { 
    if (&other == this) { return *this }; 

    // your assignment code here! 
}