Changeset 449 in dev for trunk/ab5.0/abdev/BasicCompiler64

Timestamp:

Mar 22, 2008, 1:56:31 AM (16 years ago)

Author:

dai_9181

Message:

・デリゲートの共変戻り値、反変引数に対応した。
・core.libで定義されたデリゲートがアプリケーションプロジェクトで利用できないバグを修正。

File:

• trunk/ab5.0/abdev/BasicCompiler64/Compile_Func.cpp (modified) (2 diffs)

trunk/ab5.0/abdev/BasicCompiler64/Compile_Func.cpp

@@ -288 +288 @@
 {
     extern int cp;
+
+    const Parameters *pBaseParams = NULL;
+    const Type *pBaseReturnType = NULL;
+    if( baseType.IsProcPtr() )
+    {
+        // 左辺で関数ポインタを要求されているとき
+        const ProcPointer *pTempProcPointer = compiler.GetObjectModule().meta.GetProcPointers()[baseType.GetIndex()];
+        pBaseParams = &pTempProcPointer->Params();
+        pBaseReturnType = &pTempProcPointer->ReturnType();
+    }
+    else if( baseType.IsDelegate() )
+    {
+        // 左辺でデリゲートを要求されているとき
+        const Delegate *pTempDelegate = &baseType.GetClass().GetDelegate();
+        pBaseParams = &pTempDelegate->Params();
+        pBaseReturnType = &pTempDelegate->ReturnType();
+    }
+
     const UserProc *pUserProc;
-
-    const Parameters *pBaseParams = NULL;
-    if( baseType.IsProcPtr() )
-    {
-        // 左辺で関数ポインタを要求されているとき
-        pBaseParams = &compiler.GetObjectModule().meta.GetProcPointers()[baseType.GetIndex()]->Params();
-    }
-    else if( baseType.IsDelegate() )
-    {
-        // 左辺でデリゲートを要求されているとき
-        pBaseParams = &baseType.GetClass().GetDelegate().Params();
-    }
-
-    if( pBaseParams )
+    if( pBaseParams && pBaseReturnType )
     {
         //左辺の型にのっとり、オーバーロードを解決
@@ -316 +321 @@
         pUserProc=OverloadSolution( name, subs, *pBaseParams, Type(), Type() );
 
-        if( isCallOn && baseType.IsDelegate() )
+        if( isCallOn )
         {
             // コード生成を伴う場合はエラーチェックを行う
-            if( !pUserProc->Params().Equals( *pBaseParams )
-                || !pUserProc->ReturnType().Equals( baseType.GetClass().GetDelegate().ReturnType() ) )
+
+            if( baseType.IsDelegate() )
             {
-                if( baseType.IsDelegate() )
+                // デリゲート
+                // 共変戻り値、反変引数をサポート
+                if( !(
+                    pBaseParams->Equals( pUserProc->Params(), true )
+                    && ( pBaseReturnType->Equals( pUserProc->ReturnType() ) || pBaseReturnType->IsCovariant( pUserProc->ReturnType() ) )
+                    ) )
                 {
                     SetError(67, name, cp );
                 }
-                else
+            }
+            else
+            {
+                // 関数ポインタ
+                if( !(
+                    pBaseParams->Equals( pUserProc->Params() )
+                    && pBaseReturnType->Equals( pUserProc->ReturnType() )
+                    ) )
                 {
                     SetError(66, name, cp );