KWALIFIKACJA INF3 - CZERWIEC 2023 (test 2)

W zadaniach typu "Wskaż kod równoważny" kluczowe jest rozróżnienie między podobieństwem zapisu a równoważnością semantyczną. Dwa fragmenty PHP są równoważne wtedy, gdy dla tych samych danych wejściowych:

• zwracają/wypisują ten sam wynik,
• powodują te same skutki uboczne (np. przypisania do zmiennych, inkrementacje, modyfikacje tablic, rzucanie wyjątków),
• wykonują się w tej samej logice (np. identycznie obsługują przypadki brzegowe, typy i wartości puste).

Odpowiedź "Kod 2" jest wskazana jako poprawna, ponieważ jest to jedyny wariant, który zachowuje działanie przedstawionego kodu w sensie wyniku i efektów ubocznych. W praktyce przy takich porównaniach należy sprawdzić m.in.:

• priorytety operatorów i nawiasowanie (częsta przyczyna niepozornej zmiany logiki),
• typy danych i sposób porównywania (różnice między porównaniem luźnym i ścisłym mogą zmienić wynik),
• kolejność ewaluacji wyrażeń oraz to, czy dana konstrukcja wykonuje się zawsze czy warunkowo,
• wartości zwracane (np. czy kod zwraca wartość, czy tylko coś wypisuje).

Dlaczego pozostałe propozycje bywają błędne w tego typu zadaniach? Zwykle któryś wariant:

• zmienia warunek (np. przez inną kolejność lub inny operator),
• zmienia moment modyfikacji zmiennej (np. pre/post-inkrementacja),
• upraszcza kod kosztem innego zachowania w przypadkach brzegowych,
• zastępuje konstrukcję inną, która wygląda podobnie, ale ma inny efekt (np. inny zwracany typ lub inne zachowanie dla wartości pustych).

Wskazówka egzaminacyjna: jeśli masz wątpliwość, wykonaj w myślach trace działania programu krok po kroku dla 2–3 zestawów danych (w tym przypadków brzegowych). To szybciej wykrywa "ukryte" różnice niż ocenianie po samym wyglądzie kodu.