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

C++

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

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

17.05.2011, 09:47. Просмотров 350. Ответов 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++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?
Посмотрите здесь:

Стартовый код компилятора VS - C++
Программа написанная на C++ под отладкой показывает, много кода, который явно не включался в исходный код в отличие от программы...

Разработка компилятора на C++ под код с++ - C++
Ребята мне нужно создать компилятор по виду как программа в которую пишешь с++ код и выбираешь ОС (Windows, MS-DOS, Linux и тд.), а сам...

Просмотр кода после оптимизации компилятора - C++
Здравствуйте! Известно, что компилятор оптимизирует код. А можно ли посмотреть оптимизированный код до того, как он будет переведен в...

Мой код вызывает аварийное завершение компилятора - C++
Я использую компилятор Borland C++ 5.1 Выполнение след. кода вызывает аварийное завершение компилятора: #include <iostream.h> int a; ...

Первое НЕ открытие .exe файла после компилятора - C++
Во многих учебниках предлагают вначале всегда простую программу вывода текста. Предлагают следующее: 1. Перепишите программу, сохраните...

Как заставить работать исходный код без компилятора - C++ Linux
Набросал простенькую программу для решения квадратных уравнений. Сборка прошла успешно, программа компилируется и выполняется на ура. Но...

Не работает код, пишет что-то типа нет заголовка в другой вкладке компилятора - C++
#include <iostream> #include <climits> #include <array> using namespace std; int main() { array <char, 30> actor; actor='M'; ...

Надо чтобы пользователь ввел число и после этого создался массив с этим числом - C++ Builder
void main() { int k; cin >> k; string s; } Надо чтобы пользователь ввел число и после этого создался массив с этим числом.Но у...

Какие значения будут выведены на экран после выполнения программы: - C++
int Function5(int first, int second) { first=second*second; return first*2; } void main() { int i=5; int j=2;

Какие значения будут у ячеек массива после выполнения следующего кода? - C++
Немного запутался поэтому хочу задать вопрос у специалистов. Какие значения будут у ячеек массива после выполнения следующего кода? ...

"Перепрыгивание" компилятора к части кода после выхода из функции - C++
Уважаемые форумчане! Решил обратиться к вам, благо уже не знаю, что делать. Накодил я тут QuickSort текста по алфавиту для лабы. Он...

Выведите строки в порядке в котором они будут после k фаз цифровой сортировки. - C++
Не проходит проверку ( неправильный ответ ). Подскажите пожалуйста, где ошибка и как её исправить? Вроде казалось, что всё правильно...


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

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
ForEveR
В астрале
Эксперт С++
7969 / 4731 / 320
Регистрация: 24.06.2010
Сообщений: 10,539
Завершенные тесты: 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++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?
Ответ Создать тему
Опции темы

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