Please enable JavaScript.

Coggle requires JavaScript to display documents.

Chapter 9 Subprograms (參數傳遞方法 (種類 (Pass-by-value (In Mode) p.23圖 :fire:…

- - - - 第一個actual對應到第一個formal，以此類推
      - 優點 :　安全、有效率
    - - 優點 : 參數順序任意
      - 缺點 :一定得知道參數名稱
      - 給定參數名稱，再指定其值
- - - - 參數將其值複製到stack當中，並作為對應的形式參數的儲存位置
      - 用實際參數的值來替形式參數做初始化
      - 用copying進行實作
      - 也可以透過傳遞位址實作，但不建議 ( 違反寫入保護、可能導致巢狀式的呼叫)
      - 缺點 : 複製、空間都需要成本
    - - 當參數pass-by-result時，沒有值傳到子程式中
      - 對應的形式參數等同區域變數
      - 需要額外的儲存空間與複製操作
      - 問題
        
        實際參數碰撞
        
        計算位址的時間影響執行結果
        
        圖 p.25, p.26 :fire::fire::fire:
      - 控制權被交還給caller之後才將值傳入實際參數
    - - pass-by-value + passby-result
      - 又被稱為 pass-by-copy
      - 形式參數具有區域儲存空間
      - 缺點 : pass-by-value + passby-result的缺點
    - - 傳遞存取路徑(通常是位址)
      - 又被稱為pass-by-sharing
      - 傳遞過程有效率(無複製、無重複儲存)
      - 實作容易，就把位址放進stack而已
      - 缺點
        
        形式參數的傳遞比pass-by-value慢(間接定址)
        
        可能會有side-effect、不想要的別名
    - - 實際參數是文本接替的
      - 形式參數在呼叫時就已綁定存取方法，但值、位址則是等到形式參數被指派或參考時才綁定
      - 通過pass-by-name，就好像將參數的文本插入子程序的文本中。
      - 圖 p.32 :fire::fire::fire:
  - - - 3種mode
        
        in : 可以被參考、不能被指派(默認模式)
        
        out : 可以被指派，但不能被參考
        
        inout : 可以被參考、指派
  - - - 傳遞指標(指向陣列)、大小、維度等參數 (e.g. void fun(float *mat_ptr, int num_rows,int num_cols); )
      - 使用者必須使用這些參數，自訂storage mapping function (e.g. (mat_ptr +(row num_cols) + col) = x; )
- - - - function不能當參數傳，但指向function的指標可以
      - 指標的型別為function’s protocol -> 因此，可進行型別檢查