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的地方传入的参数4是传拷贝还是引用呢？还有那个4的有效lifetime是什么？

cokeboL

我的理解：引用的实现也是通过指针，返回临时对象的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++标准，网上找的2005-10-19的那份草稿

literal没有lifetime的概念。
const int& foo= 42；
实际上是 int temp =42; const int& foo= temp; (8.5.3)
temp这个临时变量有lifetime,是
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的临时变量在构造函数返回后销毁

不过用引用来初始化引用正确吗？我自己都要被绕晕了…退散了…

Frahm

回复 7# rosynirvana


    也就是4被传入的时候是拷贝的？所以ir也引用到了过期的int?
可以这样想，返回类型是const T&，所以也就是一个const T& 绑定到返回值上，接收返回值的一方正是const T&类型,所以绑定到了函数内的返回值上了，不过在语句执行完就已经被析构了，所以是dangling reference