В чем разница между char* и char[]?

@aLarman · Регистрация: 13.12.2012

Студворк — интернет-сервис помощи студентам

Доброго времени суток, наткнулся на одну загвоздку есть такой кусок кода

C++
1
2
3
4
5
6
7
8
int _tmain(int argc, _TCHAR* argv[])
{
    char *a = "111111111111";
    *((int*)a+1) = 0;
    std::cout<<a;
    system("pause");
    return 0;
}

и такой

C++
1
2
3
4
5
6
7
8
int _tmain(int argc, _TCHAR* argv[])
{
    char a[] = "111111111111";
    *((int*)a+1) = 0;
    std::cout<<a;
    system("pause");
    return 0;
}

запускаем в виже, первый кусок эксепшн
второй норм. Разъясните пожалуйста

quwy · 01.10.2014, 18:39

В первом случае a -- указатель, а во втором -- массив. Поэтому обращаться к ним нужно по-разному.

Добавлено через 1 минуту
Чтобы в первом варианте не было ошибок, уберите звездочку после int.

@gng · 01.10.2014, 19:01

Сообщение от aLarman

запускаем в виже, первый кусок эксепшн
второй норм. Разъясните пожалуйста

Во втором случае строка расположена на стеке, в первом - в статическом сегменте констант, а на стеке - указатель на нее.
К слову, и во втором случае при 64-битной длине int строку надо удлинить хотя бы до 15 символов.

@aLarman · 01.10.2014, 19:05 **[ТС]**

т.е "1111" это стат костанта, соответсвенно в первом случае на нее просто получили указатель, а во втором?, создали массив на стеке, и проинициализировали его?

Добавлено через 1 минуту
хорошо, почему нам позволили получить указатель (не на константу) на константную область

@Jewbacabra · 01.10.2014, 19:09

aLarman, в первом случае ub, строковый литерал константный

C++
1
const char* a = "1111";

во втором массив инициализируется {'1', '1', ... '1', 0}

@gng · 01.10.2014, 19:10

Сообщение от aLarman

хорошо, почему нам позволили получить указатель (не на константу) на константную область

У меня gcc выдает предупреждение.
Надо:

C++
1
const char *a = "1111111111111111";

@aLarman · 01.10.2014, 19:11 **[ТС]**

gng, а это только ворнинг?, разве не эррор, оч странно, с обычными вещами вроде ерроры

quwy · 01.10.2014, 19:11

Сообщение от aLarman

в первом случае на нее просто получили указатель, а во втором?, создали массив на стеке, и проинициализировали его?

Да.

Сообщение от aLarman

почему нам позволили получить указатель (не на константу) на константную область

А что тут такого? Ваши единички при компиляции ложатся в сегмент данных и у них есть конкретный адрес, который можно получить.

@aLarman · 01.10.2014, 19:12 **[ТС]**

круто, а чеж оно константное тогда?

Добавлено через 33 секунды
или так всегда можно хакнуть, т.е получив на константный объект указательн(не конст) мы можем изменять объект

quwy · 01.10.2014, 19:13

Сообщение от aLarman

получив на константный объект указательн(не конст) мы можем изменять объект

Не факт. Память может быть доступна только для чтения.

@aLarman · 01.10.2014, 19:14 **[ТС]**

а так собсно в этом и эксепшн, попытка чтения данных

quwy · 01.10.2014, 19:17

Сообщение от aLarman

а так собсно в этом и эксепшн, попытка чтения данных

Нет, там у вас попытка чтения из указателя, содержащего 0x31313131, что не является частью адресного пространства процесса. В случае же попытки записи в константный объект, можно напороться за защиту памяти, если сегмент, в котором лежит объект, помечен как read-only.

@DrOffset · 01.10.2014, 19:19

Сообщение от aLarman

хорошо, почему нам позволили получить указатель (не на константу) на константную область

а) используй нормальный компилятор;
б) если компилятор нормальный - включай в нем диагностику.

Сообщение от quwy

А что тут такого?

Вообще, это запрещено в С++ (неявное снятие константности).

Некоторые компиляторы разрешают такое (в силу исторических причин совместимости с С), в но в любом случае должно выдаваться предупреждение. Если компилятор предупреждение (или ошибку) не выдает, то его следует заменить на адекватный.

