Sunday February 26, 2006

Sorry, small improvements only.

Now users of Sun Studio C++ is able to define template friend function in the class body.

% cat test.cc
template 
struct S
{
    typedef T type;

    template 
    friend
    void foo(U p1, S & p2)
    {
        // compiler could not find S and T
        typename S::type v;
        T p;
    }
};

And use dependent template types with nested template arguments (see example below).

struct S
{
    template < class SigArgs >
    struct sig
    {
        typedef typename SigArgs :: head_type type;
    };
};

template 
struct cons
{
    typedef Z head_type;
};

// compiler could not deduce return type
template 
typename T1 :: template sig < cons  > :: type
foo(T1, T2);

void test()
{
    S v;
    int i = foo( v, 1 );
}

• Chris Quenelle
• Douglas Walls
• Roman Shaposhnik
• Sun Studio Wiki
• Vijay Tatkar