我刚刚意识到我不知道file在file.ext中是如何调用的。
整个file.ext被称为文件或文件名，ext被称为扩展名，但如何将file部分本身称为file.ext？
例如happy-dog.png。所有文件/文件名都是happy-dog.png，扩展名是png，但你怎么称呼happy-dog？
它不是basename。它像标题名吗？还是filepart？有什么想法吗？
我相信这个东西没有简称。有些库只是用"不带扩展名的文件名"或"不带路径或扩展名的名称"之类的名称来引用它。
你可以使用术语"basename"，因为它是经常用来生成这个东西的程序或函数。它不太准确，因为basename可能会也可能不会根据你传递的参数来剥离扩展，但我认为程序员会理解你的。
Mathematica中的FileBaseName[]。