Исходное сообщение
"Опубликован новый международный стандарт для языка Си (C1X/C..." Отправлено коксюзер, 23-Дек-11 06:57
>> интерфейс для проверки допустимых границ и диапазонов значений > Кто-нить может подскать что это? Это значит что теперь есть штатный способ > вычислить длинну массива? Нет. Смотрите Annex K в черновом варианте стандарта, на него есть ссылка в новости. "This annex provides alternative library functions that promote safer, more secure programming. The alternative functions verify that output buffers are large enough for the intended result and return a failure indicator if they are not. Data is never written past the end of an array. All string results are null terminated." Чтобы появился универсальный способ определения длины массива, нужно либо добавить в представление структурных типов информацию о границах, либо усилить систему типов и ввести проверки времени компиляции. Ни то, ни другое не позволит сохранить обратную совместимость с ABI и семантикой кода уже написанных программ.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>> интерфейс для проверки допустимых границ и диапазонов значений >> Кто-нить может подскать что это? Это значит что теперь есть штатный способ >> вычислить длинну массива? > Нет. Смотрите Annex K в черновом варианте стандарта, на него есть ссылка > в новости. > "This annex provides alternative library functions that promote safer, more secure programming. > The alternative functions verify that output buffers are large enough for > the intended result and return a failure indicator if they are > not. Data is never written past the end of an array. > All string results are null terminated." > Чтобы появился универсальный способ определения длины массива, нужно либо добавить в представление > структурных типов информацию о границах, либо усилить систему типов и ввести > проверки времени компиляции. Ни то, ни другое не позволит сохранить обратную > совместимость с ABI и семантикой кода уже написанных программ.
	Введите код, изображенный на картинке: