explicit
如果A类有某个构造函数的单个输入参数,是B类(包括基本数据类型)的对象或引用,则C++的编译器会在需要A类形参的函数调用中,自动调用该构造函数,将B类实参隐式地转换为A类实参。
这种自动类型转换的好处是,避免了定义函数的两个重载版本,代价是隐式调用构造函数会增加调用开销,并可能会带来其他问题。
在标准C++中,新增加了关键字explicit(显式/清楚/明确),(只能)用在带单个参数的构造函数前,告诉编译器,不能使用该构造函数进行隐式类型转换。如果确实想转换,则必须采用显式的类型转换方式来进行。从而避免了可能出现的问题和额外的调用开销。
例如:
class One {……};
class Two {
public:
explicit Two (const One& one) {……}
};
void f (Two two) {……}
int main ( ) {
One one;
f (one); // 错误(前面代码中无explicit时正确——调用Two(one)进行隐式类型转换)
f (Two(one)); // 正确——采用了显式类型转换
}
export
为了访问其他编译单元(如另一代码文件)中的变量或对象,对普通类型(包括基本数据类、结构和类),可以利用关键字extern,来使用这些变量或对象时;但是对模板类型,则必须在定义这些模板类对象和模板函数时,使用标准C++新增加的关键字export(导出/出口/输出)。例如:
extern int n;
extern struct Point p;
extern class A a;
export template<class T> class Stack<int> s;
export template<class T> void f (T& t) {……}
一般是在头文件中给出类的定义或全局函数的声明信息,而在代码文件中给出具体的(类成员函数或全局函数的)函数定义。然后在多个用户代码文件中包含该头文件后,就可以使用其中定义或声明的类和函数。头文件中一般不包含变量、结构和类对象的定义,因为这样可能会导致重复定义的编译错误。解决办法是,在某个代码文件中进行定义,在其他用户代码文件中用extern来引用它们。
但是对模板类型,则可以在头文件中,声明模板类和模板函数;在代码文件中,使用关键字export来定义具体的模板类对象和模板函数;然后在其他用户代码文件中,包含声明头文件后,就可以使用该这些对象和函数了。例如:
// out.h:(声明头文件——只包含out函数的声明信息)
template<class T> void out (const T& t);
// out.cpp:(定义代码文件——包含out函数的声明[通过include]和定义等全部信息)
#include <iostream>
#include “out.h”
export template<class T> void out (const T& t) {std::cerr << t;}
//user.cpp:(用户代码文件——包含函数的声明头文件后就可以使用该函数)
#include “out.h”
// 使用out()
说明:VC05目前还不支持export关键字(的编译)。
mutable
在类的常型(const)成员函数中,一般是不让改变类中数据成员的。如果想在常型成员函数中改变类的数据成员,在传统C++中,为达到此目,可采用一种奇怪的方式——先将this指针强制转换成一个本类的指针,然后就可以利用该指针来对类的数据成员进行任意的修改。但是,这种修改是隐藏在成员函数内部的,在类定义(头文件)中根本看不出来,而且它也破坏了设置常型成员函数的本意。
标准C++中新增加了一个关键字mutable(易变/可变/不定/无常的),用在类的数据成员前,明确表示该成员变量可以在常型成员函数中被修改。例如:
class A {
int i;
mutable int j;
public:
void f ( ) const;
};
void A::f ( ) const {
i++; // 错误——常型成员函数不允许改变数据成员的值
((A*)this)->i++; // 可以——已经过时,不被提倡
j++; // 正确——mutable型成员变量
}
类型说明typedef
类型说明的格式为:
typedef 类型 定义名;
类型说明只定义了一个数据类型的新名字而不是定义一种新的数据类型。定义名表示这个类型的新名字。
例如: 用下面语句定义整型数的新名字:
typedef int SIGNED_INT;
使用说明后, SIGNED_INT就成为int的同义词了, 此时可以用SIGNED_INT 定
义整型变量。
例如: SIGNED_INT i, j;(与int i, j等效)。
但 long SIGNED_INT i, j; 是非法的。
typedef同样可用来说明结构、联合以及枚举和类。
说明一个结构的格式为:
typedef struct{
数据类型 成员名;
数据类型 成员名;
...
} 结构名;
此时可直接用结构名定义结构变量了。例如:
typedef struct{
char name[8];
int class;
char subclass[6];
float math, phys, chem, engl, biol;
} student;
student Liuqi;
则Liuqi被定义为结构数组和结构指针。
类型解释Typename
Typename关键字告诉了编译器把一个特殊的名字解释成一个类型,在下列情况下必须对一个name使用typename关键字:
1. 一个唯一的name(可以作为类型理解),它嵌套在另一个类型中的。
2. 依赖于一个模板参数,就是说:模板参数在某种程度上包含这个name。当模板参数使编译器在指认一个类型时产生了误解。
保险期间,你应该在所有编译器可能错把一个type当成一个变量的地方使用typename。就像上面那个例子中的T::id,因为我们使用了typename,所以编译器就知道了它是一个类型,可以用来声明并创建实例。
给你一个简明的使用指南:如果你的类型在模板参数中是有限制的,那你就必须使用typename.
#include <iostream>
#include <typeinfo> // for typeid() operator
using namespace std;
template <typename TP>
struct COne { // default member is public
typedef TP one_value_type;
};
template <typename COne> // 用一个模板类作为模板参数, 这是很常见的
struct CTwo {
// 请注意以下两行
// typedef COne:one_value_type two_value_type; // *1
typedef typename COne:one_value_type two_value_type; // *2
};
// 以上两个模板类只是定义了两个内部的public类型, 但请注意第二个类CTwo的two_value_type类型
// 依赖COne的one_value_type, 而后者又取决于COne模板类实例化时传入的参数类型.
int main()
{
typedef COne<int> OneInt_type;
typedef CTwo< OneInt_type > TwoInt_type;
TwoInt_type::two_value_type i;
int j;
if ( typeid(i) == typeid(j) ) // 如果i是int型变量
cout << "Right!" << endl; // 打印Right
return;
}
以上例子在Linux下用G++ 2.93编译通过, 结果打印"Right". 但是如果把*1行的注释号去掉, 注释
*2行, 则编译时报错, 编译器不知道COne:one_value_type为何物. 通常在模板类参数中的类型到
实例化之后才会显露真身, 但这个CTwo类偏偏又要依赖一个已经存在的COne模板类, 希望能够预先
保证CTwo::two_value_type与COne:one_value属于同一类型, 这是就只好请typename出山, 告诉
编译器, 后面的COne:one_value_type是一个已经存在于某处的类型的名字(type name), 这样编译
器就可以顺利的工作了.
使用typename来代替class
详细介绍了typename的使用方法之后,我们现在就可以选择typename来取代class声明,这样可以增加程序的清晰度。
//: C03:UsingTypename.cpp
// Using 'typename' in the template argument list
template<typename T> class X { };
int main()
{
X<int> x;
} ///:~
你当然也会看到许多类似的代码没有使用typename关键字,因为模板概念诞生之后很久了,才有了typename关键字的加入。
用typename自定义一个类型
要知道typename关键字不会自动的typedef,
typename Seq::iterator It;
只是声明了一个Seq::iterator类型的变量,如果你想定义一个新类型的话,你必须这样:
typedef typename Seq::iterator It;