向某人解释为什么类型转换不会在编译时自动完成

Question

最近，当我为 Fortran 程序员撰写 C 语言简介时，其中一位 Fortran 程序员问我有关类型转换的问题。 对他来说，在 C 中你必须显式地转换变量而不是让编译器自动为你做这件事，这并没有什么意义。
事实上，我很难证明这是一件好事，因为它有助于避免无意的错误。

你会如何证明这一点？

Answer 1

C 不需要强制转换。转换大部分是在编译时自动完成的。

这有效并且是惯用的 C

#include <stdio.h>
int main(void) {
    double x;
    int i;

    x = 42;                  /* automatically convert `int` to `double` */
    i = x;                   /* automatically convert `double` to `int` */
    printf("%f\n", i * 1.0); /* automatically convert `int` to `double` */

    printf("%d\n", (int)x);  /* explicit conversion needed */

    return 0;
}

程序中太多的转换表明程序员（可能）使用 C++ 编译器来编译 C 源文件。一些（很多？）强制转换的使用是完全错误的。

Answer 2

更一般地说（对于 pmg 的回答），有时类型转换可以安全地完成，有时则不能。此外，有时它可能会做一些与您想要的不同的事情。

当类型转换可能指示程序员错误时，需要。指针就是一个很好的例子。如果您有一个指向字符的指针并将其分配给一个指向整数的指针，那么可能有充分的理由这样做，但如果不小心这样做，当您取消引用该指针时（同样，在一些非常旧的平台，指针的大小不同！）。

关于自动类型转换何时发生以及如何发生有广泛的规则。有些人宁愿放弃一切，也不愿学习规则，以确保不会发生任何意外。