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

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

Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++ C++ и принтеры http://www.cyberforum.ru/cpp/thread296098.html
Приветствую уважаемые программисты! У меня есть сканер и принтер, и достаточно много документов которые нужно ксерить. Просто нажимать "сканировать", потом "печать" уже надоело. Появилась идея автоматизировать этот процесс: При нажатии кнопки сканировать идет сканирование, потом бот автоматически должен сразу же посылать сканированный документ на печать. Использовать имитацию нажатий кнопок...
C++ Перезагрузка программы с заданными входными параметрами Добрый день. В общем есть программа, которая на вход получает имя файла конфигурации. Нужно ее програмно перезагрузить, указав имя нужного файла конфигурации. Кто нибудь знает методы, позволяющие это сделать? Заранее спасибо. http://www.cyberforum.ru/cpp/thread296064.html
Windows Driver Kit C++
Здравствуйте. ОС Windows 7 Максимальная 32bit. Отсюда качал Windows Driver Kit 7.1.0. Образ запускал в DAEMON Tools Lite 4.35 (работает без сбоев). Антивирус DrWeb выключал - не помогает. При установке вылетела ошибка (во вложениях). В ней я вычитал где лежит файл логоса (тот тоже во вложениях). Потом вспомнил что когда-то у меня стоял WDK но я его не совсем корректно стер. В панели управления у...
C++ Событие FormClosed
У меня есть две формы (Form1 и Form2). Мне нужно, чтобы при закрытии Form2, в Form1 происходили определенные действия. Я пытался создать обработчик закрытия Form2(FormClosed) в классе Form1, но у меня не получается(( Подскажите пожалуйста, как описать обработчик закрытия формы(Form2_FormClosed) в классе Form1!!! Т.е., чтобы из класса Form1 можно было отлавливать закрытие 2 формы! Заранее...
C++ Конвертация http://www.cyberforum.ru/cpp/thread293891.html
Подскажите пожалуйста код как считать в бинарном виде файл и вывести его в виде 0 и 1 и соответственно записать файл в бинарном виде
C++ Приравнивание переменных в классах. Почему нельзя в классе сразу после объявления переменной прировнять её к определенному значению? Нампример: AnsiString DirectorySt=""; И как это обойти, что при запуске программы для всех компонентов в форме, переменная DirectorySt была изначально ровна к “ ”, пока мы её не изменим. подробнее

Показать сообщение отдельно
$1$DoqlJA.d$txi
Сообщений: n/a
17.05.2011, 19:48     После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?
гарантирвоано правильно исполняться код
Сколько раз уже говорили, что можно доказать только правильность _вычислительного алгоритма_, а не программы, исполняемой в определенной среде, потому что программа будет корректна только тогда, когда корректна эта самая среда исполнения, а иначе ты не можешь быть уверен, что print "hello world", выведет на экран "hello world", а не что-то другое из-за ошибки в компиляторе или аппаратном обеспечении.
Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации.
Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы.
Пользователь получил красную карточку за это сообщение.
 
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru