Java源文件名、字节码文件名以及类名之间的关系

Java程序的源文件名与类名之间存在如下关系:

一个Java源文件中可以定义多个类

源文件中定义的类,最多只能有一个类被public关键字修饰

如果源文件中有被public关键字修饰所修饰的类,那么源文件名必须与public所修饰的类同名。

根据以上规则,我们就明白了:当年老师让我们把源文件命名为与类名相同的名称,其实是因为我们所定义的那个类前面有个public关键字。接下来我们深入研究一下几种特殊情况:

源文件中如果没有public所修饰的类,源文件该如何命名

这个问题其实很简单,如果源文件中没有任何一个类被public关键字所修饰,那么我们可以用任意名称来命名这个源文件,只要源文件的名称符合命名规范就可以了。

一个源文件中如果定义了多个类,编译之后会形成几个.class文件

大家看下图,我们在一个源文件当中定义了3个类,那么编译之后会产生多少个.class文件呢?
在这里插入图片描述
经过编译之后,一共产生了3个.class文件。并且这3个.class文件的名称恰好与源文件中3个类的类名相对应。
在这里插入图片描述
通过这个实验我们就可以得到一个结论:源文件与编译后的字节码文件的名称和数量其实没有一一对应关系,字节码文件的名称和数量其实是由源文件中类的名称和数量决定的。

主方法必须定义在public类当中吗

有一种说法,认为主方法必须被定义到public类当中才能运行,其实这也是一种讹传。大家看图1,图1当中主方法并没有被定义到public类当中,但是我们照样能通过相应的命令执行这个主方法
在这里插入图片描述

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
在Spring Boot中,可以使用原文件名进行文件下载。以下是一个示例代码,演示了如何使用原文件名进行文件下载: ```java import org.springframework.core.io.Resource; import org.springframework.http.HttpHeaders; import org.springframework.http.MediaType; import org.springframework.http.ResponseEntity; import org.springframework.web.bind.annotation.GetMapping; import org.springframework.web.bind.annotation.PathVariable; import org.springframework.web.bind.annotation.RequestMapping; import org.springframework.web.bind.annotation.RestController; import java.io.IOException; import java.nio.file.Files; import java.nio.file.Path; import java.nio.file.Paths; @RestController @RequestMapping("/download") public class FileDownloadController { @GetMapping("/{filename}") public ResponseEntity<Resource> downloadFile(@PathVariable String filename) throws IOException { // 获取文件路径 String filePath = "/path/to/files/" + filename; Path file = Paths.get(filePath); // 检查文件是否存在 if (!Files.exists(file)) { return ResponseEntity.notFound().build(); } // 设置响应头 HttpHeaders headers = new HttpHeaders(); headers.setContentType(MediaType.APPLICATION_OCTET_STREAM); headers.setContentDispositionFormData("attachment", filename); // 创建文件资源 Resource resource = new InputStreamResource(Files.newInputStream(file)); // 返回响应实体 return ResponseEntity.ok() .headers(headers) .body(resource); } } ``` 在上述代码中,`/download/{filename}`接口用于下载指定文件名的文件。首先,根据文件路径和文件名构建`Path`对象。然后,检查文件是否存在,如果文件不存在,则返回404错误。接下来,设置响应头,将文件以附件形式下载,并指定原文件名。最后,创建文件资源并返回响应实体。 请注意,上述代码中的文件路径`/path/to/files/`需要根据实际情况进行修改,以指定文件所在的文件夹路径。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值