@aLarman · 01.10.2014, 19:40 **[ТС]**

Сообщение от quwy

указателя, содержащего 0x31313131, что не является частью адресного пространства процесса.

сейчас не понятн.
Указатель на стат. область на начало строки, и мы его разыменовываем, что тут такого

quwy · 01.10.2014, 19:53

Сообщение от aLarman

сейчас не понятн.

Да, это я уже брежу под вечер. Проблема в другом.

В первом примере a -- это указатель на цепочку символов. (int*)a+1 -- указатель на три старших байта указателя на цепочку символов и еще один байт там откуда придется, то есть это уже указатель на непонятно что. *((int*)a+1) -- это разыменование указателя, который указывает черт знает куда.

Убежденный · 01.10.2014, 20:00

Сообщение от DrOffset

Некоторые компиляторы разрешают такое (в силу исторических причин совместимости с С), в но в любом случае должно выдаваться предупреждение. Если компилятор предупреждение (или ошибку) не выдает, то его следует заменить на адекватный.

В таком случае на ideone неадекватные компиляторы:
http://ideone.com/PfKPOq

C++
1
2
3
4
5
int main()
{
    char * p = "abc";
    return 0;
}

Успешно

@DrOffset · 01.10.2014, 20:04

Сообщение от Убежденный

В таком случае на ideone неадекватные компиляторы

Было же написано,

Сообщение от DrOffset

б) если компилятор нормальный - включай в нем диагностику.

.
Очевидно же, что диагностика отключена.
А вот здесь, например, все нормально. А компилятор и там и там примерно одинаковый (если разница есть, то только в версии).

@0x10 · 01.10.2014, 20:08

Сообщение от Убежденный

В таком случае на ideone неадекватные компиляторы:

Если ошибок нет, то там и предупреждения не выводятся. Как-то так: http://ideone.com/85hI69

Убежденный · 01.10.2014, 20:18

Сообщение от DrOffset

Очевидно же, что диагностика отключена.

Отсутствие варнинга или ошибки здесь - не повод называть компилятор неадекватным.
Признаю свою неправоту, если покажете место в Стандарте, где такое требование.

@DrOffset · 01.10.2014, 20:30

Сообщение от Убежденный

Отсутствие варнинга или ошибки здесь - не повод называть компилятор неадекватным.

Я не называл GCC неадекватным, еще раз говорю. Я сказал, что если компилятор не способен выдать варнинг на такой случай, то только тогда он неадекватный. Разница есть?

Сообщение от Убежденный

Признаю свою неправоту, если покажете место в Стандарте, где такое требование.

Пункт 4.4/1. Константность неявно снимать нельзя.

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

quwy Native x86 6857 / 3790 / 1025 Регистрация: 13.02.2013 Сообщений: 11,861
	01.10.2014, 18:39
	В первом случае a -- указатель, а во втором -- массив. Поэтому обращаться к ним нужно по-разному. Добавлено через 1 минуту Чтобы в первом варианте не было ошибок, уберите звездочку после int. 1

@aLarman 654 / 575 / 164 Регистрация: 13.12.2012 Сообщений: 2,124
	01.10.2014, 19:05 [ТС]
	т.е "1111" это стат костанта, соответсвенно в первом случае на нее просто получили указатель, а во втором?, создали массив на стеке, и проинициализировали его? Добавлено через 1 минуту хорошо, почему нам позволили получить указатель (не на константу) на константную область 0

@aLarman 654 / 575 / 164 Регистрация: 13.12.2012 Сообщений: 2,124
	01.10.2014, 19:11 [ТС]
	gng, а это только ворнинг?, разве не эррор, оч странно, с обычными вещами вроде ерроры 0

@aLarman 654 / 575 / 164 Регистрация: 13.12.2012 Сообщений: 2,124
	01.10.2014, 19:12 [ТС]
	круто, а чеж оно константное тогда? Добавлено через 33 секунды или так всегда можно хакнуть, т.е получив на константный объект указательн(не конст) мы можем изменять объект 0

@aLarman 654 / 575 / 164 Регистрация: 13.12.2012 Сообщений: 2,124
	01.10.2014, 19:14 [ТС]
	а так собсно в этом и эксепшн, попытка чтения данных 0