mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 14:12:10 +02:00
Code Issues Wiki Activity

Bug 539076 - Substitution of alias template for template template parameter

Browse source 
Change-Id: Ide5a6858560b0aae1efd391215bc229bef5421e7
This commit is contained in:
Nathan Ridge 2018-09-15 23:33:08 -04:00
parent e2e9325bb4
commit 732c4874ee
2 changed files with 29 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java
View file

@ -10934,4 +10934,24 @@ public class AST2TemplateTests extends AST2CPPTestBase {
public void testMetaprogrammingWithAliasTemplates_534126() throws Exception { public void testMetaprogrammingWithAliasTemplates_534126() throws Exception {
parseAndCheckBindings(); parseAndCheckBindings();
} }
// template <class>
// struct hhh {
// using type = int;
// };
//
// template <template <class> class TT>
// struct iii {
// using type = typename TT<int>::type;
// };
//
// template <class A>
// using hhh_d = hhh<A>;
//
// using waldo = typename iii<hhh_d>::type;
public void testAliasTemplateAsTemplateTemplateArg_539076() throws Exception {
BindingAssertionHelper helper = getAssertionHelper();
IType waldo = helper.assertNonProblem("waldo");
assertSameType(SemanticUtil.getSimplifiedType(waldo), CommonCPPTypes.int_);
}
} }

12
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/CPPTemplates.java
View file

@ -3113,9 +3113,15 @@ public class CPPTemplates {
boolean changed= arguments != newArgs; boolean changed= arguments != newArgs;
IType classTemplateSpecialization= instantiateType(classTemplate, context); IType classTemplateSpecialization= instantiateType(classTemplate, context);
if (classTemplateSpecialization != classTemplate && classTemplateSpecialization instanceof ICPPClassTemplate) { if (classTemplateSpecialization != classTemplate) {
classTemplate= (ICPPClassTemplate) classTemplateSpecialization; if (classTemplateSpecialization instanceof ICPPClassTemplate) {
changed= true; classTemplate= (ICPPClassTemplate) classTemplateSpecialization;
changed= true;
} else if (classTemplateSpecialization instanceof ICPPAliasTemplate) {
IBinding inst = instantiateAliasTemplate((ICPPAliasTemplate) classTemplateSpecialization, newArgs);
if (inst != null)
return inst;
}
} }
if (changed) { if (changed) {