C++模板(未完待续)

本文是对《C++ Templates》第二版英文原版的学习笔记。部分内容会参考Walton1128翻译的《C++ Templates 第二版》中文翻译

函数模板

模板概览

定义模板

模板的形式为template<...>,中间省略号代表上逗号,分割的模板参数列表。以下是一个简单的例子:

template<typename T>
T max(T a, T b)
{
  return a < b ? b : a;
}

typename关键字用以引入一个类型参数,也可以使用class关键字,模板参数除此之外还有非类型模板参数。T是一个标识符。这里的T必须支持<运算和拷贝赋值。

使用模板

通过使用::max(a, b)就可以使用改模板函数。使用全局作用域限定符是为了避免与std::max冲突。当使用不同类型的参数时,函数会实例化(模板参数替换成具体参数的过程)成多个实体。void也是一个合法的类型参数。

两阶段翻译

尝试对模板实例化那些不支持的模板需要的操作的类型,会是个编译错误。所以模板经历了两次编译

  1. 在定义阶段,忽略模板参数检查模板自身的正确性,可检查的错误包括语法错误、使用未知变量名、未通过且不依赖于模板参数的静态断言;
  2. 在实例化阶段,模板再次被检查。

这导致模板在实例化的过程中,编译器必须看到模板的定义。因而模板一般被置于头文件中。注意:某些编译器在定义阶段没有完整地检查。

模板实参推导

模板参数可以只是实际类型的一部分。就像下面那样。

template<typename T>
T max(T const& a, T const& b)
{
  return a < b ? b : a;
}

传递int给模板函数参数则T会是int

自动类型转换在模板类型推导中是受限的:

  • 当以引用传参的时候,即使是最平凡的转换也不被允许。类型必须精确匹配;
  • 当以值传参的时候,只支持decay的普通类型转换:忽略cv限定,去除引用,数组转指针,函数转函数指针。如果两个函数参数使用了同一个类型参数,则类型参数decayed的类型必须一致。

如果类型推导失败,可以手动指定类型,就像max<double>(4, 7.2)

类型推导会忽略函数的默认参数。如果要支持设定函数默认参数,需要给模板参数也提供一个默认参数。

多个模板参数

考虑下面的函数:

template<typename T1, typename T2>
T1 max(T1 a, T2 b)
{
  return a < b ? b : a;
}

我们注意到函数的返回参数被强制转换为了第一个参数的类型,这不符合我们的预期。为此我们有3中解决方案。

返回类型为模板参数

模板参数推导不考虑返回值。由于模板参数的指定必须从左到右依次指定,所以一般将返回类型置于模板其他类型参数之前。

返回类型推导

在C++14中,你可以使用auto关键字。类似auto max(T1 a, T2 b)。实际上,对于不带尾随返回类型的auto返回类型,编译器会从函数体中推断类型。这要求函数定义必须存在,且多个返回语句的类型必须一致。

在C++11中,你可以使用尾随返回类型,类似auto max(T1 a, T2 b) -> decltype(a<b?b:a)。实际上decltype(true?b:a)也可行。为了避免T1T2可能为引用类型,我们可以用typename std::decay<decltype(true?a:b)>::type

需要注意的对于auto变量的赋值类型始终会被decayauto返回值也是如此。

返回共同类型

在C++11中,使用std::common_type<Types...>::type可以获得多个类型共同的类型。在C++14中,可以使用std::common_type_t<Types...>std::common_type同样decay。

默认模板参数

在C++11之前只有类模板支持默认模板参数。C++11之后,所有类型的模板都支持默认模板参数。默认模板参数可以不是在模板参数的最后。

重载函数模板

函数模板也支持重载。普通函数可以与同名同类型的模板函数共存。只有当模板版本能够产生一个更好的匹配的时候(如更少的类型转换),才会选用模板版本。你也可以通过指定一个空模板参数列表::max<>(7, 42),强制使用模板版本。模板参数推导是不会考虑到自动类型转换的,所以当普通函数能自动类型转换成功的话,而模板函数无法匹配的时候,普通函数就会被选用。

也可以重载多个模板的版本,但如果两个模板都能匹配上函数就会发生错误。因此通常重载函数模板时,需要确保对任意一个调用只有一个模板匹配。

在重载函数模板的时候要尽可能少做改动。比如不要混用按值传参和按引用传参。下面是个反面的例子:

#include <cstring>

template<typename T>
T const& max (T const& a, T const& b)
{
  return b < a ? a : b;
}

