В вашем случае если было-бы возможно передавать ссылку const int *
на int *
, то функция могла-бы менять указатель на константный объект.
int const ci = 7 ;
void qwer(const int * & z) {
z = & ci ; }
int main()
{
int a = 11;
int *x = &a;
qwer((const int *&)x);
* x = 9 ; }
а функция main
могла-бы модифицировать константный объект, что привело-бы к дырке безопасности или произойти неопределённое поведение.
$ ./constarg
Ошибка сегментирования (стек памяти сброшен на диск)
Разрешается три варианта :
всё не константа
void qwer(int *&z)
..
int *x = &a;
аргумент : и объект и указатель константа
void qwer(int const * const & z)
..
int *x = &a;
указатель только на константный объект
void qwer(int const * & z)
..
int const *x = &a;
Ссылка всегда константная
перевод https://isocpp.org/wiki/faq/const-correctness#constptrptr-conversion
Почему я получаю ошибку преобразования Foo** → const Foo**?
Потому что преобразование Foo** → const Foo** было бы недопустимым и опасным.
C++ допускает (безопасное) преобразование Foo* → Foo const*, но выдает ошибку, если вы пытаетесь неявно преобразовать Foo** → const Foo**.
Обоснование того, почему эта ошибка является хорошей вещью, приведено ниже. Но сначала вот самое распространенное решение: просто измените const Foo**
на const Foo* const*
:
class Foo { /* ... */ };
void f(const Foo** p);
void g(const Foo* const* p);
int main()
{
Foo** p = /*...*/;
// ...
f(p); // ОШИБКА: преобразование Foo** в const Foo незаконно и аморально**
g(p); // Хорошо: законно и морально преобразовывать Foo** в const Foo* const*
// ...
}
Причина, по которой преобразование из Foo** → const Foo** опасно, заключается в том, что оно позволит вам молча и случайно изменить объект const Foo без приведения:
class Foo {
public:
void modify(); // внесите некоторые изменения в этот объект
};
int main()
{
const Foo x;
Foo* p;
const Foo** q = &p; // q теперь указывает на p; это (к счастью!) ошибка
*q = &x; // теперь p указывает на x
p->modify(); // Ой: изменяет константу Foo!!
// ...
}
Если бы строка q = &p
была законной, q указывала бы на p. Следующая строка, *q = &x
, изменяет сам p (так как *q
-это p
), чтобы указать на x. Это было бы плохо, так как мы потеряли бы квалификатор const: p-это Foo*, но x-это const Foo. Строка p->modify()
использует способность p изменять свою ссылку, что является реальной проблемой, поскольку мы в конечном итоге изменили const Foo.
По аналогии, если вы прячете преступника под законной личиной, он может воспользоваться доверием, оказанным этой личине. Это плохо.
К счастью, C++ не позволяет вам этого сделать: строка q = &p
помечается компилятором C++ как ошибка времени компиляции. Напоминание: пожалуйста, не делайте преобразование типа чтобы обойти это сообщения об ошибке во время компиляции. Просто Скажи "Нет"!
(Примечание: существует концептуальное сходство между этим и запретом на преобразование Derived**
в Base**
.)
int
, или ссылка на указатель на константныйint
, или ссылка на константный указатель наint
? :) По условию непонятно, устроит ли вас, например,void qwer(int * const &z)
?const int * cx{x}; qwer(cx);
const
не работает?