如何使用Kotlin将数据文件夹中的.txt文件复制到安卓的下载文件夹中？

val dataFolderPath = context.filesDir.absolutePath

val downloadFolderPath = Environment.getExternalStoragePublicDirectory(Environment.DIRECTORY_DOWNLOADS).absolutePath

val dataFolder = File(dataFolderPath)
val downloadFolder = File(downloadFolderPath)

if (dataFolder.isDirectory && downloadFolder.isDirectory) {
    val txtFiles = dataFolder.listFiles { file -> file.isFile && file.extension == "txt" }

    txtFiles?.forEach { file ->
        val newFile = File(downloadFolder, file.name)
        file.copyTo(newFile, overwrite = true)
    }
}

<uses-permission android:name="android.permission.READ_EXTERNAL_STORAGE" />
<uses-permission android:name="android.permission.WRITE_EXTERNAL_STORAGE" />