1樓：前端小胖
當函式在定義的時候在小括號中存放的引數叫做形參當函式在呼叫的時候小括號中的引數叫做實參
形參和實參是一一對應的，如果傳遞了形參，沒有傳遞實參的話，那麼形參就是 undefined
functionfn(
a,b)
fn(1,
2)//實參
2樓：BHKinterp
形參當然不是自由變數啊。根據STLC的定義，約束變數就是形參，自由變數就是不是形參的變數，這是由定義決定的。你寫了乙個函式，形參當然是只在函式體內有定義，這不叫約束什麼叫約束？
注意不要混淆邏輯中的自由變數和λ-caclulus中的自由變數，事實上在C-H同構中，程式中的自由變數對應的是邏輯中的證明假設。
3樓：
沒看懂有什麼問題。維基上說「對**定義域**沒有約束」。而形參的定義域顯然有約束呀，其定義域就是函式本身的作用域，所以形參不是自由變數。
4樓：歐陽繼超
如果你說的自由變數是 free variable，那x是bound variable， 而不是free variable
f x = x * y
x 是bound，y是free，沒有bound的都是free
c語言中，形參就是變數嗎？為什麼說函式的形參可以是指標型別？
C語言答疑課堂 別說形參了，實參也是變數，傳遞給函式的引數都是變數。指標也是一種變數，跟int變數，char變數一樣，都是變數。既然都是變數，函式大爺全然接受。 形參就是函式的引數 什麼是引數？比如你在dos下敲個命令dir如果目錄太多的話一螢幕顯示不完。那麼敲 dir p就可以分屏顯示，這個 p就...
C中未初始化的全域性變數是弱符號，這句話對嗎？
藍色 stackoverflow的這個理解很正確，而你這裡指明了C，在有關未初始化全域性變數這裡，C和C 處理的確是不同的，就在於C 對於未初始化的全域性變數會給乙個預設值，如int型別的就是0，所以C 並非如C一樣將Ndx置於了COM。而你給出的stackoverflow已經指明了common s...
人類在宇宙中是孤獨的嗎？
光明日報 2019年諾貝爾物理學獎公布，今年的獎項頒給了在宇宙學和系外行星領域深耕的三位天文學家。其中，系外行星的研究主要揭示乙個重大問題 人類在宇宙中真的孤獨嗎？系外行星就是太陽系以外的行星，跟太陽系類似，系外行星也是圍繞著它的恆星運動。1995年10月，馬約爾和奎洛茲宣布在類太陽星周圍發現了一顆...