如何使用Mojo进行字符串插值（格式化）？

Question

我在文档中找不到如何在 Mojo 中进行字符串格式化。 我已经尝试了常见的 Python 方法（str.format()、f-strings、% 占位符），但到目前为止没有任何结果。我知道 Mojo 仍然是一种非常年轻的语言，但我敢打赌有一种方法可以进行字符串格式化，而无需手动将字符串添加在一起。或者还没有？

Answer 1

您可以不时查看文档，但目前只有 strings 的简单实现。

同时，您可以尝试通过 python 互操作性来解决这个问题。

Answer 2

目前Mojos的字符串格式化还不是很先进，从在线文档我可以看到一些有用的功能，它们是

__add__

，

__radd__.

和

__iadd__

。

样品

__add__