C++11 新特性之 template

前七篇在这里：
C++11新特性之新类型与初始化: blog.guoyb.com/2016/06/18/…
C++11新特性之类型推断与类型获取: blog.guoyb.com/2016/06/25/…
C++11新特性之lambda： blog.guoyb.com/2016/06/30/…
C++11新特性之容器相关特性： blog.guoyb.com/2016/07/09/…
C++11新特性之智能指针： blog.guoyb.com/2016/08/02/…
C++11新特性之Class: blog.guoyb.com/2016/08/14/…
C++11新特性之右值引用与移动： blog.guoyb.com/2016/08/20/…

这是C++11新特性介绍的第八部分，涉及到template相关的新特性。
不想看toy code的读者可以直接拉到文章最后看这部分的总结。

function

C++提供了很多种可调用对象，例如函数指针、lambda、重载了operator()的对象等。有时我们需要将这些对象统一管理，这时使用如下这种方式是不行的：

int add(int i, int j) { return i + j; }
struct divide
{
  int operator()(int i, int j)
  {
    return i / j;
  }
};

std::map> binops = {
  {"+", add},
  {"-", std::minus()},
  {"*", [](int i, int j) {return i * j; }},
  {"/", divide()},
};

无法直接将binops中的可调用对象直接转换成int(*)(int, int)。

C++11新标准中提供了一个名为function的标准库类，可以用function来表示以上所有的函数调用，只要这些函数调用的参数类型和返回类型是一致的。

std::cout<<"test function:\n";
std::map> binops = {
  {"+", add},
  {"-", std::minus()},
  {"*", [](int i, int j) {return i * j; }},
  {"/", divide()},
};
std::cout<<"+:\t"< done.\n"<

template class Bar
{
friend T;
protected:
  int val = 100;
};

class Foo
{
public:
  void print_bar(Bar &bar) {std::cout<<"bar:\t"< bar;
Foo foo;
foo.print_bar(bar);
std::cout<<"test friend template type done.\n"<

template using twin = std::pair;
template using str_int = std::pair;

std::cout<<"test template alias:\n";
twin twin_str = {"abc", "def"};
std::cout<<"twin_str:\t"< strno = {"abc", 100};
std::cout<<"strno:\t"<

template>
int compare(const T &v1, const T &v2, F f=F())
{
  if(f(v1, v2)) return -1;
  if(f(v2, v1)) return 1;
  return 0;
}

std::cout<<"test default template parameter:\n";
std::cout<<"compare int 1 2:\t"<

template
decltype(*beg) get_begin(It beg)
{
  return *beg;
}

template
auto get_begin(It beg) -> decltype(*beg)
{
  return *beg;
}
std::cout<<"test tail return type of template:\n";
std::vector numbers = {1, 2, 3, 4, 5};
std::cout<<"get_begin:\t"<

template
std::ostream &print_variadic(std::ostream &os, const T &t)
{
  return os<
std::ostream &print_variadic(std::ostream &os, const T &t, const Args&... rest)
{
  os<