05|05 棘手的问题
typename前缀
- C++默认用::访问的名称不是类，因此必须加上typename前缀，告诉编译器该名字是一个类型，否则会报错
template
void print(const T& c)
{
typename T::const_iterator pos;
// 必须加上typename前缀
typename T::const_iterator end(c.end());
for (pos = c.begin();
pos! = end;
++pos) std::cout << *pos << ' ';
}
- 这个模板使用T类型容器的迭代器，每个STL容器都声明了迭代器类型const_iterator
class Cont {
public:
using iterator = ...;
// iterator for read/write access
using const_iterator = ...;
// iterator for read access
...
};
- 必须加typename前缀的原因，参考如下代码
T::SubType* ptr;
- 如果没有加typename前缀，上式会被解析为一个乘法，而不是声明一个指针
(T::SubType) * ptr;
零初始化（Zero Initialization）
- 使用模板时常希望模板类型的变量已经用默认值初始化，但内置类型无法满足要求
template
void f()
{
T x;
// T为内置类型则不会初始化
}
- 解决方法是显式调用内置类型的默认构造函数，比如调用int()即可获得0
template
void f()
{
T x{};
// T为内置类型则x为0（或false）
// C++11前的语法写为T x = T();
}
- 对于类模板则需要定义一个保证所有成员都初始化的默认构造函数
template
class A {
private:
T x;
public:
A() : x() {} // 确保x已被初始化，即使是内置类型
};
- C++11中可以写为
template
class A {
private:
T x{};
};
- 但默认实参不能这样写
template
void f(T p{}) // 错误
{}
- 正确的写法是
template
void f(T p = T{}) // OK，如果是C++11前则用T()
{}
派生类模板用this->调用基类同名函数
- 对于派生类模板，调用基类的同名函数时，并不一定是使用基类的此函数
template
class B {
public:
void f();
};
template
class D : public B {
public:
void f2() { f();
} // 会调用外部的f或者出错
};
- 这里
f2()内部调用的f()不会考虑基类的f()，如果希望调用基类的，有三种做法，一是明确指定B指定来调用基类函数::f()
template
class B {
public:
void f();
};
template
class D : public B {
public:
void f2() { B::f();
}
};
- 这种做法的一个缺点是，
f()是虚函数时也只能调用基类的f()
template
class B {
public:
virtual void f() { std::cout << 1;
}
};
template
class D : public B {
public:
virtual void f() { std::cout << 2;
}
void f2() { B::f();
}
};
D* d = new D;
d->f2();
// 1：只调用基类的f()
- 另外两种不会引起此问题的做法是使用
this->或using声明
template
class D : public B {
public:
void f2() { this->f();
}
};
template
class D : public B {
public:
using B::f;
void f2() { f();
}
};
用于原始数组与字符串字面值（string literal）的模板
- 有时把原始数组或字符串字面值传递给函数模板的引用参数会出现问题
template
const T& max(const T& a, const T& b)
{
return a < b ? b : a;
}::max("apple", "peach");
// OK
::max("apple", "banana");
// 错误：类型不同，分别是const char[6]和const char[7]
- 模板参数为引用类型时，传递的原始数组不会退化为指针。将上述模板改为传值即可编译，非引用类型实参在推断过程中会出现数组到指针的转换，但这样比较的实际是指针的地址
template
T max(T a, T b)
{
return a < b ? b : a;
}std::cout << ::max("apple", "banana");
// apple
std::cout << ::max("cpple", "banana");
// cpple
- 因此需要为原始数组和字符串字面值提供特定处理的模板
template
bool less (T(&a)[N], T(&b)[M])
{
for (int i = 0;
i < N && i < M;
++i)
{
if (a[i] < b[i]) return true;
if (b[i] < a[i]) return false;
}
return N < M;
}int x[] = {1, 2, 3};
int y[] = {1, 2, 3, 4, 5};
std::cout << less(x, y);
// true：T = int, N = 3，M = 5
std::cout << less("ab", "abc");
// true：T = const char, N = 3，M = 4
- 如果只想支持字符串字面值，将模板参数T直接改为const char即可
template
bool less(const char(&a)[N], const char(&b)[M])
{
for (int i = 0;
i < N && i < M;
++i)
{
if (a[i] < b[i]) return true;
if (b[i] < a[i]) return false;
}
return N < M;
}
- 对于边界未知的数组，有时必须重载或者偏特化
#include template
struct A;
// primary templatetemplate
struct A // 偏特化：用于已知边界的数组
{
static void print() { std::cout << "print() for T[" << SZ << "]\n";
}
};
template
struct A // 偏特化：用于已知边界的数组的引用
{
static void print() { std::cout << "print() for T(&)[" << SZ << "]\n";
}
};
template
struct A // 偏特化：用于未知边界的数组
{
static void print() { std::cout << "print() for T[]\n";
}
};
template
struct A // 偏特化：用于未知边界的数组的引用
{
static void print() { std::cout << "print() for T(&)[]\n";
}
};
template
struct A // 偏特化：用于指针
{
static void print() { std::cout << "print() for T*\n";
}
};
template
void f(int a1[7], int a2[], int (&a3)[42],
int (&x0)[], T1 x1, T2& x2, T3&& x3)
{
A::print();
// A
A::print();
// A
A::print();
// A
A::print();
// A
A::print();
// A
A::print();
// A
A::print();
// A
} int main()
{
int a[42];
A::print();
// A
extern int x[];
// 前置声明数组，x传引用时将变为int(&)[]
A::print();
// A
f(a, a, a, x, x, x, x);
} int x[] = {1, 2, 3};
// 定义前置声明的数组// 输出为
print() for T[42]
print() for T[]
print() for T*
print() for T*
print() for T(&)[42]
print() for T(&)[]
print() for T*
print() for T(&)[]
print() for T(&)[]
成员模板（Member Template）
- 类的成员也可以是模板，嵌套类和成员函数都可以是模板
- 正常情况下不能用不同类型的类互相赋值
Stack s1, s2;
Stack s3;
s1 = s2;
// OK：类型相同
s3 = s1;
// 错误：类型不同
- 定义一个赋值运算符模板来实现不同类型的赋值
template
class Stack {
public:
void push(const T&);
void pop();
const T& top() const;
bool empty() const { return v.empty();
} template
Stack& operator=(const Stack&);
private:
std::deque v;
};
template
void Stack::push(const T& x)
{
v.emplace_back(x);
}template
void Stack::pop()
{
assert(!v.empty());
v.pop_back();
}template
const T& Stack::top() const
{
assert(!v.empty());
return v.back();
}template
template
Stack& Stack::operator=(const Stack& rhs)
{
// 不能直接用v = rhs.v，因为内部的v类型也不一样
Stack tmp(rhs);
v.clear();
while (!tmp.empty())
{
v.emplace_front(tmp.top());
tmp.pop();
}
return *this;
}
- 为了获取用来赋值的源对象所有成员的访问权限，可以把其他的stack实例声明为友元
template
class Stack {
private:
std::deque v;
public:
void push(const T&);
void pop();
const T& top() const;
bool empty() const { return v.empty();
}template
Stack& operator=(const Stack&);
// 声明友元以允许Stack访问Stack的私有成员
template // U没被使用所以这里省略
friend class Stack;
};
- 有了这个成员模板，就能允许不同元素类型的Stack互相赋值
Stack s1;
Stack s2;
s2 = s1;
// OK
- 不用担心可以给stack赋值任何类型，这行代码保证了类型检查
v.emplace_front(tmp.top());
- 因此可以避免把一个stringStack赋值给一个intStack
Stack s1;
Stack s2;
s2 = s1;
// 错误：std::string不能转换为int
用成员模板参数化容器类型
template>
class Stack {
public:
void push(const T&);
void pop();
const T& top() const;
bool empty() const { return v.empty();
}template
Stack& operator= (const Stack&);
// operator=中要访问begin、end等私有成员，必须声明友元
template
friend class Stack;
private:
Cont v;
};
template
void Stack::push(const T& x)
{
v.emplace_back(x);
}template
void Stack::pop()
{
assert(!v.empty());
v.pop_back();
}template
const T& Stack::top() const
{
assert(!v.empty());
return v.back();
}template
template
Stack& Stack::operator=(const Stack& rhs)
{
v.clear();
v.emplace(v.begin(), rhs.v.begin(), rhs.v.end());
return *this;
}
- 这样实现更方便，但也可以按之前的写法实现
template
template
Stack& Stack::operator=(const Stack& rhs)
{
v.clear();
Stack tmp(rhs);
v.clear();
while (!tmp.empty())
{
v.emplace_front(tmp.top());
tmp.pop();
}
return *this;
}
- 如果使用这个实现，可以利用成员函数在被调用时才会被实例化的特性，来禁用赋值运算符。使用一个std::vector作为内部容器，因为赋值运算符中使用了emplace_front，而std::vector没有此成员函数，只要不使用赋值运算符，程序就能正常运行
Stack> s;
s.push(42);
s.push(1);
std::cout << s.top();
// 1
Stack s2;
s = s2;
// 错误：不能对s使用operator=
成员模板的特化
- 成员函数模板也能偏特化或全特化
class A {
public:
A(const std::string& x) : s(x) {}
template
T get() const { return s;
}
private:
std::string s;
};
// bool类型的全特化
template<>
inline bool A::get() const
{
return s == "true" || s == "1" || s == "on";
}int main()
{
std::cout << std::boolalpha;
A a("hello");
std::cout << a.get() << '\n';
// hello
std::cout << a.get() << '\n';
// false
A b("on");
std::cout << b.get() << '\n';
// true
}
使用.template
- 有时调用一个成员模板，显式限定模板实参是有必要的，此时必须使用template关键字来确保
<是模板实参列表的开始。下面这个例子中，如果没有template，编译器就不知道<是小于号还是模板实参列表的开始
template
void f(const std::bitset& b)
{
std::cout << b.template to_string, std::allocator>();
// .template只需要用于依赖于模板参数的名称之后，比如这里的b依赖于模板参数N
}
泛型lambda和成员模板
- lambda其实是成员模板的简写
[] (auto x, auto y) {
return x + y;
}// 等价于如下类的一个默认构造对象，即X{}
class X {
public:
X();
// 此构造函数只能被编译器调用
template
auto operator()(T1 x, T2 y) const
{
return x + y;
}
};
变量模板（Variable Template）
- C++14中，变量也能被参数化为一个具体类型。和所有模板一样，这个声明不应该出现在函数或局部作用域内
template
constexpr T pi{3.1415926535897932385};
- 使用一个变量模板必须指定类型
std::cout << pi << '\n';
- 可以在不同的编译单元中声明变量模板
// header.hpp:
template
T x{};
// 零初始化值// translation unit 1:
#include "header.hpp"int main()
{
x = 42;
print();
} // translation unit 2:
#include "header.hpp"void print()
{
std::cout << x;
// 42
}
- 变量模板也能有默认模板实参
template
constexpr T pi = T{3.1415926535897932385};
std::cout << pi<> << '\n';
// outputs a long double
std::cout << pi << '\n';
// outputs a double
- 注意必须有尖括号
std::cout << pi << '\n';
// 错误
- 变量模板也能由非类型参数参数化
template
std::array arr{};
// 零初始化N个int元素的arraytemplate
constexpr decltype(N) x = N;
// x的类型依赖于传递值的类型int main()
{
std::cout << x<'c'> << '\n';
// N有char类型值'c'
arr<10>[0] = 42;
// 第一个元素设置为42（其他9个元素仍为0）
for (auto x : arr<10>) std::cout << x << ' ';
}
- 变量模板的一个用法是为类模板成员定义变量
template
class A {
public:
static constexpr int max = 1000;
};
template
int myMax = A::max;
// 使用时就可以直接写为
auto i = myMax;
// 而不需要
auto i = A::max;
- 另一个例子
namespace std {
template
class numeric_limits {
public:
...
static constexpr bool is_signed = false;
...
};
}template
constexpr bool isSigned = std::numeric_limits::is_signed;
// 直接写为
isSigned
// 而不需要
std::numeric_limits::is_signed
- C++17开始，标准库用变量模板简写了生成值的type traits
namespace std {
template
constexpr bool is_const_v = is_const::value;
}std::is_const_v // 不需要写为std::is_const::value
模板的模板参数（Template Template Parameter）
- 用模板的模板参数，能做到只指定容器类型而不需要指定元素类型
Stack> s;
// 通过模板的模板参数可以写为
Stack s;
- 为此必须把第二个模板参数指定为模板的模板参数
template class Cont = std::deque>
class Stack {
public:
void push(const T&);
void pop();
const T& top() const;
bool empty() const { return v.empty();
}
private:
Cont v;
};
- 因为Cont没有用到模板参数Elem，所以可以省略Elem
template class Cont = std::deque>
- 对于模板的模板参数Cont，C++11之前只能用class关键字修饰，C++11之后可以用别名模板的名称来替代，C++17中可以用typename修饰
// Since C++17
template typename Cont = std::deque>
class Stack {
private:
Cont v;
...
};
模板的模板实参（Template Template Argument）匹配
- 使用前例的类模板时可能会产生错误，原因是容器还有另一个参数，即内存分配器allocator，C++17之前要求模板的模板实参精确匹配模板的模板参数，即便allocator本身有一个默认值，也不会被考虑用于匹配
template>
class Cont = std::deque>
class Stack {
private:
Cont v;
...
};
- 这里Alloc没被使用，因此也可以省略
template>
class Cont = std::deque>
class Stack {
private:
Cont v;
...
};
- 最终版本的Stack模板如下
template>
class Cont = std::deque
>
class Stack {
private:
Cont v;
public:
void push(const T&);
void pop();
const T& top() const;
bool empty() const { return v.empty();
}template>
class Cont2
>
Stack& operator=(const Stack&);
template class>
friend class Stack;
};
template class Cont>
void Stack::push(const T& x) {
v.emplace_back(x);
}template class Cont>
void Stack::pop() {
assert(!v.empty());
v.pop_back();
}template class Cont>
const T& Stack::top() const {
assert(!v.empty());
return v.back();
}template class Cont>
template class Cont2>
Stack& Stack::operator=(const Stack& rhs) {
v.assign(rhs.v.begin(), rhs.v.end());
return *this;
}int main() {
Stack s1;
s1.push(1);
s1.push(2);
Stack s2;
s2.push(3.3);
std::cout << s2.top();
// 3.3
s2 = s1;
s2.push(3.14);
// s2元素为3.14、2、1Stack s3;
s3.push(5.5);
std::cout << s3.top();
// 5.5
s3 = s2;
// s3元素3.14、2、1
while (!s3.empty()) {
std::cout << s3.top() << ' ';
// 3.14 2 1
s3.pop();
}
}
推荐阅读
- 热闹中的孤独
- JAVA（抽象类与接口的区别&重载与重写&内存泄漏）
- 放屁有这三个特征的，请注意啦！这说明你的身体毒素太多
- 一个人的旅行，三亚
- 布丽吉特，人生绝对的赢家
- parallels|parallels desktop 解决网络初始化失败问题
- 慢慢的美丽
- 尽力
- 一个小故事，我的思考。
- 家乡的那条小河