在 C++ 中,`typeid` 和 `typename` 是两个关键字,用于类型相关的操作和推导。
**1. typeid 运算符**
`typeid` 运算符用于获取表达式的类型信息,返回一个 `std::type_info` 对象,表示表达式的实际类型。它通常与 `type_info` 类的成员函数一起使用,例如 `name()` 用于获取类型的名称。
示例:
```cpp
#include <iostream>
#include <typeinfo>
class Base {
public:
virtual void foo() {}
};
class Derived : public Base {};
int main() {
Base* basePtr = new Derived();
// 使用 typeid 获取对象的类型信息
const std::type_info& typeInfo = typeid(*basePtr);
// 使用 type_info 的成员函数获取类型名称
std::cout << "Object Type: " << typeInfo.name() << std::endl;
delete basePtr;
return 0;
}
```
输出:
```
Object Type: class Derived
```
在上述示例中,`typeid(*basePtr)` 返回的 `type_info` 对象表示 `*basePtr` 的实际类型,即 `Derived` 类型。`type_info::name()` 返回一个字符串,表示类型的名称。
**2. typename 关键字**
`typename` 关键字用于指示在模板中引用类型依赖名称时,其后面的标识符是类型而不是变量。在模板中,当依赖名称表示类型时,必须使用 `typename` 作为前缀。
示例:
```cpp
#include <iostream>
template <typename T>
void printSize() {
typename T::size_type size; // 使用 typename 前缀表示 T::size_type 是一个类型
std::cout << "Size: " << sizeof(size) << std::endl;
}
class MyClass {
public:
using size_type = int;
};
int main() {
printSize<MyClass>(); // 输出 Size: 4 (sizeof(int))
return 0;
}
```
在上述示例中,`printSize` 是一个模板函数,它接受一个类型 `T` 作为模板参数。在函数内部,使用 `typename` 前缀指示 `T::size_type` 是一个类型,而不是变量。这允许在模板中引用依赖类型的成员类型。
请注意,使用 `typename` 关键字的场景通常是在模板中,用于指示依赖类型的成员类型。在其他上下文中,`typename` 不是必需的。