说 C++ 是类型安全的强类型语言，这句话其实不完全准确。更精确的说法是，C++ 是一门静态类型、强类型但并非完全类型安全的语言。
我们先来理解一下你提到的两个概念，以及它们在C++中的具体体现。
强类型（Strongly-typed）
强类型主要指的是，在语言中，不同类型的数据之间操作时，编译器会进行严格的类型检查。如果操作的数据类型不匹配，编译器会报错，除非你进行了明确的类型转换（Type Casting）。
例如，你不能直接将一个字符串赋给一个整型变量，或者将一个浮点数赋给一个整型变量而没有任何警告或转换。这种严格的检查有助于在编译阶段就发现潜在的错误，减少运行时的问题。
在 C++ 中，这种特性很明显：
int a = 10;
// 下面这行代码会报错，因为 "hello" 是字符串，和 int 类型不匹配。
// int b = "hello";
double c = 3.14;
// 下面这行代码会报警告或错误，因为将 double 赋给 int 可能会丢失数据。
// int d = c;
类型安全（Type-safe）
类型安全指的是，一个语言能够保证程序在运行过程中，不会出现由于类型不匹配而导致的未定义行为（Undefined Behavior）。也就是说，你无法通过任何方式（包括类型转换）来破坏类型的约束，从而访问或修改不属于该类型的数据。
C++ 在这方面并不是完全安全的。虽然编译器在大部分情况下会进行严格检查，但它提供了像 C 风格的强制类型转换（reinterpret_cast）这样的工具，可以让你绕过类型系统，直接将一块内存看作是另一种类型。这种操作是非常危险的，因为它允许你随意解释内存，可能导致程序崩溃、数据损坏或者安全漏洞。
例如，下面这个例子就展示了 C++ 不类型安全的一面：
int a = 65; // 'A' 的 ASCII 码
// 使用 reinterpret_cast 将 int 的内存地址直接解释为 char*
char* p = reinterpret_cast<char*>(&a);
// p 指向的内存实际上是一个 int，但我们把它当成 char* 使用
// *p 打印出来会是 'A'，看起来没问题。
// 但如果 a 的值很大，超出了 char 的范围，或者进行了更复杂的内存操作，就会导致未定义行为。
总结
强类型：关注的是 编译时 的类型检查，要求操作类型匹配。C++是强类型的，这有助于在早期发现错误。
“强类型”的定义是相对的，通常指的是语言的类型系统对类型转换的限制程度。在C++中，
int和float之间的转换被认为是安全的，或者至少是可预测的，所以编译器允许这种隐式转换（Implicit Conversion）。
类型安全：关注的是 运行时 的类型行为，保证不会出现由于类型不匹配而导致的未定义行为。C++并不是完全类型安全的，因为它的某些特性（如强制类型转换）允许程序员绕过类型系统，进行危险的内存操作。
因此，说 C++ 是静态类型和强类型的语言是准确的，但说它是类型安全的则需要加上限定条件，因为它给予了程序员极高的自由度，同时也带来了潜在的风险。正是这种自由度，让 C++ 在需要高性能和底层控制的领域（如游戏开发、嵌入式系统）中有着不可替代的地位。
那 C++ 也不是强类型啊？int 和 float 在很多情况下可以昏庸
你说得对，这是一个非常好的补充和疑问。你提到的 int 和 float 之间可以混用（在特定情况下隐式转换）这一点，确实是C++在“强类型”这个概念上不那么绝对的一个例子。
强类型与隐式转换
“强类型”的定义是相对的，通常指的是语言的类型系统对类型转换的限制程度。在C++中，int 和 float 之间的转换被认为是安全的，或者至少是可预测的，所以编译器允许这种隐式转换（Implicit Conversion）。
例如：
C++
float f = 10; // int 隐式转换为 float，没问题
int i = 3.14; // float 隐式转换为 int，但会丢失小数部分，编译器通常会给个警告
这和将一个字符串 string 赋给一个整数 int 完全是两码事。后者是完全不相干的类型，编译器会直接报错，因为这种操作是毫无意义且不安全的。
C++的类型系统：一个光谱
与其把C++简单地归类为“强类型”或“弱类型”，不如把它看作是一个介于两者之间的语言，但在光谱上更偏向于强类型。
强类型语言（Strongly-typed）：严格限制不同类型之间的操作，除非进行显式转换。例如Python和Java，在这些语言中，将一个整数赋给一个浮点数是允许的，但将一个字符串赋给一个整数会报错。C++在这方面很像它们。
弱类型语言（Weakly-typed）：类型可以随意转换，编译器或解释器在运行时会尽力去猜你想做什么。例如JavaScript。在JavaScript中，"10" + 5 可能会得到 "105"。这种行为在C++中是绝对不会发生的。
C++的类型系统设计理念是：能隐式转换的，都是开发者“很可能”想要，且转换后行为可预测的。 否则，就需要显式地告诉编译器“我就是要这么做”，也就是使用强制类型转换（Casting）。
结论：
C++之所以被称为强类型语言，是因为它和像JavaScript、PHP这种弱类型语言相比，类型约束要严格得多。但它又不像一些非常强类型的语言（比如Haskell），后者对类型转换的限制更加苛刻。
所以，更严谨的说法是，C++是静态类型语言，类型相对较强，但为了兼顾性能和灵活性，允许一些有限的隐式类型转换。
你提出的这个例子很好地说明了语言类型系统不是非黑即白的，而是一个连续的谱系。你对C++的理解非常深入，还想深入探讨C++的哪些特性呢？