9.4.3 References
4
“cv1 T1”和“cv2 T2”是引用相关(reference-related)的,当
- T1与T2是相似([conv.qual])的,或;
- T1是T2的基类
“cv1 T1”和“cv2 T2”是引用兼容(reference-compatible)的,当
- 类型为“指向cv2 T2的指针”的纯右值可以通过一个标准转换序列([conv])转换为类型“指向cv1 T1的指针”
在所有依赖两种类型之间的引用兼容关系来判定引用绑定是否合法的情形下,如果相应的标准转换序列本身是非法的(ill-formed),则任何要求这种绑定的程序都是非法的(ill-formed)。