通过类型别名来间接定义引用的引用是合法的 是为什么？

[szn_409]

//通过类型别名来间接定义引用的引用是合法的
int value = 10;
int &valueCopy = value;
IntCopy (&ValueCopy_Copy) = valueCopy;

[szn_409]

typedef int& IntCopy; //类型别名定义在这里

[iyomumx]

为了照顾模板

[szn_409]

引用 2 楼 iyomumx 的回复:

为了照顾模板

能详解下么

[lm_whales]

模板里面可以，代码中似乎不可以(没深入了解) 模板中会执行引用叠缩 也就是两个引用变成一个引用 int & & x; ===>int &x; typedef 以后， 不必额外加括号，除非是type (&a)[N];这一类的 PS: 数组可以有引用，不可以定义引用的数组 指针可以有引用，不可以定义引用的指针

[lm_whales]

int x; int & & y=x; 代码中 定义 双重引用 报错 原因是不是模板中的typedef 的模板参数类型 error: cannot declare reference to 'int&', which is not a typedef or a template type argument| 如下代码没有任何问题：

template <typename T>struct refs{
        typedef T & ref;
        typedef ref &refref;
    };


    typedef refs<int> ref;
    int x=0;
    ref::ref r =x;
    ref::refref rr=r;
    refs<int> ::ref ir=rr;
    refs<int>::refref irr =ir;
     ref::refref &rrr =x;/// 也没有任何问题
    /// 注意，这里并没有定义 引用的引用 这种类型，
    /// 而是对引用进行了叠缩（这个词有很多译法折叠，退化...）。
    ///  实际上还是只有 int & 这一种引用类型。
   PS:
    /// 右值引用 也会参与叠缩，只要含有 &最终 就是 左值引用，只有 && 就依然是 右值引用
   /// 右值引用 和左值引用 一起叠缩会变成左值引用