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

我不确定我的回答是否有用。

简单的回答是，你不需要/不想知道变量的类型来使用它。

如果你需要给一个静态变量一个类型，那么你可以简单地使用auto。

在更复杂的情况下，你想在类或结构中使用“auto”，我建议使用template with decltype。

例如，假设你正在使用别人的库，它有一个名为“unknown_var”的变量，你想把它放在一个向量或结构中，你完全可以这样做:

template <typename T>
struct my_struct {
    int some_field;
    T my_data;
};
vector<decltype(unknown_var)> complex_vector;
vector<my_struct<decltype(unknown_var)> > simple_vector

希望这能有所帮助。

编辑:为了更好地衡量，这里是我能想到的最复杂的情况:有一个未知类型的全局变量。在这种情况下，您将需要c++14和模板变量。

就像这样:

template<typename T> vector<T> global_var;

void random_func (auto unknown_var) {
    global_var<decltype(unknown_var)>.push_back(unknown_var);
}

它仍然有点乏味，但它是最接近无类型语言的。只要确保当你引用模板变量时，总是把模板规范放在那里。

我相信我有一个使用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;

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

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

你可以使用这条比较线:

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

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

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

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