mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Bug 351927: Argument deduction with reference types

Browse source
This commit is contained in:
Markus Schorn 2011-07-20 15:38:20 +02:00
parent 76b6692246
commit 5c46a13bd3
2 changed files with 24 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -5416,4 +5416,22 @@ public class AST2TemplateTests extends AST2BaseTest {
public void testParameterAdjustementInInstantiatedFunctionType_351609() throws Exception { public void testParameterAdjustementInInstantiatedFunctionType_351609() throws Exception {
parseAndCheckBindings(); parseAndCheckBindings();
} }
// template<typename T> struct CT {
// int g;
// };
// template<typename T> struct CT<T&> {
// int ref;
// };
// template<typename T> struct CT<T&&> {
// int rref;
// };
// void test() {
// CT<int>::g;
// CT<int&>::ref;
// CT<int&&>::rref;
// }
public void testRRefVsRef_351927() throws Exception {
parseAndCheckBindings();
}
} }

8
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/TemplateArgumentDeduction.java
View file

@ -678,8 +678,12 @@ public class TemplateArgumentDeduction {
if (!(a instanceof ICPPReferenceType)) { if (!(a instanceof ICPPReferenceType)) {
return false; return false;
} }
p = ((ICPPReferenceType) p).getType(); final ICPPReferenceType rp = (ICPPReferenceType) p;
a = ((ICPPReferenceType) a).getType(); final ICPPReferenceType ra = (ICPPReferenceType) a;
if (ra.isRValueReference() != rp.isRValueReference())
return false;
p = rp.getType();
a = ra.getType();
} else if (p instanceof IArrayType) { } else if (p instanceof IArrayType) {
if (!(a instanceof IArrayType)) { if (!(a instanceof IArrayType)) {
return false; return false;