Question

我正在寻找从编译器逻辑中获取一些跟踪日志的方法，当它试图推断模板参数类型时，无论何时成功或不成功。例如，给出代码：

#include <iostream>
#include <vector>
#include <type_traits>

template<typename T>
decltype(auto) foo(T&& t) -> decltype(t + t)
{
    return t + t;
}

template<typename T>
decltype(auto) foo(T&& t) -> decltype(t.size()) 
{
    return t.size();
}

int main()
{
    std::cout << foo(10) << '\n'
              << foo(std::vector<int>{1,2,3}) << '\n';
}

我喜欢收到类似的内容：

foo(10)

candidate: decltype(auto) foo(T&& t) -> decltype(t * t): seems valid
candidate: decltype(auto) foo(T&& t) -> decltype(t.size()): wrong one

编译器已经非常擅长，例如提供不明确的调用。例如。如果我打电话给foo(std::string("qwe"));我会得到：

main.cpp: In function 'int main()':
main.cpp:23:31: error: call of overloaded 'foo(std::__cxx11::basic_string<char>)' is ambiguous
         foo(std::string("qwe"));
                               ^

main.cpp:7:20: note: candidate: decltype ((t + t)) foo(T&&) [with T = std::__cxx11::basic_string<char>; decltype ((t + t)) = std::__cxx11::basic_string<char>]
     decltype(auto) foo(T&& t) -> decltype(t + t)
                    ^~~

main.cpp:13:20: note: candidate: decltype (t.size()) foo(T&&) [with T = std::__cxx11::basic_string<char>; decltype (t.size()) = long unsigned int]
     decltype(auto) foo(T&& t) -> decltype(t.size())
                    ^~~

并且，如果无法获得这种明确的反馈，也许有办法获得“半编译”代码的视图，所有模板推导已经完成了吗？

是否有任何编译器具有此功能？ gcc，clang，mvsc？

底色：

这个例子非常简单明了，但我确实试验了ranges::v3库，并且很难理解为什么一个特定的案例可以工作以及为什么另一个没有。（从技术上讲，iterator_range<Handmade InputIterator>使用view::take(3)管道返回void而不是某些花哨的range，但这个问题无关紧要。我想在几乎相同的线路上追踪扣除，但是与iterator_range<ContiguousIterator>一起看看差异。

Answer 1

Templight是一个基于clang的工具，用于跟踪模板实例化的进度。它有一个类似于gdb调试器的接口，因此您可以专注于导致错误或不按预期运行的某个实例。或者您可以输出模板实例化的“配置文件”，这将概述所有这些实例。

还有一个相关工具Templar，它显然是Templight调试器模式的图形界面，虽然我自己没有尝试过。

有没有办法跟踪任何编译器的模板参数推断？

底色：

1 个答案: