c++ - 类型别名和类似类型

Question

关于 cpp reference据说如果忽略指向同一类型的顶级 cv 限定符，则两个指针是相同的。在例子中然后有这个例子

int (* const *)(int *) and int (* volatile *)(int *) are similar; 

我想知道那些应该如何相似？ AFAIK 那些代表指向函数指针的指针，为了简化它们可以重写为

 using XYZ = int(*)(int *);
 const XYZ *;     // A
 volatile XYZ *;  // B

在那种情况下，A 和 B 不是指向不同类型的指针吗？

Answer 1

On cpp reference it is said that two pointers are the same if ignoring the top level cv qualifiers they point to the same type

不完全是。它说:

Informally, two types are similar if, ignoring top-level cv-qualification:

• they are the same type; or

• they are both pointers, and the pointed-to types are similar; or

请注意，相同与相似不同。

---

const XYZ *;     // A
volatile XYZ *;  // B

Aren't A and B pointers to different types in that case?

它们确实是不同的类型。但它们是相似的。