Почему const Ссылка на не-const указатель интерпретируется как указатель const?

Question

const PointerToNonConst& value Почему понимается как A* const для кода ниже:

using PointerToNonConst = A*; // or typedef A* PointerToNonConst; 
const PointerToNonConst& value; // compiled and understood as `A* const` 

Я ожидал, что он будет доступен только для чтения указатель вместо этого на постоянной указателю.

КСТАТИ здесь является использование регистра, поэтому вы можете встретить это в вашем коде:

class A 
{ 
public: 
    void callOnNonConstMethodIsValid() 
    { 
     // change the object here 
    } 
} 

std::vector<A*> vect; 

for (const auto& elem : vect) 
{ 
    elem->callOnNonConstMethodIsValid(); // no error 
} 

Answer 1

typedef и using не такие как #define. Это не замена текста. Когда вы создаете псевдоним типа с typedef или using, это имя обрабатывается как единое целое. Когда вы применяете к нему const, он применяет тип в целом на верхнем уровне. Вы не можете применить его к внутренним компонентам этого типа.

Answer 2

Учитывая

using NonConstPtr = A*; // or typedef A* NonConstPtr; 

Декларации

const NonConstPtr& value = <initializer>; 

эквивалентно

A* const& value = <initializer>; 

value является ссылкой на указатель const на объект типа A.

Это не эквивалентно:

const A*& value = <initializer>; 

где value является ссылкой на указатель на const A.

Это один из случаев, когда имеет смысл использовать ключевое слово const после типа.

NonConstPtr const& value = <initializer>; 

Если вы это сделаете, может возникнуть больше смысла, почему первая интерпретация верна.