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

@taras atavin · Регистрация: 24.11.2009

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

C++

1 2	a=a; // Удвоение a*=a; // Возведение в квадрат

строкам.
1. На сколько надёжно компилится каждая из этих строк, если a - число встроенного типа:
1.1. влезающее в аппаратный регистр,
1.2. разрядностью больше регистра (если такое поддерживается встроенными типами)?
2. Как гарантировать надёжное удвоение и возведение и умножение на себя экземпляров классов, являющихся машинным представлением:
2.1. векторов,
2.2. матриц,
2.3. длинных чисел?

@ForEveR · 17.05.2011, 18:27

taras atavin,

C++

1	a=a; // Удвоение

Чо?

17.05.2011, 19:48

гарантирвоано правильно исполняться код

Сколько раз уже говорили, что можно доказать только правильность _вычислительного алгоритма_, а не программы, исполняемой в определенной среде, потому что программа будет корректна только тогда, когда корректна эта самая среда исполнения, а иначе ты не можешь быть уверен, что print "hello world", выведет на экран "hello world", а не что-то другое из-за ошибки в компиляторе или аппаратном обеспечении.
Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации.
Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы.

$1$DoqlJA.d$txi
	17.05.2011, 19:48	3
	гарантирвоано правильно исполняться код Сколько раз уже говорили, что можно доказать только правильность _вычислительного алгоритма_, а не программы, исполняемой в определенной среде, потому что программа будет корректна только тогда, когда корректна эта самая среда исполнения, а иначе ты не можешь быть уверен, что print "hello world", выведет на экран "hello world", а не что-то другое из-за ошибки в компиляторе или аппаратном обеспечении. Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации. Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы. Пользователь получил красную карточку за это сообщение.

Опции темы