view tests/mini/typeinfo10.d @ 1404:11b122f92136

Now that templates instantiations are no longer emitted for all modules that even blink at them they seem to break due to being linkonce (if compiled with any optimization level > 0), so let's give them weak linkage instead. The difference is that unreferenced linkonce symbols can be deleted, while weak symbols need to be preserved.
author Frits van Bommel <fvbommel wxs.nl>
date Thu, 21 May 2009 15:23:28 +0200
parents 1bb99290e03a
children 0a5f7890f327
line wrap: on
line source

module typeinfo10;

struct S
{
    long l;
    float f;
    void* vp;

    hash_t toHash()
    {
        return l + cast(size_t)f;
    }

    int opEquals(S s)
    {
        return (s.l == l) && (s.f == f);
    }

    int opCmp(S a)
    {
        if (l == a.l) {
            return (f < a.f) ? -1 : (f > a.f) ? 1 : 0;
        }
        return (l < a.l) ? -1 : 1;
    }

    char[] toString()
    {
        return "S instance";
    }
}

void main()
{
    S s=S(-1, 0);
    S t=S(-1, 1);
    S u=S(11,-1);
    S v=S(12,13);

    {
        assert(s == s);
        assert(s != t);
        assert(s != v);
        assert(s < t);
        assert(u > s);
        assert(v > u);
    }

    {
        auto ti = typeid(S);
        assert(ti.getHash(&s) == s.toHash());
        assert(ti.equals(&s,&s));
        assert(!ti.equals(&s,&t));
        assert(!ti.equals(&s,&v));
        assert(ti.compare(&s,&s) == 0);
        assert(ti.compare(&s,&t) < 0);
        assert(ti.compare(&u,&s) > 0);
        assert(ti.compare(&v,&u) > 0);
        {
            auto tis = cast(TypeInfo_Struct)ti;
            assert(tis.xtoString(&s) == s.toString());
        }
    }
}