C++ typename关键字的作用
2013-06-01 09:46
169 查看
参考:http://blog.163.com/cp7618@yeah/blog/static/70234777201122111034365/原文详细讲解typedef和typename的作用与区别
引用讲解typename作用部分:
2、类型解释Typename
Typename关键字告诉了编译器把一个特殊的名字解释成一个类型,在下列情况下必须对一个name使用typename关键字:
1. 一个唯一的name(可以作为类型理解),它嵌套在另一个类型中的。
2. 依赖于一个模板参数,就是说:模板参数在某种程度上包含这个name。当模板参数使编译器在指认一个类型时产生了误解。
保险起见,你应该在所有编译器可能错把一个type当成一个变量的地方使用typename。就像下面的例子中
typedef COne::one_value_type two_value_type;在编译CTwo类时编译器就可能把‘COne::one_value_type’当成一个变量,因为‘/*2’处我们使用了typename,所以编译器就知道了它是一个类型,可以用来声明并创建实例。
给你一个简明的使用指南:如果你的类型在模板参数中是有限制的,那你就必须使用typename.
#include"iostream"
#include "typeinfo" // for typeid()operator
using namespace std;
template
struct COne
{ // default member ispublic
typedef TPone_value_type;
};
template // 用一个模板类作为模板参数,这是很常见的
struct CTwo
{
//请注意以下两行
// typedefCOne::one_value_type two_value_type; // *1
typedeftypename COne::one_value_type two_value_type;//*2
};
// 以上两个模板类只是定义了两个内部的public类型, 但请注意第二个类CTwo的two_value_type类型
// 依赖COne的one_value_type, 而后者又取决于COne模板类实例化时传入的参数类型.
int main()
{
typedef COneOneInt_type;
typedefCTwo< 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作用部分:
2、类型解释Typename
Typename关键字告诉了编译器把一个特殊的名字解释成一个类型,在下列情况下必须对一个name使用typename关键字:
1. 一个唯一的name(可以作为类型理解),它嵌套在另一个类型中的。
2. 依赖于一个模板参数,就是说:模板参数在某种程度上包含这个name。当模板参数使编译器在指认一个类型时产生了误解。
保险起见,你应该在所有编译器可能错把一个type当成一个变量的地方使用typename。就像下面的例子中
typedef COne::one_value_type two_value_type;在编译CTwo类时编译器就可能把‘COne::one_value_type’当成一个变量,因为‘/*2’处我们使用了typename,所以编译器就知道了它是一个类型,可以用来声明并创建实例。
给你一个简明的使用指南:如果你的类型在模板参数中是有限制的,那你就必须使用typename.
#include"iostream"
#include "typeinfo" // for typeid()operator
using namespace std;
template
struct COne
{ // default member ispublic
typedef TPone_value_type;
};
template // 用一个模板类作为模板参数,这是很常见的
struct CTwo
{
//请注意以下两行
// typedefCOne::one_value_type two_value_type; // *1
typedeftypename COne::one_value_type two_value_type;//*2
};
// 以上两个模板类只是定义了两个内部的public类型, 但请注意第二个类CTwo的two_value_type类型
// 依赖COne的one_value_type, 而后者又取决于COne模板类实例化时传入的参数类型.
int main()
{
typedef COneOneInt_type;
typedefCTwo< 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),这样编译
器就可以顺利的工作了.
相关文章推荐
- C++ typename关键字的作用
- 从零开始学C++之模板(三):缺省模板参数(借助标准模板容器实现Stack模板)、成员模板、关键字typename
- C++ typename 关键字的使用方法和注意事项
- 从零开始学C++之模板(三):缺省模板参数(借助标准模板容器实现Stack模板)、成员模板、关键字typename
- C++ typedef typename 作用
- C++ Templates笔记 8 技巧性基础知识关键字typename
- C++ typedef typename 作用
- C++ typedef typename 作用
- C++ typedef typename 作用
- 缺省模板参数(借助标准模板容器实现Stack模板)、成员模板、关键字typename
- C++中explicit关键字的作用
- C++ typename 用法
- C++中static关键字的作用
- Why C++ Supports both Class and Typename for Type Parameters
- cpp typename关键字
- 程序员面试金典: 9.13 C和C++ 13.5C语言的关键字"volatile"有何作用?
- C++ template typename class
- c语言==测量各种数据类型的长度以及typedf关键字对数据类型的作用
- C++ typename的起源与用法
- C/C++中static关键字作用总结