/****************************************************************************

**

** Copyright (C) 2010 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 <QtCore/QtCore>

#include <QtTest/QtTest>

#include <algorithm>

#define BASECLASS_NOT_ABSTRACT

#include "baseclass.h"

#include "derivedclass.h"

QT_USE_NAMESPACE

class tst_Compiler : public QObject

{

Q_OBJECT

private slots:

    void template_methods();

    void template_constructors();

    void template_subclasses();

    void methodSpecialization();

    void constructorSpecialization();

    void staticTemplateMethods();

    void staticTemplateMethodSpecialization();

    void detectDataStream();

    void detectEnums();

    void overrideCFunction();

    void stdSortQList();

    void stdSortQVector();

    void templateCallOrder();

    void virtualFunctionNoLongerPureVirtual();

    void charSignedness() const;

    void privateStaticTemplateMember() const;

    void staticConstUnionWithInitializerList() const;

};

#if defined(Q_CC_MSVC) && _MSC_VER < 1300

#define MSVC6

#endif

#if defined(Q_CC_MSVC) && _MSC_VER == 1300

#define MSVC2002

#endif

#if defined(MSVC6)

# define DONT_TEST_TEMPLATE_METHODS

# define DONT_TEST_TEMPLATE_CONSTRUCTORS

# define DONT_TEST_METHOD_SPECIALIZATION

# define DONT_TEST_CONSTRUCTOR_SPECIALIZATION

# define DONT_TEST_STATIC_TEMPLATE_METHODS

# define DONT_TEST_STATIC_TEMPLATE_METHOD_SPECIALIZATION

# define DONT_TEST_STL_SORTING

# define DONT_TEST_SIGNEDNESS

#endif

#if defined(MSVC2002)

# define DONT_TEST_TEMPLATE_METHODS

# define DONT_TEST_DETECT_ENUMS

# define DONT_TEST_METHOD_SPECIALIZATION

# define DONT_TEST_CONSTRUCTOR_SPECIALIZATION

# define DONT_TEST_STATIC_TEMPLATE_METHOD_SPECIALIZATION

# define DONT_TEST_STL_SORTING

#endif

#if defined(Q_CC_HPACC)

# define DONT_TEST_TEMPLATE_CONSTRUCTORS

# define DONT_TEST_CONSTRUCTOR_SPECIALIZATION

# define DONT_TEST_DATASTREAM_DETECTION

#endif

#if defined(Q_CC_SUN)

# define DONT_TEST_STL_SORTING

#endif

#ifndef DONT_TEST_TEMPLATE_METHODS

class TemplateMethodClass

{

public:

    template <class T>

    T foo() { return 42; }

};

void tst_Compiler::template_methods()

{

    TemplateMethodClass t;

    QCOMPARE(t.foo<int>(), 42);

    QCOMPARE(t.foo<long>(), 42l);

    QCOMPARE(t.foo<double>(), 42.0);

}

#else

void tst_Compiler::template_methods()

{ QSKIP("Compiler doesn't do template methods", SkipAll); }

#endif

#ifndef DONT_TEST_TEMPLATE_CONSTRUCTORS

class TemplateConstructorClass

{

public:

    template <class T>

    TemplateConstructorClass(const T& t) { i = int(t); }

    int i;

};

void tst_Compiler::template_constructors()

{

    TemplateConstructorClass t1(42);

    TemplateConstructorClass t2(42l);

    TemplateConstructorClass t3(42.0);

    QCOMPARE(t1.i, 42);

    QCOMPARE(t2.i, 42);

    QCOMPARE(t3.i, 42);

}

#else

void tst_Compiler::template_constructors()

{ QSKIP("Compiler doesn't do template constructors", SkipAll); }

#endif

template <typename T>

struct OuterClass

{

    template <typename U>

    struct InnerClass

    {

        U convert(const T &t) { return static_cast<U>(t); }

    };

};

void tst_Compiler::template_subclasses()

{

    OuterClass<char>::InnerClass<int> c1;

    QCOMPARE(c1.convert('a'), int('a'));

    OuterClass<QRect>::InnerClass<QRectF> c2;

    QCOMPARE(c2.convert(QRect(1, 2, 3, 4)), QRectF(QRect(1, 2, 3, 4)));

}

#ifndef DONT_TEST_METHOD_SPECIALIZATION

class TemplateMethodClass2

{

public:

    template <class T>

    T foo() { return 42; }

};

template<>

int TemplateMethodClass2::foo<int>()

{ return 43; }

void tst_Compiler::methodSpecialization()

{

    TemplateMethodClass2 t;

    QCOMPARE(t.foo<int>(), 43);

    QCOMPARE(t.foo<long>(), 42l);

    QCOMPARE(t.foo<double>(), 42.0);

}

#else

void tst_Compiler::methodSpecialization()

{ QSKIP("Compiler doesn't do template specialization", SkipAll); }

#endif

#ifndef DONT_TEST_CONSTRUCTOR_SPECIALIZATION

class TemplateConstructorClass2

{

public:

    template <class T>

    TemplateConstructorClass2(const T &t) { i = int(t); }

    int i;

};

template<>

TemplateConstructorClass2::TemplateConstructorClass2(const int &t) { i = t + 1; }

void tst_Compiler::constructorSpecialization()

{

    TemplateConstructorClass2 t1(42);

    TemplateConstructorClass2 t2(42l);

    TemplateConstructorClass2 t3(42.0);

    QCOMPARE(t1.i, 43);

    QCOMPARE(t2.i, 42);

    QCOMPARE(t3.i, 42);

}

#else

void tst_Compiler::constructorSpecialization()

{ QSKIP("Compiler doesn't do constructor specialization", SkipAll); }

#endif

#ifndef DONT_TEST_STATIC_TEMPLATE_METHODS

class StaticTemplateClass

{

public:

    template <class T>

    static T foo() { return 42; }

};

void tst_Compiler::staticTemplateMethods()

{

    QCOMPARE(StaticTemplateClass::foo<int>(), 42);

    QCOMPARE(StaticTemplateClass::foo<uint>(), 42u);

}

#else

void tst_Compiler::staticTemplateMethods()

{ QSKIP("Compiler doesn't do static template methods", SkipAll); }

#endif

#ifndef DONT_TEST_STATIC_TEMPLATE_METHOD_SPECIALIZATION

class StaticTemplateClass2

{

public:

    template <class T>

    static T foo() { return 42; }

};

template<>

double StaticTemplateClass2::foo<double>() { return 18.5; }

void tst_Compiler::staticTemplateMethodSpecialization()

{

    QCOMPARE(StaticTemplateClass2::foo<int>(), 42);

    QCOMPARE(StaticTemplateClass2::foo<uint>(), 42u);

    QCOMPARE(StaticTemplateClass2::foo<double>(), 18.5);

}

#else

void tst_Compiler::staticTemplateMethodSpecialization()

{ QSKIP("Compiler doesn't do static template method specialization", SkipAll); }

#endif

#ifndef DONT_TEST_DATASTREAM_DETECTION

/******* DataStream tester *********/

