(原創) 是否該用this這個keyword? (C/C++)

布满荆棘的人生 2022-03-29 04:31 146阅读 0赞

一般人很少會用this這個keyword，可是為什麼在我的程式碼中會使用this呢?  
  
大部分會使用到this，是想將整個物件當參數傳給其他function，如

![None.gif][] foo.func1( \* this )

但我常常在member function內使用this，有幾個理由  
  
**1.利用visual studio的intellisense**  
  
打了this->後，intellisense會列出所有可用的data member和member function，你只要挑就好了，不用去強記，也可避免打錯。  
  
**2.this能清楚的表示class自己的member function**  
  
如以下寫法

![ExpandedBlockStart.gif][None.gif] ![ContractedBlock.gif][None.gif] void  Foo::func1()  ![dot.gif][None.gif] \{  
![InBlock.gif][None.gif]  func2();  
![ExpandedBlockEnd.gif][None.gif]\}

請問func2到底是個global function?還是某個namespace下的function?還是class自己的member function?若用以下寫法

![ExpandedBlockStart.gif][None.gif] ![ContractedBlock.gif][None.gif] void  Foo::func1()  ![dot.gif][None.gif] \{  
![InBlock.gif][None.gif]  this\->func2();  
![ExpandedBlockEnd.gif][None.gif]\}

就能明確的表示是class自己的member function，非常清楚。  
  
**3.this能清楚的表示class自己的data member**  
  
如以下寫法

1 ![None.gif][] \#include  < iostream >   
  2 ![None.gif][]  
  3 ![None.gif][] using   namespace  std;  
  4 ![None.gif][]  
  5 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] class  Foo  ![dot.gif][None.gif] \{  
 6![InBlock.gif][None.gif]public:  
 7![InBlock.gif][None.gif]  int i;  
 8![InBlock.gif][None.gif]public:  
 9![ExpandedSubBlockStart.gif][None.gif]![ContractedSubBlock.gif][None.gif]  void func1(int i) ![dot.gif][None.gif]\{  
10![InBlock.gif][None.gif]    i = i;  
11![ExpandedSubBlockEnd.gif][None.gif]  \}  
12![ExpandedBlockEnd.gif][None.gif]\} ;  
 13 ![None.gif][]  
 14 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] int  main()  ![dot.gif][None.gif] \{  
15![InBlock.gif][None.gif]  Foo foo;  
16![InBlock.gif][None.gif]  foo.func1(5);  
17![InBlock.gif][None.gif]    
18![InBlock.gif][None.gif]  cout << foo.i << endl;  
19![ExpandedBlockEnd.gif][None.gif]\}

compile可過，但執行結果是錯的，因為C++已經遇到第10行

![None.gif][] i  =  i

已經傻眼了，到底哪個是variable，哪個是data member?  
  
若改成

1 ![None.gif][] \#include  < iostream >   
  2 ![None.gif][]  
  3 ![None.gif][] using   namespace  std;  
  4 ![None.gif][]  
  5 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] class  Foo  ![dot.gif][None.gif] \{  
 6![InBlock.gif][None.gif]public:  
 7![InBlock.gif][None.gif]  int i;  
 8![InBlock.gif][None.gif]public:  
 9![ExpandedSubBlockStart.gif][None.gif]![ContractedSubBlock.gif][None.gif]  void func1(int i) ![dot.gif][None.gif]\{  
10![InBlock.gif][None.gif]    this\->i = i;  
11![ExpandedSubBlockEnd.gif][None.gif]  \}  
12![ExpandedBlockEnd.gif][None.gif]\} ;  
 13 ![None.gif][]  
 14 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] int  main()  ![dot.gif][None.gif] \{  
15![InBlock.gif][None.gif]  Foo foo;  
16![InBlock.gif][None.gif]  foo.func1(5);  
17![InBlock.gif][None.gif]    
18![InBlock.gif][None.gif]  cout << foo.i << endl;  
19![ExpandedBlockEnd.gif][None.gif]\}   
 20 ![None.gif][]

則程式就對了，10行的

![None.gif][] this \-> i  =  i;

this->i為data member，i為variable。  
  
所以只要是data member，我一律加上this，這樣就可明確的分辨data member和variable。  
  
**4.在class template中使用this避免錯誤**  
  
在使用class template且使用繼承機制時，如以下程式  
![TemplateThis.jpg][]

