141. More Type and generics

ראינו פעם שעברה כיצד ניתן להזריק לType גנרי פרמטרים גנריים.

לפעמים אנחנו מעוניינים לעשות להפך – יש לנו Type גנרי שהוזרקו אליו הפרמטרים, ואנחנו מעוניינים לקבל את הטיפוס הגנרי (ללא הפרמטרים הגנריים המוזרקים), או לחלופין לקבל את הפרמטרים הגנריים המוזרקים.

כדי להשיג את הType הגנרי ללא הפרמטרים הגנריים המוזרקים, נוכל להשתמש בפונקציהGetGenericTypeDefinition:

Type closedDictionaryType = typeof (Dictionary<string,int>);
Type unboundDictionaryType = closedDictionaryType.GetGenericTypeDefinition(); // typeof(Dictionary<,>)

כדי לחלץ את הארגומנטים הגנריים נוכל להשתמש בפונקציה GetGenericArguments המחזירה לנו מערך של הארגומנטים הגנריים:

Type[] genericArguments = closedDictionaryType.GetGenericArguments();
// new[] {typeof (string), typeof (int)}

אם נשתמש GetGenericArguments על טיפוס שהוא Unbound, נקבל את הפרמטרים "הגנריים":

Type[] genericArguments = unboundDictionaryType.GetGenericArguments();

foreach (Type genericArgument in genericArguments)
{
    Console.WriteLine(genericArgument);
}
// Prints:
// TKey
// TValue

הבעיה עם הפונקציות האלה היא שאם נקרא להן על טיפוס שאינו גנרי, נקבל Exception.

נוכל למנוע זאת ע"י בדיקה האם הטיפוס הנתון הוא גנרי:

הProperty ששמו IsGenericType מציין האם הטיפוס הנתון הוא גנרי (בין אם הוא closed ובין אם הוא unbound)

if (closedDictionaryType.IsGenericType)
{
    // True
}

if (unboundDictionaryType.IsGenericType)
{
    // True
}

if (typeof(string).IsGenericType)
{
    // False
}

יש גם Property בשם IsGenericTypeDefinition שמציין האם הטיפוס הנתון הוא unbound:

if (closedDictionaryType.IsGenericTypeDefinition)
{
    // False
}

if (unboundDictionaryType.IsGenericTypeDefinition)
{
    // True
}

if (typeof(string).IsGenericTypeDefinition)
{
    // False
}

בנוסף, נוכל לראות האם טיפוס מסוים הוא פרמטר גנרי (כמו שראינו למעלה):

Type keyType =
    unboundDictionaryType.GetGenericArguments()[0];

if (keyType.IsGenericParameter)
{
    // True
}

לבסוף, נוכל לראות את הConstraintים שיש על הטיפוסים הגנריים:

למשל, נניח שיש לנו מחלקה כזו:

public class Contrainted<T> where T : IComparable
{
}

(ראו גם טיפ מספר 29,30)

אז הקוד הבא ידפיס

Type comparableType = typeof (Contrainted<>);

Type firstGenericType =
    comparableType.GetGenericArguments()[0];

Type[] constraints =
    firstGenericType.GetGenericParameterConstraints();

foreach (Type constraint in constraints)
{
    Console.WriteLine(constraint);
}
// typeof(IComparable)

ראו גם טיפ מספר 317

שיהיה שבוע טיפוסי טוב