Форум программистов, компьютерный форум, киберфорум
Наши страницы

C++

Войти
Регистрация
Восстановить пароль
 
taras atavin
3570 / 1754 / 91
Регистрация: 24.11.2009
Сообщений: 27,567
#1

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

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

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

Определить какой код будет исполняться быстрее - Python
С точки зрения быстроты исполнения, какой из 2-х вариантов будет лучше? from datetime import timedelta print(- timedelta( ...

Была идея замены переменной t = x+sin(x), но скорее всего дальше ничего не развенулось бы! У кого будут какие предположение с этим? - Математический анализ
Была идея замены переменной t = x+sin(x), но скорее всего дальше ничего не развенулось бы! У кого будут какие предположение с этим? \int...

Код Хэмминга. Расписать по строкам что делает код - C#
using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.IO; namespace...

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

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

Зависит ли от смены компилятора исходный код? - C#
Недавно на олимпиаде писал программу. Компилятор у них был указан C# .Net 4.0. Однако написанная программа в VS 2005 не принималась им. Как...

2
ForEveR
В астрале
Эксперт С++
7983 / 4742 / 321
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
17.05.2011, 18:27 #2
taras atavin,
C++
1
a=a; // Удвоение
Чо?
0
$1$DoqlJA.d$txi
0 / 0 / 0
Регистрация: 14.05.2011
Сообщений: 1
17.05.2011, 19:48 #3
гарантирвоано правильно исполняться код
Сколько раз уже говорили, что можно доказать только правильность _вычислительного алгоритма_, а не программы, исполняемой в определенной среде, потому что программа будет корректна только тогда, когда корректна эта самая среда исполнения, а иначе ты не можешь быть уверен, что print "hello world", выведет на экран "hello world", а не что-то другое из-за ошибки в компиляторе или аппаратном обеспечении.
Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации.
Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы.
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
17.05.2011, 19:48
Привет! Вот еще темы с ответами:

.NET 4.x Переделать код для компилятора C++ на языке C# - C#
Всем привет форумчане! Я долго решал как сделать чтоб из TextBox1 текст отправлялся в компилятор и нашёл статью только для C# компилятора....

Программа перестает работать правильно, если более одного раза используются директивы компилятора {$I-+} - Pascal
Первый пост на форуме) Начал на досуге изучать паскаль. Пытаюсь написать простенькую программку, которая складывала бы два числа. Решил...

valign top отказывается исполняться - HTML, CSS
Есть такой код. <table border="0" cellpadding="0" cellspacing="0" height="100%" width="100%"> <tbody valign="top"> <tr...

Перестали исполняться бат-файлы - Windows XP
Вот этот батник (raspak1)должен распаковать файл (nlc) ,есть еще для запаковки обратно(upak1) ,но ни то,ни другое не выполняется почему то....


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

Или воспользуйтесь поиском по форуму:
3
Ответ Создать тему
Опции темы

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