9

Есть такой код (ничего не делает, приведён просто для примера):

#include <iostream>

using namespace std;

int f(const int *)
{
    return 0;
}

int main() 
{
    int * x = new int;
    f(x);

    getchar();
    return 0;
}

Здесь (в коде выше) всё работает.

Но в таком коде:

#include <iostream>

using namespace std;

int f(const int **) // Добавил ещё одну *
{
    return 0;
}

int main() 
{
    int * x = new int;
    f(&x); // Теперь передаю адрес указателя

    getchar();
    return 0;
}

Visual Studio выдаёт ошибку:

"int f(const int **)": невозможно преобразовать аргумент 1 из "int**" в "const int **"

Не пойму, в чём принципиальная разница между int* и int**. Почему одно преобразовывается без проблем, а другое нет?

1
  • Это заезженный FAQ, на который уже 500 раз отвечали. К сожалению, трудно сформировать запрос для поиска ответа на такой вопрос. Commented 23 авг. 2019 в 13:19

1 ответ 1

13

Это сделано для избегания потенциального неявного присвоения исходному указателю указателя на неизменяемый объект минуя const_cast:

int const val{};
int * p_val;
p_val = &val; // не прокатывает

int const * * pp_val{&p_val}; // предположим что эта строка работает
*pp_val = &val; // исходный указатель теперь тоже указывает на неизменяемый объект val
*p_val = 42;

Чтобы заработал исходный пример достаточно будет добавить еще один const квалификатор.

int f(int const * const *)

Преобразование int * * в int const * const * будет разрешено так как оно не создает описанную выше проблему:

int const * const * pp_val{&p_val}; // работает
*pp_val = &val; // не прокатывает
6
  • Разве не логичнее было бы запретить *pp_val = &val; это из первого примера? Мы ведь получаем значение, хранящееся по адресу pp_val и это значение типа int * и мы пытаемся присвоить ему значение типа int const *. Это выглядит более неправильно, чем присвоение int const** типа int **. (Я понимаю, что, наверное, не логичнее, раз так не сделали. Объясните, почему)
    – V-Mor
    Commented 23 авг. 2019 в 7:44
  • "Навесить" квалификатор const безопаснее, чем снять его, разве нет?
    – V-Mor
    Commented 23 авг. 2019 в 7:46
  • @V-Mor значение, хранящееся по адресу pp_val и это значение типа int * - нет, начение, хранящееся по адресу pp_val - это значение типа int const * Commented 23 авг. 2019 в 7:47
  • 1
    То есть int const ** – это указатель на константный указатель, а не константный указатель на указатель? (Надеюсь Вы поняли, простите за ужасную тавтологию).
    – V-Mor
    Commented 23 авг. 2019 в 7:48
  • Вы запустили во мне процесс коренного переосмысления указателей C++ :) Спасибо за Ваш ответ, он был действительно полезен.
    – V-Mor
    Commented 23 авг. 2019 в 7:54

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.