매개변수 전달 방식

프로그래밍 언어론 - 매개변수 전달 방식

Transcript

1. 2020-06-17 ੉଻਷ ݒѐ߸ࣻ ੹׳ ߑध W1 ੗ܐҳઑ৬ ঌҊ્ܻ / ঱যۿ
2. #INTRO
3. #INTRO ੋࣻ vs ݒѐ߸ࣻ ੋࣻ(argument) पݒѐ߸ࣻ(actual parameter) ݒѐ߸ࣻ(parameter) ഋधݒѐ߸ࣻ(formal parameter) ೣࣻ, ೐۽द੷ ഐ୹ী ز߈ ೣࣻ, ೐۽द੷ ࢶ঱ী աఋթ
4. #INTRO ੋࣻ vs ݒѐ߸ࣻ ೣࣻ, ೐۽द੷ ഐ୹ী ز߈ ೣࣻ, ೐۽द੷ ࢶ঱ী աఋթ ੋࣻ(argument) पݒѐ߸ࣻ(actual parameter) ݒѐ߸ࣻ(parameter) ഋधݒѐ߸ࣻ(formal parameter) C, Java Algol, Pascal C, Java Algol, Pascal
5. #ݒѐ߸ࣻ_੹׳_ߑध
6. #ݒѐ߸ࣻ_੹׳_ߑध 1 2 3 4 5 ч ੹׳ ߑध pass-by-value ઱ࣗ ੹׳ ߑध pass-by-reference ч-Ѿҗ ੹׳ ߑध pass-by-value-result Ѿҗ ੹׳ ߑध pass-by-result ੉ܴ ੹׳ ߑध pass-by-name
7. #ݒѐ߸ࣻ_੹׳_ߑध 1 ч ੹׳ ߑध pass-by-value ੋࣻ੄ чਸ ഐ୹ दрী ҅࢑ೞҊ ೧׼ ݒѐ߸ࣻী ࠂࢎ पઁ ੋࣻী ৔ೱਸ ޷஖૑ ঋח׮
8. #ݒѐ߸ࣻ_੹׳_ߑध 1 ч ੹׳ ߑध pass-by-value chicken = ;
9. #ݒѐ߸ࣻ_੹׳_ߑध 1 ч ੹׳ ߑध pass-by-value chicken = ; eatChicken();
10. #ݒѐ߸ࣻ_੹׳_ߑध 1 ч ੹׳ ߑध pass-by-value chicken = ; eatChicken();
11. #ݒѐ߸ࣻ_੹׳_ߑध ੋࣻ੄ ݫݽܻ ઱ࣗܳ ೧׼ ݒѐ߸ࣻী ࠂࢎ, ݒѐ߸ࣻח पઁ ੋࣻী ؀ೠ р੽੸ੋ ଵઑ ೣࣻ प೯ ઺ী ੌযաח ݒѐ߸ࣻী ؀ೠ ੷੢ޙ਷ ૒੽੸ਵ۽ ੋࣻ чী ৔ೱਸ ષ 2 ઱ࣗ ੹׳ ߑध pass-by-reference
12. #ݒѐ߸ࣻ_੹׳_ߑध chicken = ; 2 ઱ࣗ ੹׳ ߑध pass-by-reference
13. #ݒѐ߸ࣻ_੹׳_ߑध chicken = ; eatChicken(); 2 ઱ࣗ ੹׳ ߑध pass-by-reference
14. #ݒѐ߸ࣻ_੹׳_ߑध chicken = ; eatChicken(); 2 ઱ࣗ ੹׳ ߑध pass-by-reference
15. #ݒѐ߸ࣻ_੹׳_ߑध & WHEN? ೣࣻ प೯ زউ ੋࣻ ч੉ ߸೧ঠ ೞח ҃਋ ؀ഋ ߓৌ୊ۢ ݫݽܻ ݆੉ ର૑ೞח ҃਋ী ਬਊ 2 ઱ࣗ ੹׳ ߑध pass-by-reference
16. #ݒѐ߸ࣻ_੹׳_ߑध & WHY NOT? ੋࣻ ࠄې чী ؀ೠ ࠗ੘ਊਸ ഐ୹੗о ਗೞ૑ ঋਸ ࣻب… 2 ઱ࣗ ੹׳ ߑध pass-by-reference
17. #ݒѐ߸ࣻ_੹׳_ߑध ೣࣻ ഐ୹ द ੋࣻ੄ чਸ ݒѐ߸ࣻ۽ ࠂࢎ, ೣࣻ ܻఢ द ҅࢑ Ѿҗܳ ੋࣻ۽ ࠂࢎ 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result ч-Ѿҗ ੹׳ Ѿҗ ੹׳ ೣࣻ प೯੉ ՘աҊ ܻఢೡ ٸ ݒѐ߸ࣻীࢲ ҅࢑ೠ ୭ઙчਸ ੋࣻ۽ ࠂࢎ
18. #ݒѐ߸ࣻ_੹׳_ߑध ೣࣻ ഐ୹ द ੋࣻ੄ чਸ ݒѐ߸ࣻ۽ ࠂࢎ, ೣࣻ ܻఢ द ҅࢑ Ѿҗܳ ੋࣻ۽ ࠂࢎ 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result ч-Ѿҗ ੹׳ Ѿҗ ੹׳ ೣࣻ प೯੉ ՘աҊ ܻఢೡ ٸ ݒѐ߸ࣻীࢲ ҅࢑ೠ ୭ઙчਸ ੋࣻ۽ ࠂࢎ ޖट ର੉о ੓ਸө?
19. #ݒѐ߸ࣻ_੹׳_ߑध 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result ч-Ѿҗ ੹׳ Ѿҗ ੹׳ ߹ݺ ࠢ੉ӝ(aliasing)੄ ର੉! ೣࣻ, ೐۽द੷ উীࢲ زੌೠ ݫݽܻ ਤ஖ܳ
 ׮ܲ ੉ܴਵ۽ ଵઑೡ ࣻ ੓ѱ ೞח Ѫ
