Модератор: Модераторы разделов
Код: Выделить всё
/* why.cpp */
#include <iostream>
int main() {
int i=0;
std::cout << i++ << "\t" << i++ << "\n";
return 0;
}Код: Выделить всё
22:28 kip@kepka:~/programming/c$ g++ why.cpp -o why
22:28 kip@kepka:~/programming/c$ ./why
1 0
.Код: Выделить всё
#include <iostream>
int main() {
int i=0;
std::cout << ++i << "\t" << ++i << "\n";
return 0;
}
Код: Выделить всё
#include <iostream>
using namespace std;
struct func {
func(int i){ (*this)(i); }
func& operator()(int i){ mem(i); return *this; }
void mem(int i){ cout << int(i); }
};Код: Выделить всё
int main(){
int i=0;
func(i++)(i++)(i++); // имхо, достаточно занятная конструкция (:
cout << endl;
func(1)(2)(3);
cout << endl;
func(++i)(++i)(++i);
cout << endl;
return 0;
}ребят, вы вообще поняли про что человек спросил?
как ваши посты с его вопросом вообще соотносятся?
. признаю, ступил -- сказалась бессонница.Код: Выделить всё
(victor@pts/4)~ $> cat why.cpp [sh]
#include <iostream>
int main()
{
int i=0;
std::cout << i++ << "\t" << i++ << "\n";
return 0;
}
(victor@pts/4)~ $> g++ -o why why.cpp [sh]
(victor@pts/4)~ $> ./why [sh]
0 1
(victor@pts/4)~ $> g++ --version [sh]
g++ (GCC) 3.4.4
Copyright (C) 2004 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
(victor@pts/4)~ $> [sh]
(elide @ Суббота, 20 Августа 2005, 1:45) писал(а):вообще, я считаю, что это глюк gcc и прямое нарушение стандарта.
потому как вызов функции есть точка следования и к его началу все сайд-эффекты от вычисления операндов должны быть закреплены. gcc же, скатина, судя по асмовскому коду, сначала вычисляет аргументы и укладывает их в стек, а потом несколько раз подряд делает call.
естественно печататься они будут в обратном порядке.
Так же поступает и компилятор фирмы Microsoft.
(elide @ Суббота, 20 Августа 2005, 2:45) писал(а):вообще, я считаю, что это глюк gcc и прямое нарушение стандарта.
потому как вызов функции есть точка следования и к его началу все сайд-эффекты от вычисления операндов должны быть закреплены. gcc же, скатина, судя по асмовскому коду, сначала вычисляет аргументы и укладывает их в стек, а потом несколько раз подряд делает call.
естественно печататься они будут в обратном порядке.
Приоритет операций в выражениях такой же, как и порядок главных подразделов в этом разделе [книги], наибольший приоритет у первого. Внутри каждого подраздела операции имеют одинаковый приоритет. В каждом подразделе для рассматриваемых в нем операций определяется их левая или правая ассоциативность (порядок обработки операндов).
В остальных случаях порядок вычисления выражения не определен. Точнее, компилятор волен вычислять подвыражения в том порядке, который он считает более эффективным, даже если подвыражения вызывают побочные эффекты. Порядок возникновения побочных эффектов не определен. Выражения, включающие в себя коммутативные и ассоциативные операции (*, +, &, |, ^), могут быть реорганизованы произвольным образом, даже при наличии скобок; для задания определенного порядка вычисления выражения необходимо использовать явную временную переменную.
), так что склонен верить Нет, подождите. Унарная операция явлется частью выражения, т.е. в данном случае операндом операции <<. Если операция << выполняется справа налево, то и её операнды должны вычисляться в том же порядке.(Neuron @ Суббота, 20 Августа 2005, 19:26) писал(а):Что касается вопроса о порядке выполнения разных ++ в приведенном выражении, то он действительно не определен и зависит от компилятора.
(t.t @ Суббота, 20 Августа 2005, 21:10) писал(а):Нет, подождите. Унарная операция явлется частью выражения, т.е. в данном случае операндом операции <<. Если операция << выполняется справа налево, то и её операнды должны вычисляться в том же порядке.
Код: Выделить всё
(((std::cout << i++) << "\t") << i++) << "\n";(Neuron @ Суббота, 20 Августа 2005, 21:38) писал(а):сначала будет вычислено std::cout << выр1
Тогда в какой бы последовательности ни вычислялись инкременты, мы не должны были бы получить на выходе или 0 1, или 1 2, но никак не 1 0. Вообще, я уже слегка запутался. Неплохо бы асм глянуть, чтобы понять, почему так происходит, но я пока в атт-шном синтаксисе не силён.(Neuron @ Суббота, 20 Августа 2005, 21:38) писал(а):а затем то, (что получится типа ostream&) << выр2
(Neuron @ Суббота, 20 Августа 2005, 21:38) писал(а):сначала будет вычислено std::cout << выр1
(Neuron @ Суббота, 20 Августа 2005, 21:38) писал(а):а затем то, (что получится типа ostream&) << выр2
Код: Выделить всё
(((std::cout << i++) << "\t") << j++) << "\n";(Страустрап) писал(а):Порядок возникновения побочных эффектов не определен
вызов функции есть точка следования и к его началу все сайд-эффекты от вычисления операндов должны быть закреплены. gcc же, скатина, судя по асмовскому коду, сначала вычисляет аргументы и укладывает их в стек, а потом несколько раз подряд делает call.
Except where noted, the order of evaluation of operands of individual operators and subexpressions of individual
expressions, and the order in which side effects take place, is unspecified.53) Between the previous
and next sequence point a scalar object shall have its stored value modified at most once by the evaluation
of an expression. Furthermore, the prior value shall be accessed only to determine the value to be stored.
The requirements of this paragraph shall be met for each allowable ordering of the subexpressions of a full
expression; otherwise the behavior is undefined. [Example:
i = v[i++]; // the behavior is unspecified
i = 7, i++, i++; // i becomes 9
i = ++i + 1; // the behavior is unspecified
i = i + 1; // the value of i is incremented
—end example]
я в курсе. именно поэтому я и не понимаю нихрена. потому как вызов функции и есть точка следования, а i между вызовами меняется не более 1 раза, т.е. либо эта конструкция должна работать правильно, либо я где-то ошибаюсь, но не могу понять где (:вся эта конструкция замечательная есть обычный последовательный вызов функции
(elide @ Понедельник, 22 Августа 2005, 12:03) писал(а):я в курсе. именно поэтому я и не понимаю нихрена. потому как вызов функции и есть точка следования, а i между вызовами меняется не более 1 раза, т.е. либо эта конструкция должна работать правильно, либо я где-то ошибаюсь, но не могу понять где (:вся эта конструкция замечательная есть обычный последовательный вызов функции
-S(Shurshunchik @ Понедельник, 22 Августа 2005, 11:40) писал(а):Как получить ассемблерный листинг кода? Может ли gcc дать мне ассмовский файл?
Кстати, я узнал об этом ключе после 15 секунд поиска по man gcc.
Код: Выделить всё
.file "main.cpp"
.version "01.01"
gcc2_compiled.:
.globl __terminate
.globl __sjthrow
.section .rodata
.LC0:
.byte 0xa,0x0
.LC1:
.byte 0x9,0x0
.text
.p2align 2,0x90
.globl main
.type main,@function
main:
pushl %ebp
movl %esp,%ebp
subl $24,%esp
movl $0,-4(%ebp)
addl $-8,%esp
pushl $.LC0
addl $-8,%esp
movl -4(%ebp),%eax
pushl %eax
incl -4(%ebp)
addl $-8,%esp
pushl $.LC1
addl $-8,%esp
movl -4(%ebp),%eax
pushl %eax
incl -4(%ebp)
pushl $cout
call __ls__7ostreami
addl $16,%esp
movl %eax,%eax
pushl %eax
call __ls__7ostreamPCc
addl $16,%esp
movl %eax,%eax
pushl %eax
call __ls__7ostreami
addl $16,%esp
movl %eax,%eax
pushl %eax
call __ls__7ostreamPCc
addl $16,%esp
xorl %eax,%eax
jmp .L275
xorl %eax,%eax
jmp .L275
.p2align 2,0x90
.L275:
leave
ret
.Lfe1:
.size main,.Lfe1-main
.ident "GCC: (GNU) cplusplus 2.95.4 20020320 [FreeBSD]"при обработке строки
std::cout << i++ << "\t" << i++ << "\n"
компилятор вначале генерит стек для 4-х вызовов вывода в COUT а потом последовательно их вызывает т.к. стек надо генерить с конца т.е. чтобы вывод "\n" был последним его данные надо запихнуть первыми
вот он и делает
запихивает в стек "\n"
запихивает в стек i
делает i++
запихивает в стек "\t"
запихивает в стек i
делает i++
потом начинаются вызываться выводы в Cout