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

你当然可以使用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是如何工作的。

c++和Javascript的主要区别在于c++是静态类型的语言，而Javascript是动态的。

在动态类型语言中，变量可以包含任何东西，它的类型由它所持有的值决定。 在静态类型语言中，变量的类型是声明的，并且不能改变。

可以有动态分派、对象组合和子类型(继承和虚函数)，也可以有静态分派和超类型(通过模板CRTP)，但在任何情况下，编译器必须知道变量的类型。

如果你不知道它是什么或可能是什么，那是因为你设计了一些东西，因为语言有一个动态类型系统。

如果是这种情况，你最好重新考虑一下你的设计，因为它将进入一个对你所使用的语言来说不自然的领域(最像和毛毛虫一起在高速公路上行驶，或者和汽车一起在水里行驶)

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

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

你可以使用这条比较线:

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

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

通常，想要在c++中找到变量的类型是一个错误的问题。它往往是从过程性语言(例如C或Pascal)中继承下来的。

如果你想根据类型编写不同的行为，试着学习例如函数重载和对象继承。在你学习c++的第一天，这不会马上有意义，但请坚持下去。

#include <typeinfo>

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