C 中ref和out的原理

2022-01-11 22:11:27 字數 1770 閱讀 2351

去年在csdn

上寫的,現在把它搬過來。

用了那麼久的refout,你真的了解它們是如何使得實參與形參的值保持同步的嗎?

要研究這個問題,前提是要了解c#中方法間引數是如何傳遞的:

1.clr支援兩種型別:值型別引用型別

//表示引用型別

2class

ref312}

13}1415

static

void

testvalandref()16;

2324

//第二部分

25int a2 =a1;

26 a2 = 10;27

var ref2 =ref1;

28 ref2.x = 10

;29 }

上述**執行時變數的儲存情況:

2.引數傳遞方式分為傳值傳引用兩種。

3.對於clr來說,使用out和ref都會生成相同的il**,並且元資料除了乙個bit(用於記錄宣告方法時指定的是out還是ref)外,完全一致。

//測試ref

2static

void testref(ref

ref r)3;

8}910

//測試out

11static

void testout(out

ref r)12;

17}1819

static

void main(string

args)20;

2526 testref(ref

ref1);

27 testout(out

ref ref2);

28 }

以上**編譯出來的il為:

可以看到,testref和testout方法對應的il完全相同!

4.在clr中,方法的引數以及返回值都是通過棧來儲存的,這些形參雖然表示的東西和實參看起來時一致的,但是實際上是分開儲存的,即形參和實參是兩個不同的變數。

1.clr預設所有方法引數傳遞方式都是傳值:

a.對於值型別來說,傳遞的是值的副本。例如執行緒棧中 a1 的值:5。

b.對於引用型別來說,傳遞的是物件的引用,而引用本身是傳值的,呼叫方法內用形參把引用存起來,如果在呼叫方法內部更改了形參內儲存的引用(new乙個新物件或用對其賦另乙個物件),那麼該形參就與實參斷了聯絡,隨後的修改對實參不起作用;但如果引用未被改變的情況下進行了更改,實際上就是對實參進行的更改。例如執行緒棧中 ref1 的值:型別物件的引用。

2.當使用了ref或out後,c#傳值方式就變為了傳引用,類似於 c 中的&a1,我想這裡的&就是對應的ref和out吧:

a.對於值型別來說,傳遞的是對值的引用(可以理解為值的位址,類似於引用型別的傳值方式)=> &形參,去掉&,剩下的形參實際上就是實參,所以這個形參中儲存的引用永遠不會被改變,也就是始終更改的是實參的值。例如對執行緒棧中 a1 的引用。

b.對於引用型別來說,傳遞的是對變數的引用(可以理解為指向例項物件引用的棧位址的引用,通俗的講就是物件的引用是儲存在棧的某個位址上,這裡傳遞的就是對於該位址的引用)=>  &形參,這樣就保證了呼叫方法內部使用的就是實參物件,而不是其引用的副本,所以任何更改都是對實參進行更改的。例如對執行緒棧中 ref1 的引用。

C 中ref和out的區別

最近在許多論壇上看到關於了ref和out的區別,發現解釋的都不非常理想。現在談談我自己的理解 如下 方法引數上的 out 方法引數關鍵字使方法引用傳遞到方法的同乙個變數。當控制傳遞 用方法時,在方法中對引數所做的任何更改都將反映在該變數中。當希望方法返回多個值時,宣告 out 方法非常有用。使用 o...

C 中out和ref的區別

ref是傳遞引數的位址,out是返回值,兩者有一定的相同之處,不過也有不同點。使用ref前必須對變數賦值,out不用。out的函式會清空變數,即使變數已經賦值也不行,退出函式時所有out引用的變數都要賦值,ref引用的可以修改,也可以不修改。區別可以參看下面的 using system static...

C 中ref和out的區別

看了很多.按照 自己明白解釋一下 net ref和out關鍵字 對於值型別。如果不使用ref out則傳遞的只是這些值的copy,使用了ref和out的效果就幾乎和c中使用了指標變數一樣。傳遞的就是原值 它能夠讓你直接對原數進行操作,而不是對那個原數的copy進行操作 對於引用型別 如果不使用ref...