tests/auto/exceptionsafety/tst_exceptionsafety.cpp
changeset 0 1918ee327afb
child 4 3b1da2848fc7
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/auto/exceptionsafety/tst_exceptionsafety.cpp	Mon Jan 11 14:00:40 2010 +0000
@@ -0,0 +1,727 @@
+/****************************************************************************
+**
+** Copyright (C) 2009 Nokia Corporation and/or its subsidiary(-ies).
+** All rights reserved.
+** Contact: Nokia Corporation (qt-info@nokia.com)
+**
+** This file is part of the test suite of the Qt Toolkit.
+**
+** $QT_BEGIN_LICENSE:LGPL$
+** No Commercial Usage
+** This file contains pre-release code and may not be distributed.
+** You may use this file in accordance with the terms and conditions
+** contained in the Technology Preview License Agreement accompanying
+** this package.
+**
+** GNU Lesser General Public License Usage
+** Alternatively, this file may be used under the terms of the GNU Lesser
+** General Public License version 2.1 as published by the Free Software
+** Foundation and appearing in the file LICENSE.LGPL included in the
+** packaging of this file.  Please review the following information to
+** ensure the GNU Lesser General Public License version 2.1 requirements
+** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
+**
+** In addition, as a special exception, Nokia gives you certain additional
+** rights.  These rights are described in the Nokia Qt LGPL Exception
+** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
+**
+** If you have questions regarding the use of this file, please contact
+** Nokia at qt-info@nokia.com.
+**
+**
+**
+**
+**
+**
+**
+**
+** $QT_END_LICENSE$
+**
+****************************************************************************/
+
+
+#include <QtTest/QtTest>
+
+QT_USE_NAMESPACE
+
+#if defined(QT_NO_EXCEPTIONS)
+    QTEST_NOOP_MAIN
+#else
+class tst_ExceptionSafety: public QObject
+{
+    Q_OBJECT
+private slots:
+    void exceptionInSlot();
+    void exceptionVector();
+    void exceptionHash();
+    void exceptionMap();
+    void exceptionList();
+    void exceptionLinkedList();
+//    void exceptionEventLoop();
+//    void exceptionSignalSlot();
+};
+
+class Emitter : public QObject
+{
+    Q_OBJECT
+public:
+    inline void emitTestSignal() { emit testSignal(); }
+signals:
+    void testSignal();
+};
+
+class ExceptionThrower : public QObject
+{
+    Q_OBJECT
+public slots:
+    void thrower() { throw 5; }
+};
+
+class Receiver : public QObject
+{
+    Q_OBJECT
+public:
+    Receiver()
+        : received(0) {}
+    int received;
+
+public slots:
+    void receiver() { ++received; }
+};
+
+enum ThrowType { ThrowNot = 0, ThrowAtCreate = 1, ThrowAtCopy = 2, ThrowLater = 3, ThrowAtComparison = 4 };
+
+ThrowType throwType = ThrowNot; // global flag to indicate when an exception should be throw. Will be reset when the exception has been generated.
+
+int objCounter = 0;
+
+/*! Class that does not throw any exceptions. Used as baseclass for all the other ones.
+ */
+template <int T>
+class FlexibleThrower
+{
+    public:
+        FlexibleThrower() : _value(-1) {
+            if( throwType == ThrowAtCreate ) {
+                throwType = ThrowNot;
+                throw ThrowAtCreate;
+            }
+            objCounter++;
+        }
+
+        FlexibleThrower( short value ) : _value(value) {
+            if( throwType == ThrowAtCreate ) {
+                throwType = ThrowNot;
+                throw ThrowAtCreate;
+            }
+            objCounter++;
+        }
+
+        FlexibleThrower(FlexibleThrower const& other ) {
+            // qDebug("cc");
+
+            if( throwType == ThrowAtCopy ) {
+                throwType = ThrowNot;
+                throw ThrowAtCopy;
+
+            } else if( throwType == ThrowLater ) {
+                throwType = ThrowAtCopy;
+            }
+
+            objCounter++;
+            _value = other.value();
+        }
+
+        ~FlexibleThrower() { objCounter--; }
+
+        bool operator==(const FlexibleThrower<T> &t) const
+        {
+            // qDebug("vv == %d %d", value(), t.value());
+            if( throwType == ThrowAtComparison ) {
+                throwType = ThrowNot;
+                throw ThrowAtComparison;
+            }
+            return value()==t.value();
+        }
+
+        bool operator<(const FlexibleThrower<T> &t) const
+        {
+            // qDebug("vv < %d %d", value(), t.value());
+            if( throwType == ThrowAtComparison ) {
+                throwType = ThrowNot;
+                throw ThrowAtComparison;
+            }
+            return value()<t.value();
+        }
+
+        int value() const
+        { return (int)_value; }
+
+        short _value;
+        char dummy[T];
+};
+
+uint qHash(const FlexibleThrower<2>& t)
+{
+    // qDebug("ha");
+    if( throwType == ThrowAtComparison ) {
+        throwType = ThrowNot;
+        throw ThrowAtComparison;
+    }
+    return (uint)t.value();
+}
+
+typedef FlexibleThrower<2> FlexibleThrowerSmall;
+typedef QMap<FlexibleThrowerSmall,FlexibleThrowerSmall> MyMap;
+typedef QHash<FlexibleThrowerSmall,FlexibleThrowerSmall> MyHash;
+
+// connect a signal to a slot that throws an exception
+// run this through valgrind to make sure it doesn't corrupt
+void tst_ExceptionSafety::exceptionInSlot()
+{
+    Emitter emitter;
+    ExceptionThrower thrower;
+
+    connect(&emitter, SIGNAL(testSignal()), &thrower, SLOT(thrower()));
+
+    try {
+        emitter.emitTestSignal();
+    } catch (int i) {
+        QCOMPARE(i, 5);
+    }
+}
+
+void tst_ExceptionSafety::exceptionList() {
+
+    {
+        QList<FlexibleThrowerSmall> list;
+        QList<FlexibleThrowerSmall> list2;
+        QList<FlexibleThrowerSmall> list3;
+
+        for( int i = 0; i<10; i++ )
+            list.append( FlexibleThrowerSmall(i) );
+
+        try {
+            throwType = ThrowAtCopy;
+            list.append( FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( list.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            list.prepend( FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( list.at(0).value(), 0 );
+        QCOMPARE( list.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            list.insert( 8, FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( list.at(7).value(), 7 );
+        QCOMPARE( list.at(8).value(), 8 );
+        QCOMPARE( list.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            FlexibleThrowerSmall t = list.takeAt( 6 );
+        } catch (...) {
+        }
+        QCOMPARE( list.at(6).value(), 6 );
+        QCOMPARE( list.at(7).value(), 7 );
+        QCOMPARE( list.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            list3 = list;
+        } catch (...) {
+        }
+        QCOMPARE( list.at(0).value(), 0 );
+        QCOMPARE( list.at(7).value(), 7 );
+        QCOMPARE( list.size(), 10 );
+        QCOMPARE( list3.at(0).value(), 0 );
+        QCOMPARE( list3.at(7).value(), 7 );
+        QCOMPARE( list3.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            list3.append( FlexibleThrowerSmall(11) );
+        } catch (...) {
+        }
+        QCOMPARE( list.at(0).value(), 0 );
+        QCOMPARE( list.at(7).value(), 7 );
+        QCOMPARE( list.size(), 10 );
+        QCOMPARE( list3.at(0).value(), 0 );
+        QCOMPARE( list3.at(7).value(), 7 );
+        QCOMPARE( list3.size(), 10 );
+
+        try {
+            list2.clear();
+            list2.append( FlexibleThrowerSmall(11));
+            throwType = ThrowAtCopy;
+            list3 = list+list2;
+        } catch (...) {
+        }
+        QCOMPARE( list.at(0).value(), 0 );
+        QCOMPARE( list.at(7).value(), 7 );
+        QCOMPARE( list.size(), 10 );
+
+        // check that copy on write works atomar
+        list2.clear();
+        list2.append( FlexibleThrowerSmall(11));
+        list3 = list+list2;
+        try {
+            throwType = ThrowAtCreate;
+            list3[7]=FlexibleThrowerSmall(12);
+        } catch (...) {
+        }
+        QCOMPARE( list.at(7).value(), 7 );
+        QCOMPARE( list.size(), 10 );
+        QCOMPARE( list3.at(7).value(), 7 );
+        QCOMPARE( list3.size(), 11 );
+
+    }
+    QCOMPARE(objCounter, 0 ); // check that every object has been freed
+}
+
+void tst_ExceptionSafety::exceptionLinkedList() {
+
+    {
+        QLinkedList<FlexibleThrowerSmall> list;
+        QLinkedList<FlexibleThrowerSmall> list2;
+        QLinkedList<FlexibleThrowerSmall> list3;
+
+        for( int i = 0; i<10; i++ )
+            list.append( FlexibleThrowerSmall(i) );
+
+        try {
+            throwType = ThrowAtCopy;
+            list.append( FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( list.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            list.prepend( FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( list.first().value(), 0 );
+        QCOMPARE( list.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            list3 = list;
+            list3.append( FlexibleThrowerSmall(11) );
+        } catch (...) {
+        }
+        QCOMPARE( list.first().value(), 0 );
+        QCOMPARE( list.size(), 10 );
+        QCOMPARE( list3.size(), 10 );
+    }
+    QCOMPARE(objCounter, 0 ); // check that every object has been freed
+}
+
+void tst_ExceptionSafety::exceptionVector() {
+
+    {
+        QVector<FlexibleThrowerSmall> vector;
+        QVector<FlexibleThrowerSmall> vector2;
+        QVector<FlexibleThrowerSmall> vector3;
+
+        for (int i = 0; i<10; i++)
+            vector.append( FlexibleThrowerSmall(i) );
+
+        try {
+            throwType = ThrowAtCopy;
+            vector.append( FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( vector.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            vector.prepend( FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(0).value(), 0 );
+        QCOMPARE( vector.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            vector.insert( 8, FlexibleThrowerSmall(10));
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(7).value(), 7 );
+        QCOMPARE( vector.at(8).value(), 8 );
+        QCOMPARE( vector.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            vector3 = vector;
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(0).value(), 0 );
+        QCOMPARE( vector.at(7).value(), 7 );
+        QCOMPARE( vector.size(), 10 );
+        QCOMPARE( vector3.at(0).value(), 0 );
+        QCOMPARE( vector3.at(7).value(), 7 );
+        QCOMPARE( vector3.size(), 10 );
+
+        try {
+            throwType = ThrowAtCopy;
+            vector3.append( FlexibleThrowerSmall(11) );
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(0).value(), 0 );
+        QCOMPARE( vector.at(7).value(), 7 );
+        QCOMPARE( vector.size(), 10 );
+        QCOMPARE( vector3.at(0).value(), 0 );
+        QCOMPARE( vector3.at(7).value(), 7 );
+
+        try {
+            vector2.clear();
+            vector2.append( FlexibleThrowerSmall(11));
+            throwType = ThrowAtCopy;
+            vector3 = vector+vector2;
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(0).value(), 0 );
+        QCOMPARE( vector.at(7).value(), 7 );
+        QCOMPARE( vector.size(), 10 );
+
+        // check that copy on write works atomar
+        vector2.clear();
+        vector2.append( FlexibleThrowerSmall(11));
+        vector3 = vector+vector2;
+        try {
+            throwType = ThrowAtCreate;
+            vector3[7]=FlexibleThrowerSmall(12);
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(7).value(), 7 );
+        QCOMPARE( vector.size(), 10 );
+        QCOMPARE( vector3.at(7).value(), 7 );
+        QCOMPARE( vector3.size(), 11 );
+
+        try {
+            throwType = ThrowAtCreate;
+            vector.resize(15);
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(7).value(), 7 );
+        QCOMPARE( vector.size(), 10 );
+
+        try {
+            throwType = ThrowAtCreate;
+            vector.resize(15);
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(7).value(), 7 );
+        QCOMPARE( vector.size(), 10 );
+
+        try {
+            throwType = ThrowLater;
+            vector.fill(FlexibleThrowerSmall(1), 15);
+        } catch (...) {
+        }
+        QCOMPARE( vector.at(0).value(), 0 );
+        QCOMPARE( vector.size(), 10 );
+
+
+    }
+    QCOMPARE(objCounter, 0 ); // check that every object has been freed
+}
+
+
+void tst_ExceptionSafety::exceptionMap() {
+
+    {
+        MyMap map;
+        MyMap map2;
+        MyMap map3;
+
+        throwType = ThrowNot;
+        for (int i = 0; i<10; i++)
+            map[ FlexibleThrowerSmall(i) ] = FlexibleThrowerSmall(i);
+
+        return; // further test are deactivated until Map is fixed.
+
+        for( int i = ThrowAtCopy; i<=ThrowAtComparison; i++ ) {
+            try {
+                throwType = (ThrowType)i;
+                map[ FlexibleThrowerSmall(10) ] = FlexibleThrowerSmall(10);
+            } catch(...) {
+            }
+            QCOMPARE( map.size(), 10 );
+            QCOMPARE( map[ FlexibleThrowerSmall(1) ], FlexibleThrowerSmall(1) );
+        }
+
+        map2 = map;
+        try {
+            throwType = ThrowLater;
+            map2[ FlexibleThrowerSmall(10) ] = FlexibleThrowerSmall(10);
+        } catch(...) {
+        }
+        /* qDebug("%d %d", map.size(), map2.size() );
+        for( int i=0; i<map.size(); i++ )
+            qDebug( "Value at %d: %d",i, map.value(FlexibleThrowerSmall(i), FlexibleThrowerSmall()).value() );
+        QCOMPARE( map.value(FlexibleThrowerSmall(1), FlexibleThrowerSmall()), FlexibleThrowerSmall(1) );
+        qDebug( "Value at %d: %d",1, map[FlexibleThrowerSmall(1)].value() );
+        qDebug("%d %d", map.size(), map2.size() );
+        */
+        QCOMPARE( map[ FlexibleThrowerSmall(1) ], FlexibleThrowerSmall(1) );
+        QCOMPARE( map.size(), 10 );
+        QCOMPARE( map2[ FlexibleThrowerSmall(1) ], FlexibleThrowerSmall(1) );
+        QCOMPARE( map2.size(), 10 );
+
+    }
+    QCOMPARE(objCounter, 0 ); // check that every object has been freed
+}
+
+void tst_ExceptionSafety::exceptionHash() {
+
+    {
+        MyHash hash;
+        MyHash hash2;
+        MyHash hash3;
+
+        for( int i = 0; i<10; i++ )
+            hash[ FlexibleThrowerSmall(i) ] = FlexibleThrowerSmall(i);
+
+        for( int i = ThrowAtCopy; i<=ThrowAtComparison; i++ ) {
+            try {
+                throwType = (ThrowType)i;
+                hash[ FlexibleThrowerSmall(10) ] = FlexibleThrowerSmall(10);
+            } catch(...) {
+            }
+            QCOMPARE( hash.size(), 10 );
+        }
+
+        hash2 = hash;
+        try {
+            throwType = ThrowLater;
+            hash2[ FlexibleThrowerSmall(10) ] = FlexibleThrowerSmall(10);
+        } catch(...) {
+        }
+        QCOMPARE( hash[ FlexibleThrowerSmall(1) ], FlexibleThrowerSmall(1) );
+        QCOMPARE( hash.size(), 10 );
+        QCOMPARE( hash2[ FlexibleThrowerSmall(1) ], FlexibleThrowerSmall(1) );
+        QCOMPARE( hash2.size(), 10 );
+
+        hash2.clear();
+        try {
+            throwType = ThrowLater;
+            hash2.reserve(30);
+        } catch(...) {
+        }
+        QCOMPARE( hash2.size(), 0 );
+
+        /*
+           try {
+           throwType = ThrowAtCopy;
+           hash.prepend( FlexibleThrowerSmall(10));
+           } catch (...) {
+           }
+           QCOMPARE( hash.at(0).value(), 0 );
+           QCOMPARE( hash.size(), 10 );
+
+           try {
+           throwType = ThrowAtCopy;
+           hash.insert( 8, FlexibleThrowerSmall(10));
+           } catch (...) {
+           }
+           QCOMPARE( hash.at(7).value(), 7 );
+           QCOMPARE( hash.at(8).value(), 8 );
+           QCOMPARE( hash.size(), 10 );
+
+           qDebug("val");
+           try {
+           throwType = ThrowAtCopy;
+           hash3 = hash;
+           } catch (...) {
+           }
+           QCOMPARE( hash.at(0).value(), 0 );
+           QCOMPARE( hash.at(7).value(), 7 );
+           QCOMPARE( hash.size(), 10 );
+           QCOMPARE( hash3.at(0).value(), 0 );
+           QCOMPARE( hash3.at(7).value(), 7 );
+           QCOMPARE( hash3.size(), 10 );
+
+           try {
+           throwType = ThrowAtCopy;
+           hash3.append( FlexibleThrowerSmall(11) );
+           } catch (...) {
+           }
+           QCOMPARE( hash.at(0).value(), 0 );
+           QCOMPARE( hash.at(7).value(), 7 );
+           QCOMPARE( hash.size(), 10 );
+           QCOMPARE( hash3.at(0).value(), 0 );
+           QCOMPARE( hash3.at(7).value(), 7 );
+           QCOMPARE( hash3.at(11).value(), 11 );
+
+           try {
+           hash2.clear();
+           hash2.append( FlexibleThrowerSmall(11));
+           throwType = ThrowAtCopy;
+           hash3 = hash+hash2;
+           } catch (...) {
+           }
+           QCOMPARE( hash.at(0).value(), 0 );
+           QCOMPARE( hash.at(7).value(), 7 );
+           QCOMPARE( hash.size(), 10 );
+
+        // check that copy on write works atomar
+        hash2.clear();
+        hash2.append( FlexibleThrowerSmall(11));
+        hash3 = hash+hash2;
+        try {
+        throwType = ThrowAtCopy;
+        hash3[7]=FlexibleThrowerSmall(12);
+        } catch (...) {
+        }
+        QCOMPARE( hash.at(7).value(), 7 );
+        QCOMPARE( hash.size(), 10 );
+        QCOMPARE( hash3.at(7).value(), 7 );
+        QCOMPARE( hash3.size(), 11 );
+        */
+
+
+    }
+    QCOMPARE(objCounter, 0 ); // check that every object has been freed
+}
+
+// Disable these tests until the level of exception safety in event loops is clear
+#if 0
+enum
+{
+    ThrowEventId = QEvent::User + 42,
+    NoThrowEventId = QEvent::User + 43
+};
+
+class ThrowEvent : public QEvent
+{
+public:
+    ThrowEvent()
+        : QEvent(static_cast<QEvent::Type>(ThrowEventId))
+    {
+    }
+};
+
+class NoThrowEvent : public QEvent
+{
+public:
+    NoThrowEvent()
+        : QEvent(static_cast<QEvent::Type>(NoThrowEventId))
+    {}
+};
+
+struct IntEx : public std::exception
+{
+    IntEx(int aEx) : ex(aEx) {}
+    int ex;
+};
+
+class TestObject : public QObject
+{
+public:
+    TestObject()
+        : throwEventCount(0), noThrowEventCount(0) {}
+
+    int throwEventCount;
+    int noThrowEventCount;
+
+protected:
+    bool event(QEvent *event)
+    {
+        if (int(event->type()) == ThrowEventId) {
+             throw IntEx(++throwEventCount);
+        } else if (int(event->type()) == NoThrowEventId) {
+            ++noThrowEventCount;
+        }
+        return QObject::event(event);
+    }
+};
+
+void tst_ExceptionSafety::exceptionEventLoop()
+{
+    // send an event that throws
+    TestObject obj;
+    ThrowEvent throwEvent;
+    try {
+        qApp->sendEvent(&obj, &throwEvent);
+    } catch (IntEx code) {
+        QCOMPARE(code.ex, 1);
+    }
+    QCOMPARE(obj.throwEventCount, 1);
+
+    // post an event that throws
+    qApp->postEvent(&obj, new ThrowEvent);
+
+    try {
+        qApp->processEvents();
+    } catch (IntEx code) {
+        QCOMPARE(code.ex, 2);
+    }
+    QCOMPARE(obj.throwEventCount, 2);
+
+    // post a normal event, then a throwing event, then a normal event
+    // run this in valgrind to ensure that it doesn't leak.
+
+    qApp->postEvent(&obj, new NoThrowEvent);
+    qApp->postEvent(&obj, new ThrowEvent);
+    qApp->postEvent(&obj, new NoThrowEvent);
+
+    try {
+        qApp->processEvents();
+    } catch (IntEx code) {
+        QCOMPARE(code.ex, 3);
+    }
+    // here, we should have received on non-throwing event and one throwing one
+    QCOMPARE(obj.throwEventCount, 3);
+#ifndef __SYMBIAN32__
+    // symbian event loops will have absorbed the exceptions
+    QCOMPARE(obj.noThrowEventCount, 1);
+#endif
+
+    // spin the event loop again
+    qApp->processEvents();
+
+    // now, we should have received the second non-throwing event
+    QCOMPARE(obj.noThrowEventCount, 2);
+}
+
+void tst_ExceptionSafety::exceptionSignalSlot()
+{
+    Emitter e;
+    ExceptionThrower thrower;
+    Receiver r1;
+    Receiver r2;
+
+    // connect a signal to a normal object, a thrower and a normal object again
+    connect(&e, SIGNAL(testSignal()), &r1, SLOT(receiver()));
+    connect(&e, SIGNAL(testSignal()), &thrower, SLOT(thrower()));
+    connect(&e, SIGNAL(testSignal()), &r2, SLOT(receiver()));
+
+    int code = 0;
+    try {
+        e.emitTestSignal();
+    } catch (int c) {
+        code = c;
+    }
+
+    // 5 is the magic number that's thrown by thrower
+    QCOMPARE(code, 5);
+
+    // assumption: slots are called in the connection order
+    QCOMPARE(r1.received, 1);
+    QCOMPARE(r2.received, 0);
+}
+#endif
+
+QTEST_MAIN(tst_ExceptionSafety)
+#include "tst_exceptionsafety.moc"
+#endif // QT_NO_EXCEPTIONS