Rust中单引号标识符（'）的含义是什么？

你好！我最近开始学习Rust，经常在别人的代码中遇到以单引号开头的奇怪标识符，比如`'a`、`'static`、`'b`。一开始我以为它们是某种宏或特殊变量，但后来发现它们经常出现在函数和结构体的声明中。 下面是我在文档中找到的一个例子： ```rust fn longest<'a>(x: &'a str, y: &'a str) -> &'a str { if x.len() > y.len() { x } else { y } } ``` `'a`是什么？为什么它出现在函数名后面的尖括号里？我明白这与lifetime有关，但无法理解它是如何工作的。在其他语言（如C++或Java）中，我没见过这种写法。请用简单的话解释一下这是什么以及为什么需要它们。尤其让我困惑的是`'static`——它经常出现在字符串字面量和常量中。 如果能用例子给出清晰的解释，我将不胜感激，因为目前对我来说这看起来像魔法。