Effective C++ 条款46
本节条款:须要类型转换时请为模板定义非成员函数
这节知识是在条款24的基础上,讲述的有关非成员函数在模板类中(non-member function template)的作用。
我们先看一下条款24讲述的知识核心。条款24讲述了我们怎样能实现类的对象在特定条件下的隐式转换问题。
我们先看以下代码:
**
例一:
**
#include<iostream>
#include<assert.h>
using namespace std;
class Rational
{
private:
int numerator;
int denominator;
public:
Rational(int n = 0, int d = 1) : numerator(n), denominator(d)
{
assert(denominator != 0);
}
int GetNumerator() const
{
return numerator;
}
int GetDenominator() const
{
return denominator;
}
const Rational operator* (const Rational& r2);
};
const Rational Rational::operator* (const Rational& r2)
{
return Rational(this->GetNumerator()* r2.GetNumerator(), this->GetDenominator() * r2.GetDenominator());
}
int main()
{
Rational a(1,2);
Rational b = a * 2;
Rational c = 2 * a;//无法通过编译。
return 0;
}
**
例二:
**
#include<iostream>
#include<assert.h>
using namespace std;
class Rational
{
private:
int numerator;
int denominator;
public:
Rational(int n = 0, int d = 1) : numerator(n), denominator(d)
{
assert(denominator != 0);
}
int GetNumerator() const
{
return numerator;
}
int GetDenominator() const
{
return denominator;
}
};
const Rational operator* (const Rational& r1,const Rational& r2)
{
return Rational(r1.GetNumerator()* r2.GetNumerator(), r1.GetDenominator() *r2.GetDenominator());
}
int main()
{
Rational a(1,2);
Rational b = a * 2;
Rational c = 2 * a;//通过编译。
return 0;
}
我们通过以上两段代码能够看出non-member成员函数能够实现混合运算。事实上该函数的实质是利用了编译期间类对象的隐式转换实现的。
对于Rational c = 2 * a;
这句话,假设声明为类内的成员函数,那么编译器编译2 * a
时。由于2不是一个类的对象。所以编译器不会使用类内的那个成员函数。它会搜寻有没有别的operator*的重载函数。假设没有,编译失败。对于例二。正好有一个operator*函数。
又由于Rational类的构造函数是non-explicit类型,支持隐式转换,所以2被隐式转换为Rational类的对象,编译成功。
然而,在template中,想要实现以上功能。还要考虑其它的问题。
我们看以下的代码:
template<typename T>
class Rational{
public:
Rational(const T& numerator=0,const T& denominator=1);
const T numerator() const;
const T denominator() const;
……
};
template<typename T>
const Rational<T> operator*(const Rational<T>& lhs,const Rational<T>& rhs)
{……};
Rational<int> oneHalf(1,2);
Rational<int> result=oneHalf*2;//错误。无法通过编译
大家思考一下为什么oneHalf*2
这句话不能通过编译。事实上,operator*模板函数中參数有两个,所以它会分别对这两个參数进行匹配来确定函数模板类型,试想一下,函数模板在没有实例化之前是不存在的,不存在的函数怎么会实现參数的隐式转换?我们来判断一般模板函数的运行过程,首先。模板函数通过自身參数实例化,实例化之后才会被调用运行。然而。对于本例来说,两个參数的类型一个是Rational<int>
,还有一个是2
,在编译期间前者能够被判断出来类型是int的rational,后者却判断不出来。由于在template实參推导过程中从不将隐式类型转换考虑在内。
为了能让编译通过,我们能够进行例如以下改变
template<typename T>
class Rational
{
public:
……
friend const Rational operator*(const Rational& lhs,const Rational& rhs);
{
return Rational(lhs.numerator()*rhs.numerator(),lhs.denominator()*rhs.denominator());
}
};
将operator*变成Rational类的友元函数。这样在定义一个Rational<int>
对象的时候,operator*模板函数事实上已经被实例化了,这时候再调用oneHalf*2
这句话的时候,就是直接调用已经实例化的operator*函数了,所以,此时,它支持隐式转换。将2转换为Rational<int>
对象。
值得一提的是以上代码也可写成例如以下形式:
template<typename T>
class Rational
{
public:
……
friend const Rational<T> operator*(const Rational<T>& lhs,const Rational<T>& rhs);
{
return Rational<T>(lhs.numerator()*rhs.numerator(),lhs.denominator()*rhs.denominator());
}
};
也就是说Rational<T>
和Rational
的形式是一个意思,为了简化,我们能够用Rational
的形式。
由于这样将友元函数定义在Rational类中,也就默认是内联函数inline了,为了避免复杂的friend函数影响代码体积,我们利用另外的一种形式实现。
例如以下代码:
template<typename T> class Rational;//forward decelarion
template<typename T>
const Rational<T> doMultiply(const Rational<T>& lhs,const Rational<T>& rhs);
template<typename T>
class Rational{
public:
……
friend const Rational operator*(const Rational& lhs,const Rational& rhs);//声明+定义
{
return doMultiply(lhs,rhs);
}
};
template<typename T>
const Rational<T> doMultiply(const Rational<T>& lhs,const Rational<T>& rhs)
{
return Rational<T>(lhs.numerator()*rhs.numerator(),lhs.denominator()*rhs.denominator());
}
我们又又一次定义了一个非类成员函数non-member,将此函数的声明和定义都放在类的外部,这样就能避免代码膨胀问题。
总结
当编写一个class template时,它所提供之“与此template相关的”函数支持“全部參数之隐式类型转换”时。请将那些函数定义为class template内部的friend函数。
Effective C++ 条款46的更多相关文章
- Effective C++ -----条款46:需要类型转换时请为模板定义非成员函数
当我们编写一个class template,而它所提供之“与此template相关的”函数支持“所有参数之隐式类型转换”时,请将那些函数定义为“class template内部的friend函数”.
- [More Effective C++]条款22有关返回值优化的验证结果
(这里的验证结果是针对返回值优化的,其实和条款22本身所说的,考虑以操作符复合形式(op=)取代其独身形式(op),关系不大.书生注) 在[More Effective C++]条款22的最后,在返回 ...
- More Effective C++ 条款0,1
More Effective C++ 条款0,1 条款0 关于编译器 不同的编译器支持C++的特性能力不同.有些编译器不支持bool类型,此时可用 enum bool{false, true};枚举类 ...
- Effective C++ 条款08:别让异常逃离析构函数
1.别让异常逃离析构函数的原因 <Effective C++>第三版中条款08建议不要在析构函数中抛出异常,原因是C++异常机制不能同时处理两个或两个以上的异常.多个异常同时存在的情况下, ...
- Effective C++ -----条款28:避免返回handles指向对象内部成分
避免返回handles(包括reference.指针.迭代器)指向对象内部.遵守这个条款可增加封装性,帮助const成员函数的行为像个const,并将发生“虚吊号码牌”(dangling handle ...
- Effective C++ -----条款21:必须返回对象时,别妄想返回其reference
绝不要返回pointer或reference指向一个local stack对象,或返回reference指向一个heap-allocated对象,或返回pointer或reference指向一个loc ...
- Effective C++ -----条款19:设计class犹如设计type
Class的设计就是type的设计.在定义一个新type之前,请确定你已经考虑过本条款覆盖的所有讨论主题. 新type的对象应该如何被创建和销毁? 对象的初始化和对象的赋值该有什么样的区别? 新typ ...
- Effective C++ -----条款18:让接口容易被正确使用,不易被误用
好的接口很容易被正确使用,不容易被误用.你应该在你IDE所有接口中努力达成这些性质. “促进正确使用”的办法包括接口的一致性,以及与内置类型的行为兼容. “阻止误用"的办法包括建立新类型.限 ...
- Effective C++:条款27——条款
条款27:尽量少做转型动作 单一对象可能拥有一个以上的地址!
随机推荐
- hdu2289二分答案 圆台体积
精度小一点就能过 #include<bits/stdc++.h> #define maxn 1000000009 #define esp 1e-9 #define PI 3.1415926 ...
- HDU1730 Northcott Game 尼姆博弈
Northcott Game Time Limit: 1000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) T ...
- 2017-2018-2 20155309 南皓芯 Exp5 MSF基础应用
实践内容 本实践目标是掌握metasploit的基本应用方式,重点常用的三种攻击方式的思路.具体需要完成: 1.1一个主动攻击实践,如ms08_067; 1.2 一个针对浏览器的攻击,如ms11_05 ...
- Hibernate之集合映射的使用(Set集合映射,list集合映射,Map集合映射)
a:数据库的相关知识: (1):一个表能否有多个主键:不能: (2):为什么要设置主键:数据库存储的数据都是有效的,必须保持唯一性: (3)为什么id作为主键:因为表中通常找不到合适的列作为唯一列,即 ...
- mysql 不区分大小写的解决
mysql查询默认是不区分大小写的 如: select * from some_table where str=‘abc';select * from some_table where str='AB ...
- NFS服务自动搭建及挂载脚本
一.写脚本的动机 由于最近老是搭建NFS,虽然不复杂,但是很繁琐.安装服务.修改配置文件.手动挂载.写入开机自动挂载等于是就写了一个脚本 二.脚本说明及审明 作用:该脚本主要实现NFS自动安装,客户端 ...
- Codeforces 788C The Great Mixing
The Great Mixing 化简一下公式后发现, 问题变成了, 取最少多少数能使其和为1, bitset优化一下背包就好啦. 题解中介绍了一种bfs的方法没, 感觉比较巧妙. #include& ...
- Codeforces Round #441(Div.2) F - High Cry
F - High Cry 题目大意:给你n个数,让你找区间里面所有数或 起来大于区间里面最大数的区间个数. 思路:反向思维,找出不符合的区间然后用总数减去.我们找出每个数掌控的最左端 和最右端,一个数 ...
- K-means聚类算法及python代码实现
K-means聚类算法(事先数据并没有类别之分!所有的数据都是一样的) 1.概述 K-means算法是集简单和经典于一身的基于距离的聚类算法 采用距离作为相似性的评价指标,即认为两个对象的距离越近,其 ...
- php 代码中的箭头“ ->”是什么意思
类是一个复杂数据类型,这个类型的数据主要有属性.方法两种东西. 属性其实是一些变量,可以存放数据,存放的数据可以是整数.字符串,也可以是数组,甚至是类. 方法实际上是一些函数,用来完成某些功能. 引用 ...