ReSQL.ru
     
powered by simpleCommunicator - 2.0.59     © 2025 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / C++ [игнор отключен] [закрыт для гостей] / virtual methods
25 сообщений из 356, страница 14 из 15
  14  все
virtual methods
    #39654036
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestrdb_devЧего тебе еще?Покажи, где стандарт C++ явно оговорил запрет VLA.Не знаю... Может ты мне подскажешь, в каком месте стандарта C++ указано что VLA - forbids?
Компилятор g++, без дурацких параметров командной строки собирает и не жужжит...
...
Рейтинг: 0 / 0
01.06.2018, 14:50
| Ответить | Цитировать | Написать  
virtual methods
    #39654038
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
Leonid KudryavtsevНо draf то опысывает как раз по другому. Не "учитывается размер", а то, что будет выбран корректный элемент в массиве. Т.е. ограничивает всю "арифметику" исключительно перемещением по массиву (при этом, еще и с запретом выхода за пределы массива)Ничего подобного!
http://eel.is/c++draft/expr.post#expr.sub]The expression E1[E2] is identical (by definition) to *((E1)+(E2)), except that in the case of an array operand, the result is an lvalue if that operand is an lvalue and an xvalue otherwise.
...
Рейтинг: 0 / 0
01.06.2018, 14:53
| Ответить | Цитировать | Написать  
virtual methods
    #39654052
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_devrdb_devпропущено...
Это означает лишь одно - в стандарте C++ явно оговорили данное отличие от наследуемого Си. Что тебя, опять, не устраивает? Не знаю... Может ты мне подскажешь, в каком месте стандарта C++ указано что VLA - forbids?Прям явно — нигде такого не написано. По крайней мере я не находил такого.
...
Рейтинг: 0 / 0
01.06.2018, 15:13
| Ответить | Цитировать | Написать  
virtual methods
    #39654056
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestrdb_devНе знаю... Может ты мне подскажешь, в каком месте стандарта C++ указано что VLA - forbids?Прям явно — нигде такого не написано. По крайней мере я не находил такого.Удивляешь ты меня раз за разом...
11.3.4
...
Рейтинг: 0 / 0
01.06.2018, 15:15
| Ответить | Цитировать | Написать  
virtual methods
    #39654059
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guestпропущено...
Прям явно — нигде такого не написано. По крайней мере я не находил такого.Удивляешь ты меня раз за разом...
11.3.4 Ты понимаешь слово "явно"? Неявно оно следует из ограничения на выражение, задающее размер. Которое должно быть константным.
"Явно" — это если бы в http://eel.is/c draft/diff.iso (This subclause lists the differences between C++ and ISO C) явно написали, что VLA в C++ нет, хотя они есть в C.
...
Рейтинг: 0 / 0
01.06.2018, 15:20
| Ответить | Цитировать | Написать  
virtual methods
    #39654062
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestТы понимаешь слово "явно"? Неявно оно следует из ограничения на выражение, задающее размер. Которое должно быть константным.
"Явно" — это если бы в http://eel.is/c draft/diff.iso (This subclause lists the differences between C++ and ISO C) явно написали, что VLA в C++ нет, хотя они есть в C.То есть D1 [constant-expression] attribute-specifier-seq это недостаточно явно, ага?
...
Рейтинг: 0 / 0
01.06.2018, 15:23
| Ответить | Цитировать | Написать  
virtual methods
    #39654065
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guestТы понимаешь слово "явно"? Неявно оно следует из ограничения на выражение, задающее размер. Которое должно быть константным.
"Явно" — это если бы в http://eel.is/c draft/diff.iso (This subclause lists the differences between C++ and ISO C) явно написали, что VLA в C++ нет, хотя они есть в C.То есть D1 [constant-expression] attribute-specifier-seq это недостаточно явно, ага?То есть An object is created by a definition ([basic.def]), by a new-expression, when implicitly changing the active member of a union ([class.union]), or when a temporary object is created ([conv.rval], [class.temporary]) это недостаточно явно говорит о том, что malloc не создаёт объекты и что массивы не самозарождаются?
...
Рейтинг: 0 / 0
01.06.2018, 15:27
| Ответить | Цитировать | Написать  
virtual methods
    #39654090
Фотография MasterZiv
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
MasterZiv
Участник
Что-то раздухарились вы на 14 страниц...
Там есть что-то интересное?
...
Рейтинг: 0 / 0
01.06.2018, 15:59
| Ответить | Цитировать | Написать  
virtual methods
    #39654103
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Basil A. Sidorov
Участник
Уже нет.
Даже лагеря сохраняют состав.
...
Рейтинг: 0 / 0
01.06.2018, 16:17
| Ответить | Цитировать | Написать  
virtual methods
    #39654247
egorych
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
egorych
Участник
MasterZivЧто-то раздухарились вы на 14 страниц...
Там есть что-то интересное?вечером под попкорн можно почитать ))
...
Рейтинг: 0 / 0
01.06.2018, 23:50
| Ответить | Цитировать | Написать  
virtual methods
    #39654267
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
MasterZiv, свист банхаммера ласкает ухо. Заржавел поди твой инструмент?
...
Рейтинг: 0 / 0
02.06.2018, 01:21
| Ответить | Цитировать | Написать  
virtual methods
    #39654398
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestэто недостаточно явно говорит о том, что malloc не создаёт объекты и что массивы не самозарождаются?Библиотечная функция malloc и в Си никогда не создавала объекты...Её задача - выделение из кучи участка запрошенного размера. Не больше, не меньше.

