Changeset 732 in dev for trunk/ab5.0

Timestamp:

Aug 23, 2008, 11:39:31 PM (16 years ago)

Author:

dai

Message:

ジェネリッククラスにおいて、実型パラメータに固定型が指定されたジェネリッククラスを継承すると、基底クラスの型パラメータが不正に置き換わってしまう不具合を修正。例えば、下記のようなコードに問題が生じるていた。

#console
Class Foo<T>
Public
	Function GetTypeName( t As T ) As String
		Return t.GetType().Name
	End Function
End Class
Class Bar<T>
	Inherits Foo<String>
End Class
Dim bar = New Bar
System.Console.WriteLine( bar.GetTypeName( New String() ) )
System.Console.ReadLine()

File:

• trunk/ab5.0/abdev/BasicCompiler_Common/src/LexicalAnalyzer_Class.cpp (modified) (2 diffs)

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

@@ -1438 +1438 @@
     }
 
+    // 実型パラメータに値型が含まれないとき
+    bool isValueType = false;
+    BOOST_FOREACH( const Type &actualType, actualTypes )
+    {
+        if( actualType.IsValueType() )
+        {
+            isValueType = true;
+        }
+    }
+    if( !isValueType )
+    {
+        return &_class;
+    }
+
     // 展開済みのクラスがあればそれを返す
     BOOST_FOREACH( const ExpandedTemplateClass *pExpandedTemplateClass, _class.expandedTemplateClasses )
@@ -1472 +1486 @@
     if( _class.HasSuperClass() )
     {
-        const CClass *pExpandedSuperClass = TemplateExpand( *const_cast<CClass *>(&_class.GetSuperClass()), actualTypes );
-        pNewClass->InheritsClass( *pExpandedSuperClass, pNewClass->GetSuperClassActualTypeParameters(), -1 );
+        Types expandedSuperClassActualTypes;
+        BOOST_FOREACH( const Type &superClassActualType, _class.GetSuperClassActualTypeParameters() )
+        {
+            expandedSuperClassActualTypes.push_back( TemplateExpand_ResolveType( superClassActualType, actualTypes ) );
+        }
+
+        const CClass *pExpandedSuperClass = TemplateExpand( *const_cast<CClass *>(&_class.GetSuperClass()), expandedSuperClassActualTypes );
+        pNewClass->InheritsClass( *pExpandedSuperClass, expandedSuperClassActualTypes, -1 );
     }