为什么 C 是弱类型语言 JAVA 却是强类型语言?

有点没搞懂轮子的说法, 按照这种方式定义强类型弱类型的话
1+"2" 算不算进行了隐式转换 ?
int 到 double JAVA也一样啊
为什么 JAVA 比 C 反而更 "强类型"?

这里的类型应该指变量类型，而不是值类型，c语言本身变量没有包含类型信息，类型信息仅存在编译器中，而java变量的类型信息可以存在于编译后的文件。这个意思吗？

举例子的时候还有人拿各种 error 举例子trapped errors, untrapped errors 这我就更想不明白了，难道这里的类型只是一个指代的意思，而并不是我理解的 "类型"？

无类型不就一个汇编吗？

有变量声明只是一个语法问题，完全可以通过上下文推导，什么都不能说明。

首先我查了一下什么是数据类型，然后类型检查什么意思，结论就是: 没看懂。我只能按照我浅显的理解，认为这个数据类型就是大家平常理解的数据类型。然后类型的概念有些标记在变量上，有些标记在了值上面。你说的无类型意思应该是说标记在值上面的意思吧，变量只是个引用。再有就是变量声明我感觉你好像有点搞混，似乎 String var = "123"，这样才叫变量声明。var = "123"，算是没有声明？但是类型这个写法完全可以省略，可以通过引号判断。我也没说php是依据上下文的。

@pengzhenxx

我能理解你说的什么意思，只是很不习惯你把变量没有类型称为无类型。你自己也说了，变量的值包含了类型，既然如此，那怎么能说无类型。你一直拿 123， "123" 作比较举例子，按照一般语言实现，这两个很明显具体值不一样，值里面存储的"类型标记"也不一样，放在一起处理很明显是经过类型转换的，处理的时候解释器或者编译器都是清清楚楚的。你形容的好像解释器把这看成一坨东西，很神奇的和另一坨东西比较，如果相等，那就相等了。

不想多废话了

@pengzhenxx
下午用的手机, 打字相当累, 有什么明显错误还望大佬明示, 小弟在此跪谢了