const 引用與臨時變量的問題

Frahm

1. const int& fwd(const int& i) {
   
2.   return i;
   
3. }
   
4. const Foo& fwd(const Foo& f) {
   
5.   return f;
   
6. }
   
7. int main() {
   
8.   const int& ir = fwd(4); //1
   
9.   const Foo& fr = fwd(Foo());//2
   
10. }
    

復制代碼

看上面的2,fr應該是dangling reference, ir也是嗎？在1的地方傳入的參數(shù)4是傳拷貝還是引用呢？還有那個4的有效lifetime是什么？

cokeboL

我的理解：引用的實現(xiàn)也是通過指針，返回臨時對象的const 引用，雖然臨時對象銷毀了，但是引用通過地址取到“對象”
樓主可以參考下面代碼調試：

1. #include <iostream>  
   
2. #include <fstream>  
   
3. #include <string>  
   
4. #include <cstdio>
   
5. #include <cstring>
   
6. using namespace std;  
   
7.   
   
8. class Foo{
   
9. public:
   
10.         Foo():n(321){ printf("Foo(): %d %p\n", n, this); }
    
11.         ~Foo(){ n = 0; std::cout << "~Foo()\n"; }
    
12.         void *display() const { printf("Foo().display(): %d %p\n", n, this); return (void*)this; }
    
13. private:
    
14.         int n;
    
15. };
    
16. 
    
17. const int& fwd(const int& i) {
    
18.         return i;
    
19. }
    
20. 
    
21. const Foo& fwd(const Foo& f) {
    
22.         return f;
    
23. }
    
24. 
    
25. int main() {
    
26.         const int& ir = fwd(4); //1
    
27.         const Foo& fr = fwd(Foo());//2
    
28.         Foo *pf = (Foo*)fr.display();
    
29.         new (pf)Foo();
    
30.         fr.display();
    
31.         getchar();
    
32. }
    

復制代碼

Frahm

回復 3# cokeboL

輸出:
Foo(): 321 006DF850
~Foo()
Foo().display(): 0 006DF850
Foo(): 321 006DF850
Foo().display(): 321 006DF850

看得出來，fr是dangling reference,我想知道關于ir是怎樣的？

cokeboL

回復 4# Frahm

這個帖子或許有點幫助。。。我陣亡了，語法真要命，我不搞了，哈哈哈

    http://www.cnblogs.com/soaliap/archive/2012/11/19/2777131.html

Frahm

回復 5# cokeboL


    那個講的是右值引用，我這個問題不涉及c++11，不過還是多謝。

rosynirvana

c++ primer 6.2
Parameter initialization works the same way as variable initialization.
When a parameter is a reference, we say that its corresponding argument is "passed by reference" of theat the function is "called by reference".
所以是傳參


下面引用的是c++標準，網(wǎng)上找的2005-10-19的那份草稿

literal沒有l(wèi)ifetime的概念。
const int& foo= 42；
實際上是 int temp =42; const int& foo= temp; (8.5.3)
temp這個臨時變量有l(wèi)ifetime,是
A temporary bound to a reference parameter in a function call (5.2.2) persists until the completion of the full expression containing the call. (12.2.5)

同樣12.2.5
A temporary bound to a reference member in a constructor’s ctor-initializer (12.6.2) persists until the constructor exits.
可以知道1的臨時變量在構造函數(shù)返回后銷毀

不過用引用來初始化引用正確嗎？我自己都要被繞暈了…退散了…

Frahm

回復 7# rosynirvana


    也就是4被傳入的時候是拷貝的？所以ir也引用到了過期的int?
可以這樣想，返回類型是const T&，所以也就是一個const T& 綁定到返回值上，接收返回值的一方正是const T&類型,所以綁定到了函數(shù)內(nèi)的返回值上了，不過在語句執(zhí)行完就已經(jīng)被析構了，所以是dangling reference