namespace QtTestInternal

{

    struct EmptyStruct {};

    struct LowPreferenceStruct { LowPreferenceStruct(...); };

    EmptyStruct operator<<(QDataStream &, const LowPreferenceStruct &);

    EmptyStruct operator>>(QDataStream &, const LowPreferenceStruct &);

    template<typename T>

    struct DataStreamChecker

    {

        static EmptyStruct hasStreamHelper(const EmptyStruct &);

        static QDataStream hasStreamHelper(const QDataStream &);

        static QDataStream &dsDummy();

        static T &dummy();

#ifdef BROKEN_COMPILER

        static const bool HasDataStream =

            sizeof(hasStreamHelper(dsDummy() << dummy())) == sizeof(QDataStream)

            && sizeof(hasStreamHelper(dsDummy() >> dummy())) == sizeof(QDataStream);

#else

        enum {

            HasOutDataStream = sizeof(hasStreamHelper(dsDummy() >> dummy())) == sizeof(QDataStream),

            HasInDataStream = sizeof(hasStreamHelper(dsDummy() << dummy())) == sizeof(QDataStream),

            HasDataStream = HasOutDataStream & HasInDataStream

        };

#endif

    };

    template<bool>

    struct DataStreamOpHelper

    {

        template <typename T>

        struct Getter {

