Каково правильное определение указателя на постоянный массив?

Question

Каково правильное определение указателя на постоянный массив?

0

Я хочу реализовать функцию, которая должна вернуть указатель на массив в C++, что-то вроде:

typedef double* ptr;
ptr func(size_t m) {
  return A[m];
}

где A - двумерный массив, определенный глобально (или как член реализующего класса).

Теперь я хочу убедиться, что возвращаемый массив не может быть изменен вызывающим. Мне было интересно, как я могу объявить возвращаемый тип функции, чтобы гарантировать это.

Я попытался определить его как:

const ptr func(size_t m) {
  return A[m];
}

но я могу написать:

ptr x = func(5); 
x[10] = 20.4;

и выше компилируется без каких-либо проблем.

PBM 09 окт. 2013, в 17:06

Источник

Теги:

c++

arrays

pointers

function

2 ответа

Ещё вопросы

Bill Lynch · Answer 1 · 2013-10-09T12-23-00.000Z

Учитывая следующий код:

#include <stdlib.h>

static double A[100][100];

const double* func(size_t m) {
      return A[m];
}

int main() {
    double * x = func(5);
    x[10] = 20.4;
}

Отчеты GCC 4.8.1:

foo.cc:10:21: error: invalid conversion from ‘const double* to ‘double* [-fpermissive]
  double * x = func(5);
                     ^

Отчеты Clang 3.3:

foo.cc:10:11: error: cannot initialize a variable of type 'double *' with an rvalue of type 'const double *'
        double * x = func(5);
                 ^   ~~~~~~~

И для комментирования комментария ComicSansMS, потому что комментарий, на который он отвечает, был удален:

typedef double* ptr;

const ptr func(size_t m) {
    return A[m];
}

Этот код не совпадает с кодом, указанным выше. const ptr - постоянный указатель на double. Исходный код относится к указателю на константу double.

Вы могли бы что-то сделать в этом направлении:

typedef double* ptr;
typedef const double* cptr;

cptr func(size_t m) {
    return A[m];
}

int main() {
    ptr x = func(5);
    x[10] = 20.4;
}

Что сообщит об ошибке:

so.cc:27:6: error: cannot initialize a variable of type 'ptr' (aka 'double *') with an rvalue of type 'cptr' (aka 'const double *')
        ptr x = func(5);
            ^   ~~~~~~~

VC ++ 2008 выдает ошибку C2440 : 'initializing' : cannot convert from 'const double *' to 'double *'
VC ++ 2012: ошибка C2440: «инициализация»: невозможно преобразовать из «const double *» в «double *». Преобразование теряет квалификаторы.
Спасибо за Ваш ответ. Да, я попробовал точно такой же код, и я получаю сообщение об ошибке. Однако, если я добавлю строку typedef double* ptr а затем заменим все double* в коде на ptr код скомпилируется без ошибок. Что происходит с typedef ?
@ManiBastaniParizi Это потому, что const ptr в вашем коде является double* const , а не double const* .
@ComicSansMS я вижу! Есть ли способ получить это правильный путь с помощью typedef ?
@ManiBastaniParizi Вам понадобится второй typedef double const* const_ptr а затем вернуть const_ptr вместо const ptr (я знаю, это сбивает с толку).
И именно поэтому const всегда должен быть написан справа.
@ Простой: Как бы написать const на правильную помощь в этой ситуации? Учитывая, что ОП, очевидно, сделал typedef double *ptr; const ptr func(size_t m)… , изменив его на ptr const func(size_t m)… привел бы к такому же поведению.
@EricPostpischil Если бы он написал ptr const он бы сразу нажал, что это означает double* const .
@ Простой: я не вижу этого. Помещение справа не означает, что «этот модификатор применим ко всему типу», так же как и размещение слева. Если человек не видит, что модификатор применяется ко всему типу (а не к указанному объекту), когда модификатор находится слева, я не вижу причины, по которой они увидят его, когда модификатор находится справа.

totowtwo · Answer 2 · 2013-10-09T12-51-00.000Z

const double* и double const* указывают указатель на константу double. Пользователь может изменять, на что ссылается указатель, но не на указанное значение.

double * const указывает постоянный указатель на double. Пользователь может изменить значение указателя в double, но не там, где указатель указывает.

double const * const указывает постоянный указатель на константу double. Пользователь не может изменять либо значение двойника, либо ссылку на указатель.