C++高级面试题：解释 C++ 中的动态类型（Dynamic Typing）和静态类型（Static Typing）

解释 C++ 中的动态类型（Dynamic Typing）和静态类型（Static Typing）

C++ 中的动态类型（Dynamic Typing）和静态类型（Static Typing）是与类型检查相关的两个概念。

静态类型（Static Typing）：

在编译时进行类型检查，编译器可以确定每个表达式的类型。
在编译期间就能够检测出类型错误，因此可以提前发现和解决许多类型相关的问题。
C++ 是一种静态类型的语言，变量的类型在编译时是确定的，不能随意更改。
动态类型（Dynamic Typing）：

在运行时进行类型检查，变量的类型可以在运行时根据赋给它的值而变化。
变量的类型不是在编译时确定的，而是在运行时动态地确定。
动态类型通常用于动态语言，如 Python、JavaScript 等。
举例来说，考虑下面的代码片段：

int x = 10;

在这里，x 的类型是在编译时确定的，因此它是静态类型的。而在动态类型的语言中，变量的类型可以根据分配给它的值来确定。例如，在 Python 中，可以编写以下代码：

x = 10
x = "hello"

在这个例子中，变量 x 的类型在运行时是动态确定的。在赋值为整数 10 时，它是整数类型；在赋值为字符串 “hello” 时，它变成了字符串类型。

在 C++ 中，静态类型主导，因为类型检查在编译时进行。因此，编译器可以提前检测出许多类型错误，这有助于提高代码的健壮性和可靠性。
下面是一个示例，展示了静态类型和动态类型的区别：

#include <iostream>

// 静态类型
void printStaticType(int x) {
    std::cout << "Static type: int" << std::endl;
}

// 动态类型
template <typename T>
void printDynamicType(T x) {
    std::cout << "Dynamic type: " << typeid(x).name() << std::endl;
}

int main() {
    int a = 5;

    // 调用静态类型函数
    printStaticType(a);

    // 调用动态类型函数
    printDynamicType(a);

    double b = 3.14;

    // 调用静态类型函数
    printStaticType(b);

    // 调用动态类型函数
    printDynamicType(b);

    return 0;
}

在这个示例中，我们定义了两个函数 printStaticType 和 printDynamicType。printStaticType 函数的参数是一个 int 类型的值，因此它的类型是静态确定的。printDynamicType 函数使用了模板，其参数类型是模板参数 T，因此它的类型是动态确定的。

在 main() 函数中，我们分别用 int 和 double 类型的值调用了这两个函数。在编译时，printStaticType 函数的类型已经确定为 int，而 printDynamicType 函数的类型会根据传入的参数类型在运行时动态确定。