知识点:
1,重载与using声明(P708)
一个using声明引入的函数将重载该声明语句所属作用域中已有的其他同名函数。
(1)如果using声明出现在局部作用域,则引入的名字将隐藏外层作用域的相关声明。
(2)如果using声明所在的作用域中已经有一个函数与新引入的函数同名且参数列表相同,则该using声明将引发错误(f. using指示)。
(3)除了(1)(2),using声明将为引入的名字添加额外的重载实例,并最终扩充候选函数集的规模。
2,命名空间隐藏规则的例外---实参相关的查找与类类型形参(P706)
对于命名空间中名字隐藏规则有一个重要例外:当我们给函数传递一个类类型的对象时,除了在常规作用域查找外,还会查找实参类所属的命名空间。这一例外对于传递类的引用或指针的调用同样有效。
3,非模板和模板重载(P616)
当存在多个同样好的函数模板时,编译器选择最特例化的版本,处于同样的原因,一个非模板函数比一个函数模板更好。
从一个资源管理的类设计说起,涵盖这三个知识点:
资源管理的类通常会定义类自己的swap函数:
class HasPtr {
friend void swap(HasPtr&, HasPtr&);
string *ps;
int i;
};
// A
inline void swap(HasPtr &lhs, HasPtr &rhs)
{
using std::swap();
swap(lhs.ps, rhs.ps); // HasPtr中ps是内置指针, 因此这里调用的是std::swap()
swap(lhs.i, rhs.i); // HasPtr中i是内置int, 因此这里调用的是std::swap()
}
class Foo {
...
friend void swap(Foo&, Foo&);
Hasptr h;
}
// B
void swap(Foo &lhs, Foo &rhs)
{
std::swap(lhs.h, rhs.h); // 效率低下
}
// C
void swap(Foo &lhs, Foo &rhs)
{
using std::swap();
swap(lhs.h, rhs.h); // 会调用HasPtr的swap()
}
对于Foo的swap应该设计成C这种,交换Foo数据成员h时的调用swap是调用的HasPtr的swap(),原因:
1,局部作用域中没有其他swap()函数声明,这里的using std::swap()声明会隐藏外层作用域相关swap()相关函数。(P709)
2,根据知识点2-命名空间隐藏规则的例外,知道局部作用域内有两个可选swap(),一个是std::swap()(模板函数),一个是HasPtr类定义的swap()(非模板函数)。这也是为什么A中swap内部调用的swap是std::swap,因为内置类型没有特定版本的swap,所以局部作用域内只有std::swap版本的swap,因此调用的是std::swap。
3,根据知识点3-非模板和模板函数重载,选则的是HasPtr类定义的swap()(非模板函数)