C++中typename用法

typename用法：

1、在c++模板中，用于类型参数化的关键字
2、内嵌、依赖类型名
注：C++11中， typename用于指明紧跟其后的是个类型

1. 在C++中typename一般用来声明模板的模板参数(template parameter):
template<typename T> class X; //T是一个模板参数

2.c++内嵌、依赖、类型名

为什么使用typename关键字
那么问题来了，为什么要加上typename关键字？typedef std::vector<T>::size_type size_type;//why not?
实际上，模板类型在实例化之前，编译器并不知道vector<T>::size_type是什么东西，事实上一共有三种可能：静态数据成员
静态成员函数
嵌套类型那么此时typename的作用就在此时体现出来了——定义就不再模棱两可。

首先是两个概念：
1). qualified name
例如:std::cout, std::endl;这样含有作用域符号(::)的就是限定名，
当我们用using声明将cout,endl引入到当前作用域之后就可以直接使用
这两个名称，这个时候cout，endl就不是限定名了。
2). dependent name
dependent name是依赖于模板参数的类型,例如：

 template <typename T> class X {int i;std::vector<int> ivec;std::vector<int>::iterator iter;T type;std::vector<T> tvec;std::vector<T>::iterator titer;
};

前3个成员变量是不依赖于模板参数,所以是non-dependent name,后3个是dependent name,直到实例化该模板的时候才会知道到底是什么类型。

下面来讨论typename的第二种用法。现在假设我们有一个类如下：

template <typename T> class Y
{T::iterator *iter;...
};

我们可能本意是想定义一个迭代器对象，例如我们如果用vector<int>来实例化这个模板，那么iter
则应该是一个迭代器指针，但是，如果我们用下面这个类来实例化这个模板：

class cType {static int iterator;...
};
/* 那么T::iterator *iter会被编译器解释为两个数相乘。事实上，C++编译器会采用第二种解释方法，即使iterator的确是一个类型名。为了避免这种矛盾，当我们使用qualified dependent name的时候，需要用typename来指出这是一个类型名.即: */template <typename T> class Y
{typename T::iterator *iter;typedef typename T::iterator iterator; //定义了Y::iterator类型名称...
};

typename 指出下面紧跟着的名称是一个类型

1、内嵌是指定义在类名的定义中的。

2、依赖是指依赖于一个模板参数。typename iterator_traits<_InputIter>::difference_type中difference_type依赖于模板参数_InputIter。

3、类型名是指这里最终要指出的是个类型名，而不是变量。
例如iterator_traits<_InputIter>::difference_type完全有可能是类iterator_traits<_InputIter>类里的一个static对象。而且当我们这样写的时候，C＋＋默认就是解释为一个变量的。所以，为了和变量区分，必须使用typename告诉编译器。

总结：T::iterator这种名称，由于iterator具体是类型还是成员变量取决于T的类型实现，所以当我们知道T::iterator是个类型名称时，如果我们要使用这个类型名，前面必须要加typename.

typename紧跟类型的例子：

#include <iostream>
using namespace std;struct MyClass {typedef int SubType;
};template<typename T>
class MyTemp {
public:typename T::SubType* ptr;MyTemp(const decltype(ptr) a) {ptr = a;}void print() {cout << "ptr_value: " << *ptr << endl;}};int main(void) {int a = 10;MyTemp<MyClass> temp(&a);temp.print();return 0;
}

C++中typename用法相关推荐

模板编程中typename用法
模板编程中typename用法文章目录模板编程中typename用法 typename的常规用法 typename的第二个用法:修饰类型 typename使用规则 typename的常规用法 ty ...
C++ 中 typename用法
1.typename的常规用法 typename在C++类模板或者函数模板中经常使用的关键字,此时作用和class相同,只是定义模板参数: 2.typename的第二个用法:模板中标明"内嵌 ...
C++（八）——typename用法
1.typename来源 1.1原因1: 从表面上看,下面模板的参数只支持用户自定义类型,但其实对语言内置类型或者指针调用也支持: template <class T> int compa ...
c++ typename用法
1. //在C++中typename一般用来声明模板的模板参数(template parameter): template<typename T> class X; //T是一个 ...
c++中static_cast用法与uchar/char的区别
1.c++中static_cast用法 static_cast是指显性类型强制转换,如: int a = static_cast<int>(120.34); 结果为a= 120. 和C语言 ...
简单介绍Python中异常处理用法
这篇文章主要给大家分享的是 Python中异常处理用法,为了保证程序的健壮性与容错性,即在遇到错误时候程序不会崩溃,我们需要对异常进行处理,下面来看看文章对此的用法,需要的朋友可以参考一下为了保证程 ...
关于OpenCV中常见函数用法总结
关于OpenCV中常见函数用法总结一一般Mat的赋值操作二求Mat中的最大值以及最小值三 randn()函数给图像添加高斯噪声四 mean()函数的用法五系统计时器六矩阵之间的四则 ...
java中import用法
java中import用法单类型导入(single-type-import),例如import java.io.File; 按需类型导入(type-import-on-demand),例如 impo ...
一个线程中lock用法的经典实例
1 /* 2 该实例是一个线程中lock用法的经典实例,使得到的balance不会为负数 3 同时初始化十个线程,启动十个,但由于加锁,能够启动调用WithDraw方法的可能只能是其中几个 4 作者: ...

C++中typename用法

typename 指出下面紧跟着的名称是一个类型

C++中typename用法相关推荐

最新文章

热门文章