Форум программистов, компьютерный форум, киберфорум
C++
Войти
Регистрация
Восстановить пароль
 
Рейтинг 5.00/2: Рейтинг темы: голосов - 2, средняя оценка - 5.00
4194 / 1787 / 211
Регистрация: 24.11.2009
Сообщений: 27,563
1

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

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

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

Будет ли исполняться код, написанный в функции после "return:="?
будет ли исполняться код написанный в функции после result:= или это можно считать возвратом...

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

Куда "воткнуть" код, который должен исполняться постоянно?
Привет всем! Куда "воткнуть" код, который должен исполняться постоянно. "Втыкаю" в Form1()...

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

2
В астрале
Эксперт С++
8023 / 4780 / 654
Регистрация: 24.06.2010
Сообщений: 10,558
17.05.2011, 18:27 2
taras atavin,
C++
1
a=a; // Удвоение
Чо?
0
$1$DoqlJA.d$txi
17.05.2011, 19:48 3
гарантирвоано правильно исполняться код
Сколько раз уже говорили, что можно доказать только правильность _вычислительного алгоритма_, а не программы, исполняемой в определенной среде, потому что программа будет корректна только тогда, когда корректна эта самая среда исполнения, а иначе ты не можешь быть уверен, что print "hello world", выведет на экран "hello world", а не что-то другое из-за ошибки в компиляторе или аппаратном обеспечении.
Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации.
Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы.
Пользователь получил красную карточку за это сообщение.
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
17.05.2011, 19:48

Заказываю контрольные, курсовые, дипломные и любые другие студенческие работы здесь.

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

Модифицировать код так, чтобы в случае если будут введены буквы код выдавал ошибку
#include <iostream> #include <climits> #include <windows.h> using namespace std; int main()...

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

Разработка компилятора на C++ под код с++
Ребята мне нужно создать компилятор по виду как программа в которую пишешь с++ код и выбираешь ОС...

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

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


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

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

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