Форум программистов, компьютерный форум CyberForum.ru

C++

Войти
Регистрация
Восстановить пароль
 
taras atavin
Ушёл с форума.
 Аватар для taras atavin
3569 / 1752 / 91
Регистрация: 24.11.2009
Сообщений: 27,619
#1

После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам? - C++

17.05.2011, 09:47. Просмотров 345. Ответов 2
Метки нет (Все метки)

После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствующий этим:
C++
1
2
a=a; // Удвоение
a*=a; // Возведение в квадрат
строкам.
1. На сколько надёжно компилится каждая из этих строк, если a - число встроенного типа:
1.1. влезающее в аппаратный регистр,
1.2. разрядностью больше регистра (если такое поддерживается встроенными типами)?
2. Как гарантировать надёжное удвоение и возведение и умножение на себя экземпляров классов, являющихся машинным представлением:
2.1. векторов,
2.2. матриц,
2.3. длинных чисел?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
17.05.2011, 09:47     После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?
Посмотрите здесь:

Visual C++ Ошибка компилятора fatal error C1091: ограничение компилятора: длина строки превышает 65535 байт
Надо чтобы пользователь ввел число и после этого создался массив с этим числом C++ Builder
"Перепрыгивание" компилятора к части кода после выхода из функции C++
C++ Мой код вызывает аварийное завершение компилятора
Первое НЕ открытие .exe файла после компилятора C++
Стартовый код компилятора VS C++
Не работает код, пишет что-то типа нет заголовка в другой вкладке компилятора C++
C++ Какие значения будут у ячеек массива после выполнения следующего кода?
Как заставить работать исходный код без компилятора C++ Linux
Просмотр кода после оптимизации компилятора C++
Какие значения будут выведены на экран после выполнения программы: C++
Разработка компилятора на C++ под код с++ C++

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
ForEveR
Модератор
Эксперт С++
 Аватар для ForEveR
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
17.05.2011, 18:27     После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам? #2
taras atavin,
C++
1
a=a; // Удвоение
Чо?
$1$DoqlJA.d$txi
Сообщений: n/a
17.05.2011, 19:48     После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам? #3
гарантирвоано правильно исполняться код
Сколько раз уже говорили, что можно доказать только правильность _вычислительного алгоритма_, а не программы, исполняемой в определенной среде, потому что программа будет корректна только тогда, когда корректна эта самая среда исполнения, а иначе ты не можешь быть уверен, что print "hello world", выведет на экран "hello world", а не что-то другое из-за ошибки в компиляторе или аппаратном обеспечении.
Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации.
Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы.
Пользователь получил красную карточку за это сообщение.
Yandex
Объявления
17.05.2011, 19:48     После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?
Ответ Создать тему
Опции темы

Текущее время: 03:40. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru