Changeset 720 in dev for trunk

Timestamp:

Aug 14, 2008, 12:46:06 AM (16 years ago)

Author:

dai

Message:

#189への対応。型パラメータに型パラメータを指定したときにテンプレート展開の対象にならない不具合を修正。

Location:

trunk/ab5.0/abdev

Files:

• BasicCompiler_Common/src/Compiler.cpp (modified) (2 diffs)
• compiler_x64/Compile_Statement.cpp (modified) (1 diff)
• compiler_x86/Compile_Statement.cpp (modified) (1 diff)

trunk/ab5.0/abdev/BasicCompiler_Common/src/Compiler.cpp

@@ -67 +67 @@
         // モジュール名がシンボル名として使えない場合があるので、16進数文字列に変換する
         char temporary[VN_SIZE*2] = "";
-        for( int i=0; i<originalName.size(); i++ )
+        for( int i=0; i<static_cast<int>(originalName.size()); i++ )
         {
             sprintf( temporary + strlen(temporary), "%2x", originalName[i] );
@@ -112 +112 @@
         Type typeParameterType;
         StringToType( typeParameterStr, typeParameterType );
+
+        if( this->IsCompilingClass() )
+        {
+            if( this->pCompilingClass->IsExpanded() && typeParameterType.IsTypeParameter() )
+            {
+                // 現在コンパイル中のクラスがテンプレート展開済みのクラスで、
+                // 尚且つターゲットとなる型が型パラメータだったとき
+
+                // テンプレート展開情報を用いて型解決を行う
+                this->pCompilingClass->ResolveExpandedClassActualTypeParameter( typeParameterType );
+            }
+        }
 
         genericTypes.push_back( GenericType( "(non support)", typeParameterType ) );

trunk/ab5.0/abdev/compiler_x64/Compile_Statement.cpp

@@ -513 +513 @@
             goto ErrorStep;
         }
-        elementTypeName = collectionType.GetActualGenericType(0).GetClass().GetFullName();
+
+        Type elementType;
+        if( collectionType.GetClass().IsExpanded() )
+        {
+            // テンプレート展開されたジェネリッククラス
+            elementType = collectionType.GetClass().expandedClassActualTypeParameters[0];
+        }
+        else
+        {
+            // 通常のジェネリッククラス
+            elementType = collectionType.GetActualGenericType(0);
+        }
+
+        elementTypeName = compiler.TypeToString( elementType );
     }
 

trunk/ab5.0/abdev/compiler_x86/Compile_Statement.cpp

@@ -650 +650 @@
             goto ErrorStep;
         }
-        elementTypeName = collectionType.GetActualGenericType(0).GetClass().GetFullName();
+
+        Type elementType;
+        if( collectionType.GetClass().IsExpanded() )
+        {
+            // テンプレート展開されたジェネリッククラス
+            elementType = collectionType.GetClass().expandedClassActualTypeParameters[0];
+        }
+        else
+        {
+            // 通常のジェネリッククラス
+            elementType = collectionType.GetActualGenericType(0);
+        }
+
+        elementTypeName = compiler.TypeToString( elementType );
     }