从一小段代码看模板使用的坑

目录

问题：

疑惑：

疑惑1

疑惑2

解释

释疑1

释疑2

总结

---

问题：

最近在学习cppcon上的讲座，Peter Sommerlad在https://www.youtube.com/watch?v=R1G3P5SRXCw&list=WL&index=13&t=681s的16'30"提出了一个模板的例子。乍一看很难理解其结果。

我在Online Compiler上实操了一下，结果与讲座的一致：

// Online C++ compiler to run C++ program online
#include <iostream>

template <class T>
void P(T x){
    std::cout<<x<<std::endl;
}
void foo(char a){P(a);}
template <class ... T>
void foo(int a, T ... args){
    foo(args...);
    P(a);
}

template<class ... A>
void foo(char a, A ... args){
    P(a);
    foo(args...);
}
int main() {
    // Write C++ code here
    foo('1', '2', 48, '5', '6');

    return 0;
}

疑惑：

疑惑1

main的foo()肯定匹配了void foo(char a, A ... args)这个模板。这个模板内部调用了P()和foo()函数。假如foo()不断的迭代匹配同一个模板void foo(char a, A ... args)，那么输出应该是

1  2 48 5 6//严格说，应该是48对应的ascii code

疑惑2

为什么5 和6的次序交换了？（5的ascii code是53）

解释

释疑1

开头输出1不难理解。接下来，void foo(char a, A ... args)这个模板应用在2 48 5 6上面，就成了：

P('2');
foo(48, '5', '6');

P('2')输出2，不难理解。

接下来，48是int，所以要匹配

template <class ... T>
void foo(int a, T ... args){
    foo(args...);
    P(a);
}

进一步展开：

template <class ... T>
void foo(48, '5', '6'){
    foo('5', '6');
    P(48);
}

所以先调用foo('5', '6'); 5，6显示在48的前面。

释疑2

这里要注意，根据Peter Sommerlad所说，void foo(int a, T ... args)内部的foo()只能匹配它前面的模板。由于void foo(char a, A ... args)出现在void foo(int a, T ... args)之后，所以匹配不上（尽管它是最匹配的）。只能退而求其次，匹配void foo(int a, T ... args)，也就是它自己。

 这里新手（比如我自己）有个误区，认为foo('5','6')接下来调用void foo(char a, A ... args)模板，所以要先输出5。根据刚刚的理论，foo()只能匹配它前面的模板，所以foo('5','6')不会匹配void foo(char a, A ... args)。foo('5','6')当然更不会匹配foo(char)，连输入参数个数都不匹配。于是只能匹配foo(int a, T ... args)，还是它自己。

于是foo('5', '6')再次展开：

void foo(53, '6'){//53是5的ascii码
    foo('6');
    P(53);
}

注意，'5'在函数提内部已经被转换为int，所以P()函数的输入参数是53，并且放在'6'的后面打印。

总结

1 被调用函数只能匹配它前面声明或者定义了的模板。

2 上下面的设计其实为倒序处理带来了启发

template <class ... T>
void foo(char a, T ... args){
    foo(args...);
    P(a);
}

受它启发：