Массив переменной длины на стеке. Код без проблем компилируется с флагом -pedantic-errors
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
  std::srand(time(0));
  size_t sz = (int)std::rand() & 0x1F;
  if (!sz) sz = 16;
  PINT32 t, e, a = (PINT32)alloca(sz<<2);
  if (NULL == a)
    throw new std::bad_alloc();
  e = a + sz;
  t = a;
  while (t < e)
    *(t++) = std::rand() - ((int)RAND_MAX>>1);
  for (int i = 0; i < sz; i++)
    printf("a[%i] = %i\r\n", i, a[i]);
...
Рейтинг: 0 / 0
02.06.2018, 21:06
| Ответить | Цитировать | Написать  
virtual methods
    #39654409
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guestэто недостаточно явно говорит о том, что malloc не создаёт объекты и что массивы не самозарождаются?Библиотечная функция malloc и в Си никогда не создавала объекты...Её задача - выделение из кучи участка запрошенного размера. Не больше, не меньше.

Массив переменной длины на стеке.Тут нет массива.
...
Рейтинг: 0 / 0
02.06.2018, 23:01
| Ответить | Цитировать | Написать  
virtual methods
    #39654410
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestТут нет массива.И с чего ты это взял?
Тебе же в стандарте явно указано: The expression E1[E2] is identical (by definition) to *((E1)+(E2))
...
Рейтинг: 0 / 0
02.06.2018, 23:06
| Ответить | Цитировать | Написать  
virtual methods
    #39654412
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guestТут нет массива.И с чего ты это взял?С того, что его там нет.
rdb_devТебе же в стандарте явно указано: The expression E1[E2] is identical (by definition) to *((E1)+(E2)) Ну и?
...
Рейтинг: 0 / 0
02.06.2018, 23:10
| Ответить | Цитировать | Написать  
virtual methods
    #39654413
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestНу и?
Если элемент массива эквивалентен типизированному указателю, то функция, возвращающая некую область памяти затребованного размера по нетипизированному указателю уже является неинициализированным массивом объектов элементов массива того типа указателя, через который, в конечном итоге, будет осуществляться доступ к этой области памяти.
...
Рейтинг: 0 / 0
02.06.2018, 23:15
| Ответить | Цитировать | Написать  
virtual methods
    #39654414
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guestНу и?Ну и включи логику и сделай выводы!
Если элемент массива эквивалентен типизированному указателю, то функция, возвращающая некую область памяти затребованного размера по нетипизированному указателю уже является неинициализированным массивом объектов элементов массива того типа указателя, через который, в конечном итоге, будет осуществляться доступ к этой области памяти.Только вот элемент массива не эквивалентен типизированному указателю.
...
Рейтинг: 0 / 0
02.06.2018, 23:20
| Ответить | Цитировать | Написать  
virtual methods
    #39654419
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestТолько вот элемент массива не эквивалентен типизированному указателю.Еще раз: http://eel.is/c++draft/expr.post#expr.sub]The expression E1[E2] is identical (by definition) to *((E1)+(E2))
...
Рейтинг: 0 / 0
02.06.2018, 23:41
| Ответить | Цитировать | Написать  
virtual methods
    #39654421
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Друзья! Убедительная просьба - обсуждать тему а не собеседника.

Учитесь быть деликатными. Попробуйте. У вас получится.
...
Рейтинг: 0 / 0
02.06.2018, 23:46
| Ответить | Цитировать | Написать  
virtual methods
    #39654422
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guestТолько вот элемент массива не эквивалентен типизированному указателю.Еще раз: http://eel.is/c++draft/expr.post#expr.sub]The expression E1[E2] is identical (by definition) to *((E1)+(E2)) Ещё раз: ну и?
...
Рейтинг: 0 / 0
02.06.2018, 23:47
| Ответить | Цитировать | Написать  
virtual methods
    #39654424
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guestЕщё раз: ну и? http://eel.is/c++draft/expr.post#expr.sub] The expression E1[E2] is identical (by definition) to *((E1)+(E2))
...
Рейтинг: 0 / 0
03.06.2018, 00:07
| Ответить | Цитировать | Написать  
virtual methods
    #39654425
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guestЕщё раз: ну и? http://eel.is/c++draft/expr.post#expr.sub] The expression E1[E2] is identical (by definition) to *((E1)+(E2)) Ну и?
...
Рейтинг: 0 / 0
03.06.2018, 00:12
| Ответить | Цитировать | Написать  
virtual methods
    #39654427
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rdb_dev
Участник
a guest, 21463609
...
Рейтинг: 0 / 0
03.06.2018, 00:17
| Ответить | Цитировать | Написать  
virtual methods
    #39654428
Фотография NekZ
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
NekZ
Участник
rdb_dev, a guest,

У вас deadlock
...
Рейтинг: 0 / 0
03.06.2018, 00:19
| Ответить | Цитировать | Написать  
virtual methods
    #39654429
a guest
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
a guest
Гость
rdb_deva guest, 21463609 В том, на чём тебя заело, не написано про эквивалентность элемента массива указателю.
...
Рейтинг: 0 / 0
03.06.2018, 00:31
| Ответить | Цитировать | Написать  
25 сообщений из 356, страница 14 из 15
  14  все
Форумы / C++ [игнор отключен] [закрыт для гостей] / virtual methods
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение
NoSQL.ru       Новости, Чат       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=57&msg=39654036&tid=2017692]:
 0ms
get settings:
 9ms
get forum list:
 14ms
check forum access:
 4ms
check topic access:
 4ms
track hit:
 36ms
get topic data:
 12ms
get forum data:
 3ms
get page messages:
 60ms
get tp. blocked users:
 1ms
others: 14ms
total:  157ms
созд. / загр.: 157ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]