Changeset 382 in dev for trunk/abdev/BasicCompiler_Common/src

Timestamp:

Jan 2, 2008, 12:50:34 AM (16 years ago)

Author:

dai_9181

Message:

ジェネリクスインターフェイス実装時のオーバーロード解決ロジックを改良。（型パラメータを戻り値に持つメソッドのオーバーロードをミスしてしまうバグを修正）

Location:

trunk/abdev/BasicCompiler_Common/src

Files:

• Class.cpp (modified) (5 diffs)
• Method.cpp (modified) (2 diffs)
• Procedure.cpp (modified) (1 diff)

trunk/abdev/BasicCompiler_Common/src/Class.cpp

@@ -340 +340 @@
     BOOST_FOREACH( CMethod *pMethod, GetDynamicMethods() )
     {
-        CMethod *pMethodForOverride = pDestInterface->GetDynamicMethods().FindForOverride( &pMethod->GetUserProc() );
+        CMethod *pMethodForOverride = pDestInterface->GetDynamicMethods().FindForOverride( pDestInterface->GetActualTypeParameters(), &pMethod->GetUserProc() );
         if( pMethodForOverride )
         {
@@ -524 +524 @@
         if( pMethod->GetInheritsClassPtr() ) continue;
 
-        if( pMethod->GetUserProc().IsEqualForOverride( pUserProc ) )
+        if( pMethod->GetUserProc().IsEqualForOverride( pobj_c->GetSuperClassActualTypeParameters(), pUserProc ) )
         {
             //関数名、パラメータ、戻り値が合致したとき
@@ -536 +536 @@
 
     // メソッドのオーバーライド
-    CMethod *pMethodForOverride = pobj_c->GetDynamicMethods().FindForOverride( pUserProc );
+    CMethod *pMethodForOverride = pobj_c->GetDynamicMethods().FindForOverride( pobj_c->GetSuperClassActualTypeParameters(), pUserProc );
     if( pMethodForOverride )
     {
@@ -545 +545 @@
     else
     {
+    
+        if( pUserProc->GetName() == "GenericProc" )
+        {
+            int test=0;
+        }
+
         // インターフェイス メソッドのオーバーライド
         BOOST_FOREACH( ::Interface *pInterface, pobj_c->GetInterfaces() )
@@ -562 +568 @@
             }
 
-            CMethod *pMethodForOverride = pInterface->GetDynamicMethods().FindForOverride( pUserProc );
+            CMethod *pMethodForOverride = pInterface->GetDynamicMethods().FindForOverride( pInterface->GetActualTypeParameters(), pUserProc );
             if( pMethodForOverride )
             {

trunk/abdev/BasicCompiler_Common/src/Method.cpp

@@ -71 +71 @@
 }
 
-CMethod *Methods::FindForOverride( const UserProc *pUserProc )
+CMethod *Methods::FindForOverride( const Types &actualTypeParametersForThisMethods, const UserProc *pUserProc )
 {
     //メソッドのオーバーライド
@@ -77 +77 @@
     BOOST_FOREACH( CMethod *pMethod, methods )
     {
-        if( !pMethod->IsNotUse() && pMethod->GetUserProc().IsEqualForOverride( pUserProc ) )
+        if( !pMethod->IsNotUse() && pMethod->GetUserProc().IsEqualForOverride( actualTypeParametersForThisMethods, pUserProc ) )
         {
             return pMethod;

trunk/abdev/BasicCompiler_Common/src/Procedure.cpp

@@ -16 +16 @@
 #endif
 
+
+bool UserProc::IsEqualForOverride( const Types &actualTypeParametersForThisProc, const UserProc *pUserProc ) const
+{
+    if( this->GetName() == pUserProc->GetName()                     // 名前空間及び名前が等しい
+        && this->Params().Equals( pUserProc->Params() ) )           // パラメータが等しい
+    {
+        if( this->returnType.Equals( pUserProc->returnType ) )
+        {
+            // 戻り値が等しい
+            return true;
+        }
+
+        if( this->returnType.IsTypeParameter() )
+        {
+            // 型パラメータだったとき
+            if( actualTypeParametersForThisProc[this->returnType.GetFormalTypeIndex()].Equals( pUserProc->returnType ) )
+            {
+                // 戻り値が等しい
+                return true;
+            }
+        }
+    }
+    return false;
+}
+    
 
 std::string UserProc::GetFullName() const