Changeset 382 in dev for trunk/abdev/BasicCompiler_Common

Timestamp:

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

Author:

dai_9181

Message:

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

Location:

trunk/abdev/BasicCompiler_Common

Files:

• include/Class.h (modified) (2 diffs)
• include/Member.h (modified) (1 diff)
• include/Method.h (modified) (1 diff)
• include/Procedure.h (modified) (2 diffs)
• src/Class.cpp (modified) (5 diffs)
• src/Method.cpp (modified) (2 diffs)
• src/Procedure.cpp (modified) (1 diff)

trunk/abdev/BasicCompiler_Common/include/Class.h

@@ -4 +4 @@
 #include <Program.h>
 #include <Prototype.h>
+#include <Type.h>
 #include <Method.h>
 #include <Member.h>
@@ -148 +149 @@
     GenericTypes formalGenericTypes;
 
-    // 継承クラス
+    // 基底クラス
     const CClass *pSuperClass;
 
-    // 継承クラスの型パラメータ（実パラメータ）
+    // 基底クラスの型パラメータ（実パラメータ）
     Types superClassActualTypeParameters;
 

trunk/abdev/BasicCompiler_Common/include/Member.h

@@ -7 +7 @@
 #include <Program.h>
 #include <Prototype.h>
-#include <Type.h>
 
 using namespace std;

trunk/abdev/BasicCompiler_Common/include/Method.h

@@ -230 +230 @@
     void AddStatic(UserProc *pUserProc,Prototype::Accessibility accessibility);
 
-    // オーバーライドのための検索
-    CMethod *FindForOverride( const UserProc *pUserProc );
+    /*!
+    @brief  オーバーライドのための検索
+    @param  actualTypeParametersForThisMethods thisオブジェクトで保有するメソッド群を対象とした実型パラメータ
+            pUserProc 照らし合わせる関数
+    */
+    CMethod *FindForOverride( const Types &actualTypeParametersForThisMethods, const UserProc *pUserProc );
 
     const CMethod *GetMethodPtr( const UserProc *pUserProc ) const;

trunk/abdev/BasicCompiler_Common/include/Procedure.h

@@ -5 +5 @@
 #include <Program.h>
 #include <Class.h>
-#include <Method.h>
 #include <Procedure.h>
 #include <Parameter.h>
@@ -225 +224 @@
     }
 
-    // オーバーライド用に関数同士が等しいかどうかをチェックする
-    bool IsEqualForOverride( const UserProc *pUserProc ) const
-    {
-        if( this->GetName() == pUserProc->GetName()                     // 名前空間及び名前が等しい
-            && this->Params().Equals( pUserProc->Params() )             // パラメータが等しい
-            && this->returnType.Equals( pUserProc->returnType ) )       // 戻り値が等しい
-        {
-            return true;
-        }
-        return false;
-    }
+    /*!
+    @brief  オーバーライド用に関数同士が等しいかどうかをチェックする
+    @param  actualTypeParametersForThisProc thisオブジェクトで保有するメソッドを対象とした実型パラメータ
+            pUserProc 照らし合わせる関数
+    */
+    bool IsEqualForOverride( const Types &actualTypeParametersForThisProc, const UserProc *pUserProc ) const;
 
     bool IsMacro() const

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