c++ - 乱序执行

Question

g++ 4.8.2 (cygwin)

testMarkListIO() 语句在 testListIO() 语句之前执行。这有什么原因吗？

bool testIO() {
   bool flag = true;

   time_t rawtime;
   struct tm * ptm;
   time ( &rawtime );
   ptm = gmtime ( &rawtime );
   stringstream pretty;
   pretty << "TestIOLog_" << ptm->tm_yday
                          << ptm->tm_hour
                          << ptm->tm_min
                          << ptm->tm_sec
                          << ".log";
   filename = pretty.str();
   flag = (testListIO())?            flag: false;
   flag = (testMarkListIO())?        flag: false;
   flag = (testDescriptorListIO())?  flag: false;
   flag = (testUserDataIO())?        flag: false;
   flag = (testInclude())?           flag: false;

   sleep(1);
   testResultOutput("Test I/O", flag);
   return flag;
}; // bool testIO()

Answer 1

对于这些陈述(以及其他类似的陈述):

flag = (testListIO())?            flag: false;
flag = (testMarkListIO())?        flag: false;

如果函数是内联的，并且编译器可以判断除了设置 flag 之外没有任何副作用，它可以自由地对这些语句进行排序，但是它认为只要传递给的值合适testResultOutput() 和从函数返回的结果与严格按顺序执行语句时发生的情况相同。

这通常被称为“好像”规则。本质上，如果可见结果与根据源代码顺序执行它们的结果相同，则编译器可以自由执行它想要的东西。