[sv-ec] classes questions

I have a few questions related to classes.
 
Should default class specializations be elaborated. or not? If a default
class exists, should I be able to 
look at the value of its static members?
 
Should the content of a generic class be legal. For example, the class
could have a parameter that is a type parameter.
That type parameter could have a default of logic. Can you use the type
parameter to declare a object and then
use some syntax that is not valid if the type is logic but will be valid
for all class specializations?
 
For ex:
 
class C #( parameter type t = logic);
T m1;
task t;
 begin
    m1.a = 0;
 end
endtask
endclass
 
However if I create a specialization of that class as:
typedef struct {logic a, b} ustruct;
C#( ustruct ) ch;
 
 
Can you refer to a covergroup declared inside a class using the
scope_operator?
 
Francoise
       '