C++0x TMP 编译速度

Question

这个问题重点关注模板元编程结构。我找到了两篇文章（一篇 和两个，但是两个没有显示确凿的证据，但我相信这些声明）提供的证据表明 c++0x 原型编译器将指数编译时间转变为线性编译时间。

我有一个模糊的预感，auto、decltype 和可变参数模板将有一些东西是这方面的推动者。我希望看到的是对实现这一点的语言和编译器技术的变化的全面解释，特别是解释如何和为什么。

就我的技术水平而言，我在愤怒中使用过Boost TMP库精神，以及一些玩具MPL程序。

Answer 1

很明显，第一个编译器的处理速度比第二个慢，就像你说的， 证据。

/* first */
template<typename A>
void f(A const&);
template<typename A>
void f(A&);

template<typename A1, typename A2>
void f(A1 const&, A2&);
template<typename A1, typename A2>
void f(A1&, A2 const&);
template<typename A1, typename A2>
void f(A1 const&, A2 const&);
template<typename A1, typename A2>
void f(A1&, A2&);

// ...

/* second */
template<typename ...T>
void f(T &&...);

我知道 C++ 中没有完全通用的 auto 解决方法。模拟 auto 需要数百甚至数千行代码（请参阅 boost.typeof），但它仍然不是通用的。与 decltype 相同。