VPF::Выделение памяти - Форум программистов

MAKCim

Дата 10.2.2007, 13:31 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

сейчас открыл Страуструпа и убедился
тип "example" ~ const char[8]
т. е Borland не прав - он обязан располагать "example" в read-only секции (конечно, если формат exutable файла их предусматривает... если нет - в топку такой формат)

Цитата

Строковым литералом называется последовательность символов, заключенных в двойные кавычки. В строковом литерале на один символ больше, чем используется при записи; он всегда заканчивается нулевым символом '\0', значение которого равно 0. Тип строкового литерала есть "массив с надлежащим количеством константных символов". Строковый литерал можно присвоить переменной типа char*. Однако изменение строкового литерала через такой указатель является ошибкой

Надеюсь, вопрос исчерпан?

Это сообщение отредактировал(а) MAKCim - 10.2.2007, 13:41

--------------------

Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©

Anikmar

Дата 10.2.2007, 13:38 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2513
Регистрация: 26.11.2006
Где: Санкт-Петербург

Репутация: 9
Всего: 59

Цитата(MAKCim @ 10.2.2007, 13:31

)

сейчас открыл Страуструпа и убедился
тип "example" ~ const char[8]

А я с этим и не спорил - именно поэтому так нельзя: "example"[0] = 1;

Пример:
    const int pInt[3] = {1,2,3};
    int *t;
//    pInt[2] = 5; - Нельзя менять константный объект

    t = (int*)pInt;
    t[1] = 2; // Теперь можно - и ничего мы не нарушили (кроме здравого смысла) И ничего не вылетело

MAKCim

Дата 10.2.2007, 13:45 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Цитата(Anikmar @ 10.2.2007, 13:38

)

/ Теперь можно - и ничего мы не нарушили (кроме здравого смысла) И ничего не вылетело

у меня вылетело, это раз
во-вторых тут опять запись в read-only секцию
Anikmar,
каким компилятором пользуешься?

Добавлено @ 13:47

Цитата(Anikmar @ 10.2.2007, 13:38

)

А я с этим и не спорил - именно поэтому так нельзя: "example"[0] = 1;

да ладно

Код


(char*)("example")[0] = 1;

--------------------

Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©

Anikmar

Дата 10.2.2007, 13:49 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2513
Регистрация: 26.11.2006
Где: Санкт-Петербург

Репутация: 9
Всего: 59

Цитата(MAKCim @ 10.2.2007, 13:45

)

Anikmar,
каким компилятором пользуешься?

BCB 6.0

MAKCim

Дата 10.2.2007, 13:50 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Цитата(Anikmar @ 10.2.2007, 13:49

)

BCB 6.0

я бы его выбросил smile

--------------------

Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©

Anikmar

Дата 10.2.2007, 13:52 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2513
Регистрация: 26.11.2006
Где: Санкт-Петербург

Репутация: 9
Всего: 59

Цитата(MAKCim @ 10.2.2007, 13:45

)

у меня вылетело, это раз

И так вылетит?

Код


     const int pInt[3] = {1,2,3};
    int *t;
//    pInt[2] = 5; - Нельзя менять константный объект
//    t = (int*)pInt;
   t = const_cast<int*>(pInt);
    t[1] = 2; // Теперь можно - и ничего мы не нарушили (кроме здравого смысла) И ничего не вылетело

MAKCim

Дата 10.2.2007, 13:54 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Anikmar,
да
на самом деле в этом случае GCC располагает массив в read-only секции, но уменьшает ESP, не нарушая тем самым семантику использования таких массивов
в

Код


t = const_cast<int*>(pInt);

или

Код


t = (int*)pInt;

мы получаем адрес массива в read-only секции и в итоге вылет
т. е компилятор умен и дает нам пинок под зад smile

(правда с задержкой до run-time) за нашу неграмотность
вот это я понимаю - качество

Это сообщение отредактировал(а) MAKCim - 10.2.2007, 13:59

--------------------

Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©

vinter

Дата 10.2.2007, 14:00 (ссылка)

(нет голосов)

Загрузка ...

Explorer

Профиль
Группа: Завсегдатай
Сообщений: 2735
Регистрация: 1.4.2006
Где: Н.Новгород

Репутация: 13
Всего: 56

Цитата

да

а у меня(VS 2003) нет, да и с чего это оно должно вылететь, когда const снят??

--------------------

Мой блог

Anikmar

Дата 10.2.2007, 14:01 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2513
Регистрация: 26.11.2006
Где: Санкт-Петербург

Репутация: 9
Всего: 59

Цитата(MAKCim @ 10.2.2007, 13:54

)

вот это я понимаю - качество

Качество? А для чего тогда конструкция const_cast в языке предусмотрена? Я неправильно ее использовал?

vinter

Дата 10.2.2007, 14:01 (ссылка)

(нет голосов)

Загрузка ...

Explorer

Профиль
Группа: Завсегдатай
Сообщений: 2735
Регистрация: 1.4.2006
Где: Н.Новгород

Репутация: 13
Всего: 56

Цитата

т. е компилятор умен и дает нам пинок под зад (правда с задержкой до run-time) за нашу неграмотность
вот это я понимаю - качество

какое качество?? я сознательно снимаю константность!!! это противоречит свободе! smile

--------------------

Мой блог

MAKCim

Дата 10.2.2007, 14:03 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Цитата(vinter @ 10.2.2007, 14:00

)

а у меня(VS 2003) нет, да и с чего это оно должно вылететь, когда const снят??

const_cast<> можно использовать для псевдоконстантных переменных
т. е

Код


void F(const int* c) {
    int *d = const_cast<int*>(c); // катит, когда c = a
}
...
int a[3] = {1, 2, 3};
const int b[3] = {1, 2, 3};
F(a);
F(b);

--------------------

vinter

Дата 10.2.2007, 14:10 (ссылка)

(нет голосов)

Загрузка ...

Explorer

Профиль
Группа: Завсегдатай
Сообщений: 2735
Регистрация: 1.4.2006
Где: Н.Новгород

Репутация: 13
Всего: 56

MAKCim, первый раз такое слышу, в Страуструпе не нашел(толстая книга очень smile

), но у Шилдта не слова про ограничения использованиия const_cast(кроме здравого смысла), к тому же студия меня еще ни разу не подводила, и если она позволяет делать такое, то я ей вполне доверяю..

--------------------

Мой блог

Anikmar

Дата 10.2.2007, 14:17 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2513
Регистрация: 26.11.2006
Где: Санкт-Петербург

Репутация: 9
Всего: 59

Цитата(MAKCim @ 10.2.2007, 14:03

)

const_cast<> можно использовать для псевдоконстантных переменных

Зашел на сайт страуструпа. Тоже такого не нашел

Добавлено @ 14:18

Цитата(MAKCim @ 10.2.2007, 13:54

)

мы получаем адрес массива в read-only секции и в итоге вылет
т. е компилятор умен и дает нам пинок под зад (правда с задержкой до run-time) за нашу неграмотность
вот это я понимаю - качество

Это говорит о низком качестве поддержки стандарта. Разработчики не парились - и просто запретили.

Xenon

Дата 10.2.2007, 15:47 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник Клуба
Сообщений: 1529
Регистрация: 12.4.2006

Репутация: 11
Всего: 50

Да, на VC++ 2005 такое катит

Код


const int pInt[3] = {1,2,3};
*(int*)(&pInt[0])=5;

--------------------

MAKCim

Дата 10.2.2007, 16:29 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Цитата(Anikmar @ 10.2.2007, 14:17

)

Это говорит о низком качестве поддержки стандарта. Разработчики не парились - и просто запретили.

скорее наоборот ибо
const_cast<> лишь анулирует const в семантическом контексте, т. е на уровне конструкций исходного кода,
истинный const-объект должен помещаться в read-only память
const_cast<> разрешит компилятору использовать const-объект как не-const, но только на уровне исходного кода

--------------------

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »