Jak zamienić x na y, y na x?

Question

Przepraszam za temat. Nie wiem jak go sformułować

x=10

y=15

jak zrobic tak żeby x=15 a y=10

Answer 1

x = x + y

y = x - y

x = x - y

Comments

Wytłumaczysz?

---

Najpierw do zmiennej x (w tej chwili 10) przypisujemy sumę teraźniejszego x (10) i y (15).

Teraz, skoro dodaliśmy y do x, możemy nadpisać y, czyli wstawiamy tam x (25) i odejmujemy y (15). Na tym etapie mamy już gotowe y (10).

Teraz pora na odzyskanie x. Skoro teraźniejsze x (25) to suma pierwotnych x (10) i y (15), a my mamy gotowe y (10), to odejmując x od y (25 - 10) odzyskamy pierwotną wartość, czyli gotowe x (15).

---

Tylko że ta metoda prowadzi do niezdefiniowanego zachowania z powodu przepełnienia arytmetycznego.

---

Możesz to wyjaśnić?

---

Dla 10 i 15 to zadziała, ale jeżeli x i y są typu int oraz, przykładowo, x jest równe INT_MAX, a y jest równe 1, to dojdzie do przepełnienia podczas obliczania x + y. Wartość INT_MAX + 1 jest za duża dla typu int. Przepełnienie prowadzi do niezdefiniowanego zachowania, co oznacza, że pogram może się zachować w zupełnie nieprzewidywalny sposób.

---

Monika jest okay! Ale z takim ograniczeniem wielkości zmiennych trzeba się liczyć w każdej sytuacji, w każdej metodzie.

Answer 2

Uwaga! Troll post (namówili mnie).

Istnieje wiele możliwych sposobów żeby dokonać tej prostej akcji, więc podsyłam jeden z nich (kod pisany na szybko). Na pierwszy rzut oka wygląda strasznie, ale potem jest tylko gorzej.

struct {
    template <typename T, auto... Is>
    auto operator () (T* Ptr1, T* Ptr2, T* Buffer, std::index_sequence<Is...>) const noexcept
    {
        ((Buffer[Is] = Ptr1[Is]), ...);
        ((Ptr1[Is] = Ptr2[Is]), ...);
        ((Ptr2[Is] = Buffer[Is]), ...);
    }
} inline constexpr Variadic;

inline constexpr auto swap = [](auto& First, auto& Second)
{
    static_assert(std::is_same_v<decltype(First), decltype(Second)>);

    constexpr auto TypeSize = sizeof(std::common_type_t<decltype(First), decltype(Second)>);
    auto FirstPtr = reinterpret_cast<char*>(std::addressof(First));
    auto SecondPtr = reinterpret_cast<char*>(std::addressof(Second));
    struct { char m_Buffer[TypeSize]; } Buffer;

    Variadic(FirstPtr, SecondPtr, reinterpret_cast<char*>(std::addressof(Buffer)), std::make_index_sequence<TypeSize>{});
};

int main()
{
    int x = 10;
    int y = 15;
    std::cout << x << ' ' << y << '\n'; // 10 15
    swap(x, y);
    std::cout << x << ' ' << y << '\n'; // 15 10
}

 

Comments

Kto Cie zmusil do tego karygodnego wyczynu? :P

---

Towarzysze z projektu Szczur 

---

Łe... bez fabryki? :-) "Cieńko"... :-)

I std::addressof nierozpisany :-) Dopiero by było fajnie. Może "bedom z Ciebie ludzie w Enterprajzie" :-)

---

@MetGang, no to is_same czy common_t? ;)

Answer 3

std::swap(x, y);

 

Answer 4

hmm, użyć np. zmiennej pomocniczej temp, albo skorzystać ze swap

Answer 5

#include <iostream>

int main() {
    int x = 10;
    int y = 15;

    // (1) - IMHO najsensowniejsze...
    int tmp = x;
    x = y;
    y = tmp;
    std::cout << "(1) x = " << x << " y = " << y << '\n';

    // (2) - trik ale średnio wydajny...
    x ^= y;
    y ^= x;
    x ^= y;
    std::cout << "(2) x = " << x << " y = " << y << '\n';

    // (3) - ot taka ciekawostaka nie do końca zgodna z prawidłami :-)
    // Tu warn... 
    x ^= y ^= x ^= y;
    std::cout << "(3) x = " << x << " y = " << y << '\n';
}