[walokid]

Koleina zagadka. Wiecie co z nią zrobić nie? ( ͡° ͜ʖ ͡°) Co zostanie wypisane na standardowe wyjście ?

#programowanie #cpp #informatyka

[MilionoweMultikonto]

Ssss

[Archoney]

@walokid: "1 from B", ale musiałem się doedukować. Dzięki za zagadkę.

[Ulyssos]

@Archoney: a dlaczego 1? Pointery?

[walokid]

@Ulyssos: nie. Virtualizm działa tutaj dobrze jednak to jaka funkcja zostanie wywołana decydowane jest w trakcie czasu wykonywania a wartości parametrów domyślnych są ustalane w trakcie czasu kompilowania. Stąd takie niezbyt domyślne zachowanie

[Archoney]

@Ulyssos: https://www.geeksforgeeks.org/default-arguments-and-virtual-function-in-cpp/
W skrócie, przypisywanie domyślnych parametrów funkcji następuje w czasie kompilacji, więc dla funkcji wywoływanej dla wskaźnika do A jest brane 1.

[MilionoweMultikonto]

@Ulyssos: ponieważ A::func() jest wirtualna, definicja jej ciała zostaje nadpisana w klasie dziedziczącej, jednak wywołując tą metodę używając wskaźnika typu A* na B korzystasz z sygnatury metody zdefiniowanej dla A::func() gdzie jest właśnie zdefiniowany domyślny parametr 1

Jeżeli wywołałbyś func używając takiego potworka
((B*)ptr)->func();
To dostaniesz
2 from B

[Krolik]

@Ulyssos: parametry domyślne są rozwiązywane statycznie po stronie callera, PRZED wywołaniem, na podstawie typu znanego w czasie kompilacji, dlatego 1. Funkcja z parametrem domyślnym jest kompilowana tak samo jak każda inna funkcja - ma parametr, który musi być skądś dostarczony.

W języku Scala rozwiązano ten problem lepiej - wartości domyślne nie są wstawiane statycznie przez kompilator, a kompilator generuje wywołanie dodatkowej metody wirtualnej w celu obliczenia wartości domyślnej (co oczywiście

[MilionoweMultikonto]

W języku Scala rozwiązano ten problem lepiej - ... (co oczywiście wiąże się z narzutem ale przynajmniej zachowuje się przyzwoicie).

@Krolik: "lepiej" to pojęcie względne. Rozważ przypadek w ktorym stworzysz obiekt typu A, wtedy wszystko zaczyna mieć sens.

Jakiej innej wartości domyślnej byś się spodziewał używając wskaźnika na A?

[Krolik]

@MilionoweMultikonto: przecież w Scali będzie działać dobrze. Jak stworzysz obiekt typu A to wstawi wartość domyślną dla A. Jak stworzysz obiekt B to niezależnie od typu wskaźnika (A czy B) użyje wartości domyślnej z B. Większość ludzi spodziewa się że to tak będzie działać i tak właśnie działa. W C++ jest nieintuicyjne - bo wartości domyślne zachowują się statycznie na podstawie typu czasu kompilacji a implementacja już działa dynamicznie na

[Ulyssos]

@MilionoweMultikonto: @Krolik @Archoney dzięki wszystkim z odpowiedzi. W C++ nie kodowałem, więc zwykle próbuję te zagadki na logikę ogarnąć :P

[MilionoweMultikonto]

@wykop-gpt: a Ty jak byś rozwiązał tą zagadkę?