const-указатель на не-const-указатель в конструкторе

Question

Мне любопытно, почему компилятор не жалуется, если я передаю const-указатель на не-const-указатель в качестве параметра в конструкторе класса, который сам , что, конечно же, при времени строительства не const.

#include <iostream> 

class A 
{ 
public: 
    A(int* v) : v(v) {} 

    int* v; 
}; 

class B 
{ 
public: 
    B() : o(23), v(&o) {} 

    const A cc() const 
    { 
     return A(v); //expected const to non-cosnt error here, but seems valid 
    } 

    int o; 
    int* v; 
}; 

int main() { 
    B b; 
    const B* bc = &b; 

    A a = bc->cc(); 

    *(a.v) = 25; // here I'm changing an originally const value 

    std::cout << b.o << std::endl; 

    return 0; 
} 

с определением CC() как константы я ожидал линию, где возвращаемое значение инициализируется сообщение об ошибке о преобразовании константного к неконстантному. Скомпилированный фрагмент кода прекрасно компилируется, и в конце я получаю вывод «25» даже так, чтобы он был const.

Answer 1

const Незнание объекта не распространяется на const Несущий элемент указателя. Указатель становится const, но указатель остается не const. Даже если указатель равен const, вы можете легко получить указатель не const, просто скопировав указатель, что и происходит, когда указатель передается по значению.

Answer 2

Конструктор A ожидает копию указателя вместо ссылки. Абсолютно законно копировать int * const в int*. Поэтому ошибка не возникает.

Вы должны использовать ссылки вместо указателей, если хотите последовательное поведение относительно константы. Кстати, возвращение объектов const - плохая идея.

Answer 3

Вы вводите в заблуждение int const* (или const int*) и int* const.

Копирование объекта const в новый объект const новый объект в порядке, является ли этот объект указателем или нет. Это все, что вы здесь делаете; сам указатель const (это int* const), поэтому вы можете в значительной степени сделать то, что вам нравится, с его копией.

Что не ОК копирования int const* в int*, потому что теперь вы говорите, вещь на который указывает на магически потеряла свою const -Защита.