Changeset 424 in dev for trunk/abdev/BasicCompiler_Common/src/Type.cpp

Timestamp:

Mar 10, 2008, 5:39:36 PM (16 years ago)

Author:

dai_9181

Message:

・ジェネリックな型をパラメータに持つメソッドのオーバーロード解決に対応した。
・型パラメータの制約クラス指定に対応した。

File:

• trunk/abdev/BasicCompiler_Common/src/Type.cpp (modified) (1 diff)

trunk/abdev/BasicCompiler_Common/src/Type.cpp

@@ -541 +541 @@
 void ResolveFormalGenericTypeParameter( Type &typeParameter, const Type &classType, const UserProc *pUserProc )
 {
+    if( !typeParameter.IsTypeParameter() )
+    {
+        // ジェネリックな型ではなかったとき
+        return;
+    }
+
     /////////////////////////////////////////////////////////
     // ☆★☆ ジェネリクスサポート ☆★☆
 
+    // ポインタレベルを抽出
+    int ptrLevel = PTR_LEVEL( typeParameter.GetBasicType() );
+
+    if( pUserProc )
+    {
+        if( classType.IsObject() )
+        {
+            // 基底クラスでの自己解決
+            const CClass *pClass = &classType.GetClass();
+            while( pClass->HasSuperClass() )
+            {
+                if( pUserProc->GetParentClassPtr() == &pClass->GetSuperClass() )
+                {
+                    if( pClass->GetSuperClassActualTypeParameters().size() )
+                    {
+                        // TODO: 適切な形に実装し直す（暫定的にトップの型を持ってきている）
+                        typeParameter = pClass->GetSuperClassActualTypeParameters()[0];
+                    }
+                }
+                pClass = &pClass->GetSuperClass();
+            }
+        }
+    }
+
     if( typeParameter.IsTypeParameter() )
     {
-        // 型パラメータだったとき
-
-        // ポインタレベルを抽出
-        int ptrLevel = PTR_LEVEL( typeParameter.GetBasicType() );
-
-        if( pUserProc )
+        if( classType.HasActualGenericType() )
         {
-            if( classType.IsObject() )
-            {
-                // 基底クラスでの自己解決
-                const CClass *pClass = &classType.GetClass();
-                while( pClass->HasSuperClass() )
-                {
-                    if( pUserProc->GetParentClassPtr() == &pClass->GetSuperClass() )
-                    {
-                        if( pClass->GetSuperClassActualTypeParameters().size() )
-                        {
-                            // TODO: 適切な形に実装し直す（暫定的にトップの型を持ってきている）
-                            typeParameter = pClass->GetSuperClassActualTypeParameters()[0];
-                        }
-                    }
-                    pClass = &pClass->GetSuperClass();
-                }
-            }
-        }
-
-        if( typeParameter.IsTypeParameter() )
+            typeParameter = classType.GetActualGenericType( typeParameter.GetFormalTypeIndex() );
+        }
+        else
         {
-            if( classType.HasActualGenericType() )
-            {
-                typeParameter = classType.GetActualGenericType( typeParameter.GetFormalTypeIndex() );
-            }
-            else
-            {
-                // TODO: ベースオブジェクト（指定されていないときはObjectクラス）にセットする
-                typeParameter.SetBasicType( DEF_OBJECT );
-            }
-        }
-
-        for( int i=0; i<ptrLevel; i++ )
-        {
-            typeParameter.PtrLevelUp();
-        }
+            // 制約クラス（指定されていないときはObjectクラス）にセットする
+            typeParameter.SetBasicType( DEF_OBJECT );
+        }
+    }
+
+    for( int i=0; i<ptrLevel; i++ )
+    {
+        typeParameter.PtrLevelUp();
     }