Changeset 140 in dev for BasicCompiler_Common/ParamImpl.cpp

Timestamp:

Jun 15, 2007, 4:00:25 AM (17 years ago)

Author:

dai_9181

Message:

traceログ機能を搭載
動的メンバをstl::vectorにまとめた
シンボルをクラス化した

File:

• BasicCompiler_Common/ParamImpl.cpp (modified) (5 diffs)

BasicCompiler_Common/ParamImpl.cpp

@@ -98 +98 @@
 }
 
-bool ParamImpl::_overload_check( int level, const Parameters &targetParms, const Type &targetResultType ){
+bool ParamImpl::EvaluateOverloadScore( int level, const Parameters &targetParms, const Type &targetResultType ){
     //パラメータを識別してオーバーロードを解決
 
@@ -153 +153 @@
                         return false;
                 }
+                if( argType.IsPointer() || param.IsPointer() )
+                {
+                    // ポインタ型の不整合は認めない
+                    return false;
+                }
             }
             else if(level==OVERLOAD_LEVEL6){
@@ -190 +195 @@
 }
 
-UserProc *ParamImpl::OverloadSolutionWithReturnType( const char *name, std::vector<UserProc *> &subs ){
-    int sw=0;
-    UserProc *pUserProc = NULL;
-
-    for( int level=OVERLOAD_MIN_LEVEL; level<=OVERLOAD_MAX_LEVEL; level++ ){
-        foreach( UserProc *pTempUserProc, subs ){
-
-            //エラーチェック
-            if(_overload_check( level, pTempUserProc->Params(), pTempUserProc->ReturnType() )){
-                if(sw){
-                    SetError(52,name,cp);
-                    return 0;
-                }
-                sw=1;
-
-                pUserProc = pTempUserProc;
-            }
-        }
-
-        if( sw ) break;
-    }
-
-    if(!sw){
-        SetError(52,name,cp);
-        return 0;
-    }
-
-    return pUserProc;
-}
-UserProc *ParamImpl::OverloadSolution( const char *name, std::vector<UserProc *> &subs ){
+UserProc *ParamImpl::_OverloadSolution( const char *name, std::vector<UserProc *> &subs, bool isEnabledReturnType ){
     int sw=0;
     UserProc *pUserProc;
@@ -228 +204 @@
         foreach( UserProc *pTempUserProc, subs ){
 
-            //エラーチェック
-            if(_overload_check( level, pTempUserProc->Params(), Type() )){
+            if(EvaluateOverloadScore( level, pTempUserProc->Params(), isEnabledReturnType?pTempUserProc->ReturnType():Type() )){
+                trace( "レベル" << level <<    " ○適合..." << pTempUserProc->_paramStr );
+
                 if(sw){
-                    return OverloadSolutionWithReturnType(name,subs);
+                    if( isEnabledReturnType ){
+                        SetError(52,name,cp);
+
+                        return 0;
+                    }
+                    else{
+                        // 戻り値も比較するモードにして再びオーバーロード解決を試みる
+
+                        trace( "戻り値も比較するモードに切り替えてオーバーロード解決を試みる" );
+
+                        return OverloadSolution(name,subs, true);
+                    }
                 }
                 sw=1;
 
                 pUserProc = pTempUserProc;
+            }
+            else
+            {
+                trace( "レベル" << level <<    " ×不適合..." << pTempUserProc->_paramStr );
             }
         }
@@ -260 +252 @@
     if(!sw){
         SetError(52,name,cp);
+
         return 0;
     }
 
+
     return pUserProc;
+}
+UserProc *ParamImpl::OverloadSolution( const char *name, std::vector<UserProc *> &subs, bool isEnabledReturnType ){
+    trace( "" );
+    trace( "■■■■■■■■■■■■■■■■■■" );
+    trace( "■■■ オーバーロード解決(" << name << ")" );
+
+    UserProc *result = _OverloadSolution( name, subs, isEnabledReturnType );
+
+    trace( "■■■ ここまで" );
+    trace( "■■■■■■■■■■■■■■■■■■" );
+    trace( "" );
+
+    return result;
 }