char const* max (char const* a, char const* b)
{
  return std::strcmp(b,a) < 0 ? a : b;
}
// maximum of three values of any type (call-by-reference)
template<typename T>
T const& max(T const& a, T const& b, T const& c)
{
  return max (max(a,b), c); // error if max(a,b) uses call-by-value
  // 我的注释:这里对于T: const char *来讲,两个max都是匹配到的非模板函数版本
}

int main ()
{
  char const* s1 = "frederic";
  char const* s2 = "anica";
  char const* s3 = "lucas";
  auto m = ::max(s1, s2, s3); //run-time ERROR
}

此外,还要确保函数模板被调用时,其前方某处有定义。下面是一个反面的例子:

// maximum of two values of any type:
template<typename T>
T max (T a, T b)
{
  std::cout << "max<T>() \n";
  return b < a ? a : b;
}
// maximum of three values of any type:
template<typename T>
T max (T a, T b, T c)
{
  return max (max(a,b), c); // uses the template version even for ints
}                           //because the following declaration comes
                            // too late:

// maximum of two int values:
int max (int a, int b)
{
  std::cout << "max(int,int) \n";
  return b < a ? a : b;
}

int main()
{
  ::max(47,11,33); // OOPS: uses max<T>() instead of max(int,int)
}

难道,我们不应该

按值传递还是按引用传递

按引用传递对于非简单类型可能能省去拷贝成本,但出于以下原因,按值传递通常更好:

  • 语法简单。
  • 编译器能够更好地进行优化。
  • 移动语义通常使拷贝成本比较低。
  • 某些情况下可能没有拷贝或者移动。

模板有一些额外情况:

  • 模板既可以用于简单类型,也可以用于复杂类型,因此如果默认选择适合于复杂类型可能方式,可能会对简单类型产生不利影响。
  • 作为调用者,你通常可以使用std::ref()std::cref()来按引用传递参数。(参见7.3)
  • 虽然按值传递 string literal 和 raw array 经常会遇到问题,但是按照引用传递它们通常只会遇到更大的问题。(参见7)

为什么不inline

模板不需要inline。唯一的例外是模板全特化,这时代码不再是泛型。严格地从语言角度来看,inline只意味着在程序中函数的定义可以出现很多次。当然,编译器在做决定的时候依然会将关键字inline纳入考虑因素。

为什么不constexpr

8.2会讨论一些constexpr的例子,为了更专注于模板的原理,接下来的讨论会跳过模板。

总结

  • 函数模板定义了一组适用于不同类型的函数。
  • 当向模板函数传递变量时,函数模板会自行推断模板参数的类型,来决定去实例化出那种类型的函数。
  • 你也可以显式的指出模板参数的类型。
  • 你可以定义模板参数的默认值。这个默认值可以使用该模板参数前面的模板参数的类型,而且其后面的模板参数可以没有默认值。
  • 函数模板可以被重载。
  • 当定义新的函数模板来重载已有的函数模板时,必须要确保在任何调用情况下都只有一个模板是最匹配的。
  • 当你重载函数模板的时候,最好只是显式地指出了模板参数得了类型。
  • 确保在调用某个函数模板之前,编译器已经看到了相对应的模板定义。

类模板

容器类是类模板的典型应用。本章我们将用栈作为一个例子。

Stack类模板的实现

类模板的声明和定义都放在头文件里。

声明一个类模板

template<typename T>
class Stack {
  ...
};

这里可以用class关键字替代typename关键字。T这个类型就和普通类型一样,可以被用于声明成员变量类型,和成员函数的返回值类型及形参类型。

这个类的类型是Stack<T>,其中T是模板参数。在使用类型的时候,你必须指明Stack<T>,除非可以推导出T的类型。不过在类模板内部可以使用Stack代替Stack<T>,推荐在类模板内使用Stack。但在类模板外,你就需要使用Stack<T>,如下:

template<typename T>
bool Stack<T>::operator== (Stack<T> const& lhs, Stack<T> const& rhs);

在只需要类的名字而不是类型的地方,只能用Stack,如构造函数和析构函数。

不同于非模板类,不可以在局部作用于声明和定义模板,可以在全局、命名空间或者其他类里定义。

成员函数的实现

定义类模板的成员函数时,必须指出它是一个模板,且模板的类型需要完整地给出。

template<typename T>
void Stack<T>::push (T const& elem)
{
  elems.push_back(elem);
}

