mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-05 00:36:16 +02:00
Code Issues Wiki Activity

Bug 507511 - Template function resolution problem when using index

Browse source 
Change-Id: I7e75a188f8902c6b21f2c96660cc68fcebfdd0db
This commit is contained in:
Sergey Prigogin 2016-11-14 20:24:15 -08:00
parent 88b2f8564a
commit 08eb54b46d
2 changed files with 43 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

39
core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/internal/index/tests/IndexCPPTemplateResolutionTest.java
View file

@ -1182,6 +1182,45 @@ public class IndexCPPTemplateResolutionTest extends IndexBindingResolutionTestBa
assertEquals("int", ASTTypeUtil.getType(type));
}
// template <typename T>
// struct D;
//
// template <typename C, typename U>
// struct D<void (C::*)(U)> {
// typedef U type;
// };
//
// template <typename T>
// using E = typename D<decltype(&T::operator())>::type;
//
// template <typename T>
// struct G {
// typedef E<T> type;
// };
//
// template <typename T>
// using F = typename G<T>::type;
//
// template <typename T, typename U>
// struct B {};
//
// template <typename T>
// B<F<T>, int>* f(T t);
//
// template <typename U>
// void waldo(B<double, U>* e);
// struct A {
// void operator()(double x);
// };
//
// void test() {
// waldo(f(A()));
// }
public void testTemplateArgumentDeduction_507511() throws Exception {
checkBindings();
}
// class A {}; class B {}; class X {};
// template<typename T>
// class C {

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

@ -836,7 +836,10 @@ public class TemplateArgumentDeduction {
return tval.equals(sval);
}
return fromType(p.getTypeValue(), a.getOriginalTypeValue(), false, point);
// Try to deduce from the original argument type, but if it fails, fall back to the simplified
// argument type.
return fromType(p.getTypeValue(), a.getOriginalTypeValue(), false, point)
|| fromType(p.getTypeValue(), a.getTypeValue(), false, point);
}
private boolean fromType(IType p, IType a, boolean allowCVQConversion, IASTNode point) throws DOMException {