20. #ݒѐ߸ࣻ_੹׳_ߑध 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result ч-Ѿҗ ੹׳ Ѿҗ ੹׳ ߹ݺ ࠢ੉ӝ(aliasing)੄ ର੉! ೣࣻ, ೐۽द੷ উীࢲ زੌೠ ݫݽܻ ਤ஖ܳ
 ׮ܲ ੉ܴਵ۽ ଵઑೡ ࣻ ੓ѱ ೞח Ѫ ߹ݺ ࠢ੉ӝ O ߹ݺ ࠢ੉ӝ X
21. #ݒѐ߸ࣻ_੹׳_ߑध & Example زੌೠ ݫݽܻ ਤ஖ܳ ف ѐ ੉࢚੄ ઱ࣗо оܻఃѱ ೞח Ѫ ੹৉ ߸ࣻܳ ઱ࣗ ੹׳ ߑधਵ۽ ੹׳ೞҊ, э਷ ೣࣻ ղীࢲ ੉ ߸ࣻܳ ੹৉ ߸ࣻ۽ࢲ ଵઑ 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result
22. #ݒѐ߸ࣻ_੹׳_ߑध C++ 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result Ada pass-by-value-result pass-by-reference void f(int& x, int& y) { x = x + 1; y = y + 1; } procedure f(x, y: in out Integer) is begin x := x + 1; y := y + 1; end f;
23. #ݒѐ߸ࣻ_੹׳_ߑध C++ 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result Ada pass-by-value-result pass-by-reference void f(int& x, int& y) { x = x + 1; y = y + 1; } procedure f(x, y: in out Integer) is begin x := x + 1; y := y + 1; end f; f(a, b) a, b 1ঀ ૐо a, b 1ঀ ૐо
24. #ݒѐ߸ࣻ_੹׳_ߑध C++ 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result Ada pass-by-value-result pass-by-reference void f(int& x, int& y) { x = x + 1; y = y + 1; } procedure f(x, y: in out Integer) is begin x := x + 1; y := y + 1; end f; f(a, a) aо 2݅ఀ ૐо aо 1݅ఀ ૐо
25. #ݒѐ߸ࣻ_੹׳_ߑध C++ 3 ч-Ѿҗ ੹׳ ߑध pass-by-value-result 4 Ѿҗ ੹׳ ߑध pass-by-result Ada pass-by-value-result pass-by-reference void f(int& x, int& y) { x = x + 1; y = y + 1; } procedure f(x, y: in out Integer) is begin x := x + 1; y := y + 1; end f; f(a, a) aо 2݅ఀ ૐо aо 1݅ఀ ૐо ੉۠ ޙઁח ಴ળ ঱যীࢲ ߓઁೞب۾ غয ੓׮
26. #ݒѐ߸ࣻ_੹׳_ߑध ೣࣻ ղীࢲ ݒѐ߸ࣻ ੉ܴ੉ աఋաח Ҕ݃׮ ੋࣻ ੉ܴਸ Ӓ؀۽ ؀୓ೞח Ѫ୊ۢ ز੘ 5 ੉ܴ ੹׳ ߑध pass-by-name
27. #ݒѐ߸ࣻ_੹׳_ߑध 5 ੉ܴ ੹׳ ߑध pass-by-name Algol60 ীࢲ ݢ੷ Ҋউ೮ਵա, ৈ۞ ৘ஏೞ૑ ޅೠ Ѿҗо ੓঻׮.
28. #ݒѐ߸ࣻ_੹׳_ߑध 5 ੉ܴ ੹׳ ߑध pass-by-name Algol60 ীࢲ ݢ੷ Ҋউ೮ਵա, ৈ۞ ৘ஏೞ૑ ޅೠ Ѿҗо ੓঻׮. ৮੹൤ ੌ߈੸ੋ Үജ ೐۽द੷ ੘ࢿ ࠛо!
29. #ݒѐ߸ࣻ_੹׳_ߑध 5 ੉ܴ ੹׳ ߑध pass-by-name procedure swap(a, b); integer a, b; begin integer t; t := a; a := b; b := t; end; Algol60 swap(a[i], i) swap(i, a[i]) a := b;ীࢲ i੄ ч੉ ߄Շয ߡܽ׮!
30. #Question