C++ 关键字 typeid, typename
类型标识符(typeid)
标准C++的一个新特征是RTTI(Run-Time Type Information运行时类型信息),它为程序在运行时确定对象类型,提供了一种标准方法。在标准C++中,有三个支持RTTI的元素:
1. 关键字dynamic_cast(动态强制转换):操作符dynamic_cast将一个指向基类的指针转换为一个指向派生类的指针(如果不能正确转换,则返回0——空指针),格式为:
dynamic_cast < type-id > ( expression )
dynamic_cast在转化过程中要用到相关类的类型信息类type_info中的信息。该关键字在前面的小小节1.2)中已经介绍过。
2. 关键字typeid(类型标识符):用来检测指针类型(返回type_info类对象的指针),格式为:
typeid ( expression ) 或 typeid ( type-id )
其中,expression为结果为对象的表达式,type-id为类名。
3. 类type_info(类型信息):存储特定类型的有关信息,定义在<typeinfo>头文件中。type_info类的具体内容由编译器实现来决定,但是至少必须包含返回字符串的name()成员函数。下面是type_info类的VC05实现版本:
class type_info { // VC05中定义的简化
public:
virtual ~type_info();
bool operator==(const type_info& rhs) const;
bool operator!=(const type_info& rhs) const;
int before(const type_info& rhs) const;
const char* name() const;
const char* raw_name() const;
private:
void *_m_data;
char _m_d_name[1];
type_info(const type_info& rhs);
type_info& operator=(const type_info& rhs);
static const char *_Name_base(const type_info *prhs, __type_info_node* __ptype_info_node);
static void _Type_info_dtor(type_info *prhs);
};
例如:(可建立一个名为tmp的“Visual C++/常规/空项目”型项目,将如下两个文件加入到该项目中)
// tmp.h
template<class T> class A { };
// tmp.cpp
#include <typeinfo.h>
#include <iostream>
#include "tmp.h"
using namespace std;
int main( ){
A<int> a;
A<char> b;
cout << typeid(a).name() << endl;
cout << typeid(b).name() << endl;
if (typeid(a) == typeid(b)) cout << "a==b" << endl;
else cout << "a!=b" << endl << endl;
cout << endl;
int i;
cout << typeid(int).name() << endl;
cout << typeid(i).name() << endl;
if (typeid(int) == typeid(i)) cout << "typeid(int) = typeid(i)" << endl;
else cout << "typeid(int) != typeid(i)"<< endl;
cout << endl;
}
输出结果为:
class A<int>
class A<char>
a!=b
int
int
typeid(int) = typeid(i)
注意:只有对包含虚函数的抽象类层次,使用RTTI才有实际意义。
8)类型名(typename)
对于有的嵌套类中的标识符,本来应该作为类型来处理,但是编译器并不知道这一点,而可能把它当成了静态变量。
对模板中出现的一个标识符,若编译器既可以把它当作一个类型,又可以把它视为一个变量、对象、枚举、函数或模板时,则编译器一般不会认为这个标识符是类型,而认为它是一个其他元素(例如是变量或对象)。
解决办法是,使用标准C++新增加的关键字typename,来明确告诉编译器,它后面的标识符是一个类型名,而不是其他什么东西。
例如:
template<class T> class X {
typename T::id i; // 如果没有typename来说明,编译器会将T::id当成静态变量
public:
void f ( ) { i.g( ); }
};
class Y {
public:
class id {
public:
void g( ) { }
};
};
int main ( ) {
X<Y> xy;
xy.f ( );
}
最后一种用法是说,可以用typename来代替模板声明中的类型参数class,即:可将
template<class T> ……
改为
template<typename T> ……
而且这样更名符其实。因为除了类类型外,基本数据类型和结构等类型,也是可以作为模板的类型参数的。
例如:(能够打印任意标准C++序列容器中的数据的函数模板)
#include <iostream>
#include <list>
#include <memory>
#include <vector>
using namespace std;
template < class T, template < class U, class = allocator < U > > class Seq >
void printSeq(Seq < T >& seq) ... {
for (typename Seq<T>::iterator b = seq.begin(); b != seq.end(); b++)
cout << *b << endl;
}
int main ( ) ... {
// 处理矢量
vector<int> v;
v.push_back(1); v.push_back(2);
printSeq(v);
// 处理表
list<int> lst;
lst.push_back(3); lst.push_back(4);
printSeq(lst);
}
输出为:
1
2
3
4
注意:关键字typename并不能创建一个新类型名,它只是通知编译器,将标识符解释为类型。若想创建一个新类型名,你可以使用关键字typedef。例如
typename Seq<T>::iterator It; // 告诉编译器iterator是类型,It是该类型的变量
typedef typename Seq<T>::iterator It; // 创建了一个与iterator等价的新类型名It
width="728" scrolling="no" height="90" frameborder="0" align="middle" src="http://download1.csdn.net/down3/20070601/01184120111.htm" marginheight="0" marginwidth="0">
C++ 关键字 typeid, typename相关推荐
- gcc或者clang输出typeid(typename).name()的全称
方法一:借助管道通过 c++filt -t main.cpp #include <iostream> #include <typeinfo>int main() {std::c ...
- typename关键字:几乎令人忽略的typename
前言: typename关键字是我们学习模板的时候,了解到的一个关键字.但在这几天之前,也仅仅是了解到有这个关键字,而几乎不用这个关键字.在个人看来,在template的参数中,由于class的存在这 ...
- 标准c语言有几个关键字,C语言有多少个关键字
满意答案 zx01015402 2014.05.07 采纳率:47% 等级:7 已帮助:1012人 标准 C++ 关键字如下: "and ", "and_eq &q ...
- c语言while的读音,c++中所有关键字的发音和意思,要详细!!!!
满意答案 ___执子之手17 2013.06.05 采纳率:46% 等级:12 已帮助:9027人 asm[1] auto bad_cast bad_typeid bool break case ...
- (转载)你好,C++(7)第三部分 C++世界众生相 3.2.1 变量的定义与初始化
你好,C++(7)第三部分 C++世界众生相 3.2.1 变量的定义与初始化 第3部分 C++世界众生相 在听过了HelloWorld.exe的自我介绍,完成了与C++世界的第一次亲密接触后,大家是不 ...
- effective C++ 条款 47:使用traits classes表现类型信息
stl主要由"用以表现容器.迭代器和算法"的template构成,但也覆盖若干工具性的templates,其中一个名为advance,将某个迭代器移动某个给定距离: templat ...
- 达梦数据库导入oracle数据_Java项目,从Oracle迁移到达梦数据库笔记
达梦数据库是个国产数据库,据说对Oracle有很好的兼容,本人亲自从Oracle11g迁移到达梦6.0的数据库上来,遇到一些问题,以下是问题记录: 1.字段名错误 虽然达梦SQL可以兼容字段大小写,但 ...
- C++编程思想:模板
文章目录 模板的特性1:需要遵守约定 模板类型的模板参数 函数成员模板和类成员模板 模板特化以及模板重载 模板中的符号解析 模板的特性1:需要遵守约定 模板将类型以一个标识符替代,想要使用模板就需要遵 ...
- C++基础知识(二)—— 变量和数据类型
你可能觉得这个"Hellow World"程序用处不大.我们写了好几行代码,编译,然后执行生成的程序只是为了在屏幕上看到一句话.的确,我们直接在屏幕上打出这句话会更快.但是编程并不 ...
最新文章
- php将数组最后一个单元弹出,php array_pop()数组函数将数组最后一个单元弹出(出栈)...
- java lock condition_Java 通过 Lock 和 竞争条件 Condition 实现生产者消费者模式
- Django2.0中文文档
- 在C#2.0中使用Nullable可空类型
- centos7 mysql tar_CentOS7中mysql-5.7.21-el7-x86_64.tar.gz版MySQL的安装与配置
- Angular的@Output与@Input理解
- 教育|我在美国读博士才发现,美国高等教育如此残酷,以前的感觉完全是扯淡...
- log4cpp 使用完全手册
- LitePal的使用——Android开源数据库
- ibm刀片服务器虚拟化,刀片服务器内置虚拟化 IBM升级服务器
- struts1的配置文件详解
- LEADTOOLS 文档 SDK,创建以下任何对象
- 不谋一时不足以谋一域_“不谋万世者,不足谋一时。不谋全局者,不足谋一隅”出自哪里?是什么意思?...
- linux执行scp命令出错
- CUDA: Occupancy(占用率)详解
- 亿级(无限级)并发,没那么难-科普文
- 【树】B032_LC_ 二叉树中的伪回文路径(暴力 / 优化)
- 气象卫星_全国自动站资料文件名规定(1)
- GMT格式的时间处理 Thu Jan 01 00:00:00 +0000 2009成时间戳
- lg显示器工厂模式怎么进入_LG液晶显示器进入工厂模式方法.doc