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

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

Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++/CLI WinForms Как воспользоваться переменными одной формы из другой? http://www.cyberforum.ru/cpp/thread296427.html
Вообщем проблема в том,что в одной форме я объявляю переменные rgb,ver а в другой хочу считать их значение.Вот само объявление! public ref class Form2 : public System::Windows::Forms::Form { public: static int rgb,ver; А тут записываю в них private: System::Void button1_Click(System::Object^ sender, System::EventArgs^ e) { if ((RED->Checked==false) && (GREEN->Checked==false) &&...
C++ C++ и принтеры Приветствую уважаемые программисты! У меня есть сканер и принтер, и достаточно много документов которые нужно ксерить. Просто нажимать "сканировать", потом "печать" уже надоело. Появилась идея автоматизировать этот процесс: При нажатии кнопки сканировать идет сканирование, потом бот автоматически должен сразу же посылать сканированный документ на печать. Использовать имитацию нажатий кнопок... http://www.cyberforum.ru/cpp/thread296098.html
C++ Перезагрузка программы с заданными входными параметрами
Добрый день. В общем есть программа, которая на вход получает имя файла конфигурации. Нужно ее програмно перезагрузить, указав имя нужного файла конфигурации. Кто нибудь знает методы, позволяющие это сделать? Заранее спасибо.
Windows Driver Kit C++
Здравствуйте. ОС Windows 7 Максимальная 32bit. Отсюда качал Windows Driver Kit 7.1.0. Образ запускал в DAEMON Tools Lite 4.35 (работает без сбоев). Антивирус DrWeb выключал - не помогает. При установке вылетела ошибка (во вложениях). В ней я вычитал где лежит файл логоса (тот тоже во вложениях). Потом вспомнил что когда-то у меня стоял WDK но я его не совсем корректно стер. В панели управления у...
C++ Кольцевой двунаправленный список http://www.cyberforum.ru/cpp/thread295481.html
Дали задачу на практике. Пусть L обозначает кольцевой двунаправленный список с заглавным звеном.Описать функцию или процедуру, которая в списке L переставляет в обратном порядке все элементы между первым и последним вхождениями элемента Е, если Е входит в L не менее двух раз. Помогите решить хоть как-нибудь, а то в списках совсем не шарю , а сдавать уже скоро.
C++/CLI WinForms Взаимодействие фонового потока и формы Здравствуйте. Помогите, пожалуйста разобраться в следующей проблеме. Есть форма, которая запускает фоновый поток по нажатию кнопки. Этот поток решает численно некоторую задачу. Как в главной форме отследить процесс решения, но при этом оставить пользователю возможность прервать решение. Если в главной форме постоянно проверять состояние потока в обработчике кнопки "старт", после нажатия которой... подробнее

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