使用 libtool 获取完全限定的模板模板参数名称

Get fully qualified template template argument name using libtooling

本文关键字：参数 获取 libtool 使用      更新时间：2023-10-16

我正在尝试使用libtooling打印带有模板模板参数的模板类的证实CXXRecordDecl。不幸的是，模板模板参数的字符串表示形式不是完全限定的(例如，它缺少命名空间(。

我正在使用以下代码打印CXXRecordDecl：

clang::PrintingPolicy policy = compiler_instance->getLangOpts();
std::string name = decl->getTypeForDecl()->getCanonicalTypeInternal().getAsString(policy);

这是一个示例，我希望输出ns::A<ns::B>，但我得到ns::A<B>：

namespace ns {
template <template <class> class T>
class A {
  T<int> x;
};
template <class T>
class B {
  T y;
};
} // namespace ns
int main(int argc, char **argv)
{
  using namespace ns;
  A<B> z;
}

如何使用模板模板参数打印类的完全限定名称？

在相关的说明中，有没有办法在不调用 getCanonicalTypeInternal 的情况下做到这一点，这听起来像是一个内部函数？

[编辑#1] 我也尝试了decl->getQualifiedNameAsString()，它完全省略了模板参数并输出ns::A。

[编辑#2] 坚持将一组问题换成另一组问题。它确实为模板模板参数正确生成完全限定的类型。但是，它为函数(和函数指针(的参数和返回类型生成非限定名称。例如，下面的代码生成输出ns::A<void (B)>而不是ns::A<void (ns::B)>：

namespace ns {
class B { };
template <class T>
class A { };
} // namespace
int main(int argc, char **argv)
{
  using namespace ns;
  A<void (B)> x;
}

[编辑#3] 我在Cling问题跟踪器上发布了上述问题的问题。请注意，查看页面需要您使用 CERN 轻量级帐户登录。有关创建帐户的说明，请参阅此页面。

试试这个： decl->getQualifiedNameAsString();

看起来目前clang/libclang有合适的零件，但没有只打印全名的合适且简单的解决方案，

请参阅此 http://lists.llvm.org/pipermail/cfe-dev/2015-October/045473.html

但是cling基于实现此类功能的clang的项目，看这里：

https://root.cern.ch/gitweb?p=root.git;a=blob;f=interpreter/cling/include/cling/Utils/AST.h;h=91cea2ef82f6a6b2ed4671d43253b1c0ebd86fd4;hb=HEAD

std::string GetFullyQualifiedName(clang::QualType QT,
                                        const clang::ASTContext &Ctx);

正是您要找的，在申请示例后，它会返回ns::A<ns::B>

看起来他们将此功能集成到下一个或下一个clang/libclang发布之后，所以希望最好。

相关文章：