file - 如何在 pike 中获取文件扩展名

Question

我正在研究 pike 中的一个程序，并在 python 中寻找一个类似于endswith()的方法——一种可以为我提供给定文件扩展名的方法。有人可以帮我吗？谢谢你

score 1 · Accepted Answer

Python 的endswith()类似于 Pike 的has_suffix(string s, string suffix)：

has_suffix("index.html", ".html");

score 0 · Accepted Answer

如果您想查看文件的扩展名是什么，只需找到最后一个点并获取它后面的子字符串，例如(str/".")[-1]

如果您只想检查文件是否具有某个扩展名，使用 has_suffix() 是一个好方法，例如has_suffix(str, ".html")

score 0 · Accepted Answer

提取字符串的结尾，并将其与所需的扩展名进行比较：

"hello.html"[<4..] == ".html"

（<4从字符串/数组的末尾开始计数）

3 回答 3