Наложения объектов в C++

[fmx999]

Всем известна рекомендация передавать в функцию/метод в качестве параметра не объект, а const reference на него, в случае, если объект может быть достаточно большой.

В таком случае возникает вопрос: какие приемы позволяют обезопасится от ситуаций, когда в качестве параметра методу передается ссылка на часть этого самого объекта.

Пример:

#include <iostream>
using namespace std;
class A {
public:
    A(): a(0), b(0) { }

    void init(const int& _a, const int& _b) {
        a = _a;
        b = _b;
    }

    void replace() {
        init(b, a);
    }

    void print() {
        cout << "(" << a << ", " << b << ")" << endl;
    }

private:
    int a;
    int b;
};

int main(void)
{
    A x;

    x.init(1, 2);
    x.replace();
    x.print();

    return 0;
}

Ожидаемое поведение здесь - объект X должен стать парой (2, 1).
В действительности, из-за "наложения" *this и _b в методе A::init
результатом будет пара (2, 2).

Ясно, что это достаточно надуманный пример, но все же здесь ясна проблема. Как Вы избегаете таких ситуаций при разработке кода?

[Kostia]

void init(const int& _a, const int& _b) {
сцылко ф топку и фсе хоккей

[fmx999]

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

К примеру, если отказаться от использования передачи параметров по ссылке вообще, то это приведет к появлению лишних операций копирования объектов, что нежелательно.

[pproger]

а очень просто. следить за вызовом из класса public методов. по хорошему, не вызывать эти методы из класса, а оставить их для интерфейса