Java 关于类名及其源文件名是否一定要一致的探究

给出一个题目：有一段java应用程序，它的类名是Demo，那么保存它的源文件名一定要是Demo.java吗？ 可以是随便什么.java（比如：D.java）吗？

 class Demo{     //这里不写public ，类名为Demo
	public static void main(String[] args){

	}
} 

源文件名为：

而编译是可以通过的：

但是它产生的class文件的文件名却是类名.java（这里的就是Demo.java），感觉很神奇

然后：
把上面的题目稍微改一下：有一段java应用程序，它的主类名是Demo，那么保存它的源文件名一定要是Demo.java吗？ 可以是随便什么.java（比如：D.java）吗？（这个题目和上面的题目的不同点在于：类名改成了主类名）

首先，先明确一点：在一个文件中可以有多个类

 class Demo1{   //没写public
	public static void main(String[] args){

	}
} 

 class Demo2{   //也没写public
	
} 

文件名：

编译后会自动给我生成两个class文件，分别是：

两个class文件的名字分别是源文件中写的两个类的类名，很有意思

但是这个源文件中没有写主类，生成的两个class文件没有主次之分！

主类是什么呢？

带有public的类是主类，而且主类有一个要求，主类名和源文件名必须得一致

先来一个错误示范：

public class Demo1{ 
    //带有public的类，它是主类，但它和源文件名不一致，肯定会报错
	public static void main(String[] args){

	}
} 

 class Demo2{
	
} 

源文件名：

result：

改正后（使主类名和源文件名一致）：

public class Demo{            
    //带有public的类，它是主类，现在我让它和源文件名一致，编译通过
	public static void main(String[] args){

	}
} 

 class Demo2{
	
} 

源文件名：

编译结果是通过的：

也是生成了两个class文件：