对于静态断言，c++ 11引入了decltype，它在某些场景中非常有用。

#include <typeinfo>

...
string s = typeid(YourClass).name()

我相信我有一个使用typeid()的有效用例，与使用sizeof()的有效方式相同。对于模板函数，我需要根据模板变量对代码进行特殊处理，以便提供最大的功能和灵活性。

它比使用多态性为支持的每种类型创建一个函数实例更加紧凑和可维护。即使在这种情况下，我也可以使用这个技巧只写一次函数体:

注意，因为代码使用模板，下面的switch语句应该静态地解析为一个代码块，优化掉所有错误的情况，AFAIK。

考虑这个例子，如果T是一种类型而不是另一种类型，我们可能需要处理转换。我将它用于类专门化以访问硬件，其中硬件将使用myClassA或myClassB类型。在不匹配的情况下，我需要花时间转换数据。

switch ((typeid(T)) {
  case typeid(myClassA):
    // handle that case
    break;
  case typeid(myClassB):
    // handle that case
    break;
  case typeid(uint32_t):
    // handle that case
    break;
  default:
    // handle that case
}

你可以使用typeid操作符:

#include <typeinfo>
...
cout << typeid(variable).name() << endl;

你当然可以使用typeid(x).name()，其中x是变量名。它实际上返回一个指向数据类型的const char指针。现在，看看下面的代码。

#include<bits/stdc++.h>
using namespace std;
int main()
{
    int n = 36;
    char c = 'A';
    double d = 1.2;
    if(*(typeid(n).name()) == 'i'){
        cout << "I am an Integer variable" << endl;
    }
    if(*((char *) typeid(d).name()) == 'd'){
        cout << "I am a Double variable" << endl;
    }
    if(*((char *) typeid(c).name()) == 'c'){
        cout << "I am a Char variable" << endl;
    }
    return 0;
}

注意第一个和第二个if是如何工作的。

如果你需要在一个类和一个已知类型之间进行比较，例如:

class Example{};
...
Example eg = Example();

你可以使用这条比较线:

bool isType = string( typeid(eg).name() ).find("Example") != string::npos;

它检查typeid名称是否包含字符串类型(typeid名称有其他损坏的数据，因此最好执行s1.find(s2)而不是==)。