1 ![ExpandedBlockStart.gif][None.gif] ![ContractedBlock.gif][None.gif] /\*\*/ /\*   
 2![InBlock.gif][None.gif](C) OOMusou 2007 http://oomusou.cnblogs.com  
 3![InBlock.gif][None.gif]  
 4![InBlock.gif][None.gif]Filename    : TemplateThis.cpp  
 5![InBlock.gif][None.gif]Compiler    : Visual C++ 8.0 / BCB 6.0 / gcc 3.4.2 / ISO C++  
 6![InBlock.gif][None.gif]Description : Demo how to use this in class template  
 7![InBlock.gif][None.gif]Release     : 01/04/2007 1.0  
 8![ExpandedBlockEnd.gif][None.gif]\*/   
  9 ![None.gif][]  
 10 ![None.gif][]\#include  < iostream >   
 11 ![None.gif][]  
 12 ![None.gif][] using   namespace  std;  
 13 ![None.gif][]  
 14 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] void  exit()  ![dot.gif][None.gif] \{  
15![InBlock.gif][None.gif]  cout << "Global exit()" << endl;  
16![ExpandedBlockEnd.gif][None.gif]\}   
 17 ![None.gif][]  
 18 ![None.gif][]template  < typename T >   
 19 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] class  Base  ![dot.gif][None.gif] \{  
20![InBlock.gif][None.gif]public:  
21![ExpandedSubBlockStart.gif][None.gif]![ContractedSubBlock.gif][None.gif]  virtual void exit() ![dot.gif][None.gif]\{   
22![InBlock.gif][None.gif]    cout << "Base's exit()" << endl;  
23![InBlock.gif][None.gif]      
24![ExpandedSubBlockEnd.gif][None.gif]  \}  
25![ExpandedBlockEnd.gif][None.gif]\} ;  
 26 ![None.gif][]  
 27 ![None.gif][]template  < typename T >   
 28 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] class  Derived :  public  Base < T >   ![dot.gif][None.gif] \{  
29![InBlock.gif][None.gif]public:  
30![ExpandedSubBlockStart.gif][None.gif]![ContractedSubBlock.gif][None.gif]  void exit() ![dot.gif][None.gif]\{  
31![InBlock.gif][None.gif]    cout << "Derived's exit()" << endl;  
32![ExpandedSubBlockEnd.gif][None.gif]  \}  
33![InBlock.gif][None.gif]    
34![ExpandedSubBlockStart.gif][None.gif]![ContractedSubBlock.gif][None.gif]  void foo() ![dot.gif][None.gif]\{  
35![InBlock.gif][None.gif]    // ??which exit()?  
36![InBlock.gif][None.gif]    exit();  
37![InBlock.gif][None.gif]    this\->exit();  
38![InBlock.gif][None.gif]    Base<T>::exit();  
39![InBlock.gif][None.gif]    ::exit();  
40![ExpandedSubBlockEnd.gif][None.gif]  \}  
41![ExpandedBlockEnd.gif][None.gif]\} ;  
 42 ![None.gif][]  
 43 ![ExpandedBlockStart.gif][None.gif]![ContractedBlock.gif][None.gif] int  main()  ![dot.gif][None.gif] \{  
44![InBlock.gif][None.gif]  Derived<int> obj;  
45![InBlock.gif][None.gif]  obj.foo();  
46![ExpandedBlockEnd.gif][None.gif]\}

執行結果

![None.gif][] Derived's exit()  
![None.gif][]Derived's exit()  
![None.gif][]Base's exit()  
![None.gif][]Global exit()

請問36行的exit()是哪一個exit()?在VC 8.0，選擇的是Derived<T>::exit()，不過在不同compiler並非如此，在『C++ Template全覽』p.45提到

![None.gif][] 本例在foo()內決議(resolving) " exit " 符號時，定義於Base的exit()會被編譯器忽略。因此，你要嘛獲得一個編譯錯誤，要嘛就是喚起一個外部的exit()。

對於這種情形，『C++ Template全覽』p.45的建議是

![None.gif][] 使用與template相關的符號時，建議總以this->或Base<T>::進行修飾。為避免任何不確定性，可考慮在templates內對所有成員存取動作(member access)進行以上修飾。

37行

![None.gif][] this \-> exit();

明確的呼叫Derived<T>::exit();  
  
38行

![None.gif][] Base < T > ::exit();

明確的呼叫Base<T>::exit();  
  
39行

![None.gif][] ::exit();

明確的呼叫Global function。  
  
**Conclusion**  
this的習慣，是我從C\#帶來的，因為C++也適用，所以就繼續用了，這是我個人的小習慣，雖然讓程式到處多了this這個沒用的東西，卻讓程式碼更清楚。  
  
**Reference**  
C++ Templates全覽 p.45，侯捷 / 榮耀 / 姜宏 譯, 碁峰

[None.gif]: 
[TemplateThis.jpg]: /images/20220329/75dce412b2674d95b34a17c5c78cf8cd.png