caio/clice
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Resolver now can handle inner template class!

Browse Source
This commit is contained in:
ykiko
2024-09-07 17:38:39 +08:00
parent 37d67aa7be
commit 13a8cbef6e
2 changed files with 95 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

82
tests/Resolver.cpp
View File

@@ -9,7 +9,7 @@ std::vector<const char*> compileArgs = {
"clang++",
"-std=c++20",
"main.cpp",
"-resource-dir=../build/lib/clang/20",
"-resource-dir=/home/ykiko/C++/clice2/build/lib/clang/20",
};
struct Visitor : public clang::RecursiveASTVisitor<Visitor> {
@@ -252,5 +252,85 @@ struct test {
ASSERT_EQ(Y->getDecl()->getName(), "Y");
}
TEST(DependentNameResolver, dependent_member_class_template) {
const char* code = R"(
template <typename... Ts>
struct type_list {};
template <typename T1>
struct A {
template <typename U1>
struct B {
using type = type_list<T1, U1>;
};
};
template <typename X, typename Y>
struct test {
using result = typename A<X>::template B<Y>::type;
};
)";
Visitor visitor(code);
clang::QualType result = visitor.test();
auto TST = result->getAs<clang::TemplateSpecializationType>();
ASSERT_TRUE(TST);
ASSERT_EQ(TST->getTemplateName().getAsTemplateDecl()->getName(), "type_list");
auto args = TST->template_arguments();
ASSERT_EQ(args.size(), 2);
auto X = llvm::dyn_cast<clang::TemplateTypeParmType>(args[0].getAsType());
ASSERT_TRUE(X);
ASSERT_EQ(X->getDecl()->getName(), "X");
auto Y = llvm::dyn_cast<clang::TemplateTypeParmType>(args[1].getAsType());
ASSERT_TRUE(Y);
ASSERT_EQ(Y->getDecl()->getName(), "Y");
}
TEST(DependentNameResolver, dependent_partial_name) {
const char* code = R"(
template <typename... Ts>
struct type_list {};
template <typename T1>
struct A {};
template <typename U2>
struct B {};
template <typename U2, template <typename...> typename HKT>
struct B<HKT<U2>> {
using type = type_list<U2>;
};
template <typename X>
struct test {
using result = typename B<A<X>>::type;
};
)";
Visitor visitor(code);
clang::QualType result = visitor.test();
result->dump();
}
// TEST(DependentNameResolver, std_vector) {
// const char* code = R"(
// #include <vector>
//
// template <typename T>
// struct test {
// using result = typename std::vector<T, std::allocator<T>>::reference;
// };
//)";
//
// Visitor visitor(code);
// clang::QualType result = visitor.test();
// result->dump();
// }
} // namespace