            static QMetaType::SaveOperator saveOp() { return 0; }

        };

    };

    template<>

    struct DataStreamOpHelper<true>

    {

        template <typename T>

        struct Getter {

            static QMetaType::SaveOperator saveOp()

            {

                typedef void(*SavePtr)(QDataStream &, const T *);

                SavePtr op = ::qMetaTypeSaveHelper<T>;

                return reinterpret_cast<QMetaType::SaveOperator>(op);

            }

        };

    };

    template<typename T>

    inline QMetaType::SaveOperator getSaveOperator(T * = 0)

    {

        typedef typename DataStreamOpHelper<DataStreamChecker<T>::HasDataStream>::template Getter<T> GetterHelper;

        return GetterHelper::saveOp();

    }

};

struct MyString: public QString {};

struct Qxxx {};

void tst_Compiler::detectDataStream()

{

    QVERIFY(QtTestInternal::DataStreamChecker<int>::HasDataStream == true);

    QVERIFY(QtTestInternal::DataStreamChecker<uint>::HasDataStream == true);

    QVERIFY(QtTestInternal::DataStreamChecker<char *>::HasDataStream == true);

    QVERIFY(QtTestInternal::DataStreamChecker<const int>::HasInDataStream == true);

    QVERIFY(QtTestInternal::DataStreamChecker<const int>::HasOutDataStream == false);

    QVERIFY(QtTestInternal::DataStreamChecker<const int>::HasDataStream == false);

    QVERIFY(QtTestInternal::DataStreamChecker<double>::HasDataStream == true);

    QVERIFY(QtTestInternal::DataStreamChecker<QString>::HasDataStream == true);

    QVERIFY(QtTestInternal::DataStreamChecker<MyString>::HasDataStream == true);

    QVERIFY(QtTestInternal::DataStreamChecker<Qxxx>::HasDataStream == false);

    QVERIFY(QtTestInternal::getSaveOperator<int>() != 0);

    QVERIFY(QtTestInternal::getSaveOperator<uint>() != 0);

    QVERIFY(QtTestInternal::getSaveOperator<char *>() != 0);

    QVERIFY(QtTestInternal::getSaveOperator<double>() != 0);

    QVERIFY(QtTestInternal::getSaveOperator<QString>() != 0);

    QVERIFY(QtTestInternal::getSaveOperator<MyString>() != 0);

    QVERIFY(QtTestInternal::getSaveOperator<Qxxx>() == 0);

}

#else

void tst_Compiler::detectDataStream()

{ QSKIP("Compiler doesn't evaluate templates correctly", SkipAll); }

#endif

#ifndef DONT_TEST_DETECT_ENUMS

enum Enum1 { Foo = 0, Bar = 1 };

enum Enum2 {};

enum Enum3 { Something = 1 };

template <typename T> char QTypeInfoEnumHelper(T);

template <typename T> void *QTypeInfoEnumHelper(...);

#if defined(MSVC6)

template <int>

struct QTestTypeInfoHelper

{

    enum { IsE = 0 };

};

template <>

struct QTestTypeInfoHelper<sizeof(void *)>

{

    enum { IsE = 1 };

};

template <typename T>

struct QTestTypeInfo

{

    typedef typename QTestTypeInfoHelper<sizeof(QTypeInfoEnumHelper<T>(0))> TIHelper;

    enum { IsEnum = TIHelper::IsE };

};

#else

template <typename T>

struct QTestTypeInfo

{

    enum { IsEnum = sizeof(QTypeInfoEnumHelper<T>(0)) == sizeof(void*) };

};

#endif

void tst_Compiler::detectEnums()

