Const指针转换

谁能解释一下这是怎么回事?这里使用了什么样的数学逻辑?

(4.4/4)转换可以在cv-限定符以外的级别添加首先在多级指针中，遵循以下规则如果存在类型T和，则指针类型T1和T2相似整数n> 0，使得t1是cv 1,0指针指向cv 1,1指针到……cv1,n - 1指向cv1,n - T, t2是cv2, 0指针对于CV 2, 1指针指向…cv2,n - 1指向cv2,n T其中每个CV i j都是const, volatile, const volatile，或者什么都没有。的指针类型中CV -限定符在第一个之后的n元组，例如CV 1， 1, CV 1,2，…， cv1，指针类型T1中的n，称为指针类型的cv资格签名。类型的表达t1可以转换为t2当且仅当满足以下条件前提条件:—指针类型相似。——对当j> 0时，如果const在CV 1, j中，则const在CV 2, j，和中volatile也是一样。-如果CV 1 j和CV 2 j不同，那么const在每个CV 2中，k为0

我不会把它叫做数学逻辑。在我看来，这是类型理论和类型推理的一个很好的例子。总的来说，维基百科是你的朋友。