在 ASP.NET 网站开发中，我们经常需要上传文件。但在上传文件之前，我们需要确保上传的文件是存在的。

ASP.NET 提供了一个叫做 "FileUpload" 的控件，它可以让用户选择要上传的文件。而我们可以使用 FileUpload.HasFile 属性来检查用户是否已经选择了文件。

FileUpload.HasFile 属性是一个 Boolean 类型的属性。如果用户已经选择了文件，则返回 True，否则返回 False。

使用 FileUpload.HasFile 属性检查文件是否存在非常简单。以下是一个基本的演示代码：

```c#

if(FileUpload1.HasFile)

{

// 在此处编写你的处理逻辑

}

else

{

// 如果用户没有选择文件，则在此处提示用户。

}

```

在上面的代码中，我们使用 if 语句来检查 FileUpload.HasFile 属性是否为 True。如果是，则表示用户已经选择了文件，我们可以编写处理逻辑来处理上传的文件。否则，我们可以向用户发出提示，让他们选择文件。

检查是否选择了文件后，我们可能还需要检查文件的类型和大小。在 ASP.NET 中，我们可以使用 FileUpload.PostedFile 属性来获取上传的文件。然后，我们可以使用 PostedFile.ContentLength 属性获取文件的大小，使用 PostedFile.ContentType 属性获取文件的类型。

以下是一个检查文件类型和大小的演示代码：

```c#

if(FileUpload1.HasFile)

{

if(FileUpload1.PostedFile.ContentType == "image/jpeg" ||

FileUpload1.PostedFile.ContentType == "image/png")

{

if(FileUpload1.PostedFile.ContentLength < 10000000) // 10 MB

{

// 在此处编写你的处理逻辑

}

else

{

// 如果文件超过大小限制，则在此处提示用户。

}

}

else

{

// 如果文件类型不正确，则在此处提示用户。

}

}

else

{

// 如果用户没有选择文件，则在此处提示用户。

}

```

在上面的代码中，我们首先使用 if 语句检查是否选择了文件。如果已经选择了文件，则我们进一步检查文件的类型和大小。如果文件类型是 JPEG 或 PNG，并且文件大小小于 10 MB，则我们可以编写处理逻辑来处理上传的文件。

否则，如果文件类型不正确或者文件大小超过了限制，我们可以向用户发出提示。

总结一下，使用 FileUpload.HasFile 属性检查是否选择了文件非常简单。此外，我们还可以使用 PostedFile.ContentLength 和 PostedFile.ContentType 属性来检查文件的大小和类型。检查这些属性有助于确保上传的文件符合我们的要求，并且可以避免不必要的错误和问题。