{

    QVERIFY(QTestTypeInfo<Enum1>::IsEnum);

    QVERIFY(QTestTypeInfo<Enum2>::IsEnum);

    QVERIFY(QTestTypeInfo<Enum3>::IsEnum);

    QVERIFY(!QTestTypeInfo<int>::IsEnum);

    QVERIFY(!QTestTypeInfo<char>::IsEnum);

    QVERIFY(!QTestTypeInfo<uint>::IsEnum);

    QVERIFY(!QTestTypeInfo<short>::IsEnum);

    QVERIFY(!QTestTypeInfo<ushort>::IsEnum);

    QVERIFY(!QTestTypeInfo<void*>::IsEnum);

    QVERIFY(!QTestTypeInfo<QString>::IsEnum);

    QVERIFY(QTestTypeInfo<Qt::Key>::IsEnum);

    QVERIFY(QTestTypeInfo<Qt::ToolBarArea>::IsEnum);

    QVERIFY(!QTestTypeInfo<Qt::ToolBarAreas>::IsEnum);

    QVERIFY(QTestTypeInfo<Qt::MatchFlag>::IsEnum);

    QVERIFY(!QTestTypeInfo<Qt::MatchFlags>::IsEnum);

}

#else

void tst_Compiler::detectEnums()

{ QSKIP("Compiler doesn't evaluate templates correctly", SkipAll); }

#endif

static int indicator = 0;

// this is a silly C function

extern "C" {

    void someCFunc(void *) { indicator = 42; }

}

// this is the catch-template that will be called if the C function doesn't exist

template <typename T>

void someCFunc(T *) { indicator = 10; }

void tst_Compiler::overrideCFunction()

{

    someCFunc((void*)0);

    QCOMPARE(indicator, 42);

}

#ifndef DONT_TEST_STL_SORTING

void tst_Compiler::stdSortQList()

{

    QList<int> list;

    list << 4 << 2;

    std::sort(list.begin(), list.end());

    QCOMPARE(list.value(0), 2);

    QCOMPARE(list.value(1), 4);

    QList<QString> slist;

    slist << "b" << "a";

    std::sort(slist.begin(), slist.end());

    QCOMPARE(slist.value(0), QString("a"));

    QCOMPARE(slist.value(1), QString("b"));

}

void tst_Compiler::stdSortQVector()

{

    QVector<int> vector;

    vector << 4 << 2;

    std::sort(vector.begin(), vector.end());

    QCOMPARE(vector.value(0), 2);

    QCOMPARE(vector.value(1), 4);

    QVector<QString> strvec;

    strvec << "b" << "a";

    std::sort(strvec.begin(), strvec.end());

    QCOMPARE(strvec.value(0), QString("a"));

    QCOMPARE(strvec.value(1), QString("b"));

}

#else

void tst_Compiler::stdSortQList()

{ QSKIP("Compiler's STL broken", SkipAll); }

void tst_Compiler::stdSortQVector()

{ QSKIP("Compiler's STL broken", SkipAll); }

#endif

// the C func will set it to 1, the template to 2

static int whatWasCalled = 0;

void callOrderFunc(void *)

{

    whatWasCalled = 1;

}

template <typename T>

void callOrderFunc(T *)

{

    whatWasCalled = 2;

}

template <typename T>

void callOrderNoCFunc(T *)

{

    whatWasCalled = 3;

}

/*

   This test will check what will get precendence - the C function

   or the template.

   It also makes sure this template "override" will compile on all systems

   and not result in ambiguities.

*/

void tst_Compiler::templateCallOrder()

{

    QCOMPARE(whatWasCalled, 0);

    // call it with a void *

    void *f = 0;

    callOrderFunc(f);

    QCOMPARE(whatWasCalled, 1);

    whatWasCalled = 0;

    char *c = 0;

    /* call it with a char * - AMBIGOUS, fails on several compilers

    callOrderFunc(c);

    QCOMPARE(whatWasCalled, 1);

    whatWasCalled = 0;

    */

    // now try the case when there is no C function

    callOrderNoCFunc(f);

    QCOMPARE(whatWasCalled, 3);

    whatWasCalled = 0;