[Issue 5359] std.traits : isDelegate returns false on a delegate

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=5359


Max Samukha <samukha at voliacable.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |samukha at voliacable.com


--- Comment #2 from Max Samukha <samukha at voliacable.com> 2010-12-20 04:28:28 PST ---
I am sure that using homonym templates for testing types and expressions is a
bad idea. It results in some syntactic compression but at the same time brings
lots of confusion. There should be two distinct templates. Something like this:

template isExpression(alias expression)
{
    enum isExpression = is(typeof(expression));
}

template isDelegate(alias expression) if (isExpression!expression)
{
    enum isDelegate = isDelegateType!(typeof(expression));
}

template isDelegateType(T)
{
    static enum isDelegateType = is(T == delegate);
}

template isFunctionPointer(alias expression) if (isExpression!expression)
{
    enum isFunctionPointer = isFunctionPointerType!(typeof(expression));
}

template isFunctionPointerType(T)
{
    static if (__traits(compiles, *T.init))
        enum isFunctionPointerType = isFunctionType!(typeof((*T.init)));
    else
        enum isFunctionPointerType = false;
}

template isFunctionType(T)
{
    enum isFunctionType = is(T == function);
}

unittest
{
    alias void delegate() Dg;
    Dg dg;
    alias void function() Fn;
    Fn fn;

    static void foo()
    {
    }

    static assert(isDelegate!dg);    
    static assert(isDelegateType!Dg);
    static assert(!__traits(compiles, isDelegate!Dg));
    static assert(!isDelegateType!Fn);    

    static assert(isFunctionPointer!fn);
    static assert(!__traits(compiles, isFunctionPointer!Fn));
    static assert(!isFunctionType!Fn);

    static assert(isFunctionPointerType!Fn);
    static assert(!isFunctionPointerType!Dg);

    static assert(isFunctionType!(typeof(*&foo)));
    static assert(!isFunctionType!Fn);
    static assert(!isFunctionType!Dg);
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------