Question

最小应用：

TestProject.pro：

QT       += core gui widgets
CONFIG   += C++11

QMAKE_CXXFLAGS_RELEASE -= -O
QMAKE_CXXFLAGS_RELEASE -= -O0
QMAKE_CXXFLAGS_RELEASE -= -O1
QMAKE_CXXFLAGS_RELEASE -= -O2
QMAKE_CXXFLAGS_RELEASE *= -O3
QMAKE_CXXFLAGS_RELEASE -= -Os
QMAKE_CXXFLAGS_RELEASE -= -Ofast

TARGET   = TestProject
TEMPLATE = app

SOURCES += main.cpp\
           mainwindow.cpp

HEADERS += mainwindow.h

main.cpp：

#include <mainwindow.h>
#include <QApplication>

int main(int argc, char* argv[])
{
    QApplication a(argc, argv);
    MainWindow w;
    w.show();

    return a.exec();
}

mainwindow.h：

#ifndef MAINWINDOW_H
#define MAINWINDOW_H

#include <QObject>
#include <QStack>

class Other : public QObject
{
    Q_OBJECT
public:
    explicit Other(QObject* parent = 0);
    virtual ~Other();

    void test();

private:
    QStack<int> myStack;
};

//--------------------------------------------------------------------------------------------------

#include <QMainWindow>
#include <QPushButton>
#include <QTextEdit>

class MainWindow : public QMainWindow
{
    Q_OBJECT
public:
    explicit MainWindow(QWidget* parent = 0);
    virtual ~MainWindow();
};

#endif // MAINWINDOW_H

mainwindow.cpp：

#include "mainwindow.h"

Other::Other(QObject* parent) :
    QObject(parent)
{}

Other::~Other()
{}

void Other::test()  //warning on this line
{
    myStack.pop();  //but not when this line is commented
}

//--------------------------------------------------------------------------------------------------

MainWindow::MainWindow(QWidget* parent) :
    QMainWindow(parent)
{
    (new Other(this))->test();
}

MainWindow::~MainWindow()
{}

使用g++ -O3 -Wall进行编译会发出以下警告：

...TestProject/mainwindow.cpp:10: warning: assuming signed overflow does not occur when assuming that (X - c) <= X is always true [-Wstrict-overflow]
 void Other::test()  //warning on this line
      ^

使用g++ -O2 -Wall进行编译。

This question是有道理的，因为它是有条件的，但我不是有条件的。我在函数本身上得到它。

我想使用更具侵略性的优化，但是如果可以的话，仍然可以干净地进行编译。 QStack发生了什么奇怪的事情？

更新：

在这种情况下，我仍然不知道警告的含义，但是我找到了一种方法来消除它。

我从qstack.h复制了代码并将其粘贴到自己的函数中，然后调用了它，而不是内置的QStack::pop()：

void Other::pop()  //warning on this line
{
    Q_ASSERT(!myStack.isEmpty());
    int t = myStack.data()[myStack.size() - 1];
            myStack.resize(myStack.size() - 1);
    return t;
}

仍然有警告，但已移至自定义pop()函数。

然后我玩了一下，发现为myStack.size() - 1操作缓存resize会杀死警告，但前提是在提取data()之前完成警告：

void Other::pop()  //no warning
{
    Q_ASSERT(!myStack.isEmpty());
    int size = myStack.size() - 1;
    int t = myStack.data()[myStack.size() - 1];
            myStack.resize(size);
    return t;
}

对这两个操作使用缓存的值也是没有警告的。

所以这可能是摆脱它的几种方法之一，但是有人知道为什么会在这里发生吗？

Answer 1

警告告诉您编译器没有检查减法结果是否为负。

为什么这行很重要？

myStack.data()[myStack.size() - 1];

因为您正在使用减法运算的结果来索引数组（实际上是使用data()函数的指针变量，该变量返回T*），因此可能会导致负数，通常是您不想要的东西。

当您减去该减法并将其移至新变量时，编译器会看到您正在直接使用int变量而不是减法的结果为数组建立索引，因此不再发出警告如果传递的变量是否为负。

关于您的评论，您正在使用resize函数的缓存数据。我不太确定为什么会发生这种情况，但是我想这可能与在-O3中编译器启用以下标志有关：

-finline-functions

有关更多详细信息，请参见http://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html。

此标志启用所有内联函数的优化。由于您使用的是所有模板化类，因此编译器可能会内联所有涉及的函数，缓存一些结果，而某处正在优化带符号的溢出。可能在if函数的resize句子中：

template <typename T>
void QVector<T>::resize(int asize)
{
    int newAlloc;
    const int oldAlloc = int(d->alloc);
    QArrayData::AllocationOptions opt;

    //Here, asize will be replaced with d->size - 1 after all the inlining.
    //So the compiler is assuming that d->size - 1 will not overflow, 
    //  because of undefined behaviour, 
    //  instead of thinking that it may wrap.
    if (asize > oldAlloc) { 
        newAlloc = asize;
        opt = QArrayData::Grow;
    } else {
        newAlloc = oldAlloc;
    }
    reallocData(asize, newAlloc, opt);
}

但这只是一个猜测。

[-Wstrict-overflow]在这里是什么意思？

更新：

1 个答案: