Const指针转换

时间:2011-12-12 01:51:56

标签: c++

有人可以解释这里发生的事情吗?这里使用了什么样的数学逻辑?

  

(4.4 / 4)转换可以在除以外的级别添加cv限定符   首先在多级指针中,遵循以下规则:51)两个   如果存在类型T和,则指针类型T1和T2是相似的   整数n> 0使得:T 1是cv 1,0指向cv 1,1指针的指针   至 。 。 。 cv 1,n - 1指向cv 1的指针,n T和T 2是cv 2,0指针   到cv 2,1指针指向。 。 。 cv 2,n - 1指向cv 2,n T指针   每个cv i,j都是const,volatile,const volatile或什么都不是。该   在指针类型中的第一个之后的cv-qualifiers的n元组,​​例如cv 1   ,1,cv 1,2 ,. 。 。 ,指针类型T1中的cv 1,n称为   指针类型的cv-qualification签名。类型的表达式   当且仅当以下时,T 1可以转换为T 2类型   满足条件: - 指针类型相似。 - 为   每个j> 0,如果const在cv 1中,那么j则const在cv 2,j和中   类似的挥发性。 - 如果cv 1,j和cv 2,j不同,   然后const在每个cv 2中,k为0< k<学家

1 个答案:

答案 0 :(得分:0)

我不会把它称为数学逻辑。这是(IMO)类型理论和类型推理的一个很好的例子。总体而言,wikipedia是您的朋友。