类模板的成员函数也可以在类的定义中给出。

template<typename T>
class Stack {
  ...
  void push (T const& elem) {
    elems.push_back(elem); // append copy of passed elem
  }
  ...
};

Stack类模板的使用

在C++17前,类模板的参数必须显式给出。模板函数和模板成员函数只有在被调用时才会实例化。如果一个类模板有static成员,对每一个用到这个类模板的类型,相应的静态成员也只会被实例化一次。

被实例化的类模板类型可以被cv限定,可以被创建它的数组及应用,可以被typedef或者using,也可以作为类型参数。

C++11之前两个相邻的模板闭合括号之间需要有空格,如Stack<Stack<int> >,否则会被解析成右移运算符。

部分地使用类模板

模板参数只需要提供那些会被用到的操作。也就是说模板的成员函数只有被调用才会实例化并检查非语法层面的错误。

Concept

Concept指定了为了需要实例化模板,参数需要支持的操作。C++标准库是基于Concept的,比如可随机访问迭代器和可默认构造等等。

C++11开始,你可以使用static_assert和其他的预定的类型trait完成检查:

template<typename T>
class C {
  static_assert(std::is_default_constructible<T>::value,
                "Class C requires default-constructible elements");
  ...
};

从C++20引入了Concept,使用方法大致如下:

template<typename T>
concept Hashable = requires(T a) {
    { std::hash<T>{}(a) } -> std::convertible_to<std::size_t>;
};

template<Hashable T>
void f(T);

有机会我会出一个关于C++20的新文章,这里不再多做介绍。

友元

template<typename T>
class Stack {
  friend std::ostream& operator<< (std::ostream &strm, const Stack<T>& s) {
    // ...
    return strm;
  }
};

这里定义的operator<<是一个普通函数,确切讲是templated entity。如果你尝试先声明后定义,那么有两种选择。

  1. 使之成为函数模板,但它必须使用新的模板参数。

    template<typename T>
    class Stack {
      ...
      template<typename U>
      friend std::ostream& operator<< (std::ostream&, Stack<U> const&);
    };
    
  2. 前向声明一个模板函数,并特例化它:

    template<typename T>
    class Stack;
    template<typename T>
    std::ostream& operator<< (std::ostream&, Stack<T> const&);
    
    template<typename T>
    class Stack {
      ...
      friend std::ostream& operator<< <T> (std::ostream&, Stack<T>
    const&);
    };
    

    注意这里operator<<之后的<T>,它代表我们声明了一个特例化的非成员模板函数作为友元,如果没有<T>,我们会声明一个新的非模板函数。

但无论是上面的三种情况的哪一种,你都可以将Stack用于没有定义operator<<的元素,前提是你不会用到这个操作。

类模板的特化

函数模板不支持特化,但支持重载。类似于函数的重载,我们可以特化类模板。如果对类模板进行了特化,你也需要特化所有的成员函数:

template<>
class Stack<std::string> {
  ...
};

void Stack<std::string>::push (std::string const& elem)
{
  elems.push_back(elem); // append copy of passed elem
}

这里push如果采用转发引用会更好。

偏特化

类模板可以只是被部分特例化。

template<typename T>
class Stack<T*> {
  ...
};

多参数模板特例化

template<typename T1, typename T2>
class MyClass { ... };

对于上面的类模板可以有以下的偏特化:

template<typename T>
class MyClass<T,T> { ... };

template<typename T>
class MyClass<T,int> { ... };

template<typename T1, typename T2>
class MyClass<T1*,T2*> { ... };

这里如果出现匹配得同样好的偏特化时,就会报错:

MyClass<int*,int*> m; // matches MyClass<T,T> and MyClass<T1*,T2*>

为了解决歧义,可以添加一个额外的偏特化:

template<typename T>
class MyClass<T*,T*> { ... };

默认类模板参数

与函数模板类似,类模板也可以有默认模板参数。类模板成员函数定义之处不必加上默认参数。

类型别名

Typedef和Alias声明

  1. 可以使用关键字typedef给类型声明别名,其产生的别名我们称为typedef-name:

    typedef Stack<int> IntSack;
    
  2. 或者C++11开始可以使用using

    using IntStack = Stack <int>;
    

以上两种给一个已存在类型新名字的方式,我们统一称为type alias declaration,新的名字称为type alias。

别名模板

(未完待续)

编辑本页

孙子平
孙子平
静态分析方向研究生
下一页
上一页

相关