mojo 介绍

注：本文是根据官方网站翻译得来，其中做了部分修改用于理解文章字义。
mojo介绍

Mojo被设计为Python的超集，因此许多语言功能和你可能在Python中知道的概念可以直接翻译成Mojo。例如一个 Mojo中的“Hello World”程序看起来和Python一模一样：

1. print("hello world")
2. hello world

复制代码

您还可以导入现有的 Python 包并使用它们，就像您用Python编程，但我们稍后会谈到这一点。
但是，重要的是要知道Mojo是一种全新的语言。 拥有，而不仅仅是带有额外糖的 Python 的新实现。当你了解有关Mojo的更多信息，您会发现它与Mojo有更多共同点像 Rust 和 C++ 这样的语言，除了它使用 Python 语法并完全支持导入的 Python 包。
所以让我们开始吧！本笔记本介绍了 Mojo 语言的基础知识，并且只需要一点编程经验。
如果您想了解有关该语言的更多详细信息，请查看Mojo编程手册。
语言基础

首先，Mojo是一种编译语言，它的很多性能 内存安全功能就是从这一事实派生出来的。Mojo代码可以是 提前编译（AOT）或实时（JIT）。mojo也支持REPL 环境，例如运行 Jupyter 笔记本中的代码的环境（命令行 REPL 即将推出）。
像其他编译语言一样，Mojo需要一个函数作为 程序的入口点。例如：main()

1. # 首先创建一个 .mojo 的文件 文档上说文件名可以有表情可以试试
3. fn main():
4.         var x: Int = 1
5.         x +=1
6.         print(x)
7. main()
8. 2

复制代码

如果你了解Python，你可能会期望“def main（）”而不是“fn main（））”。两者实际上都在Mojo中工作，但使用“fn”的行为有点不同，我们将下面讨论。
当然，在REPL环境中不需要“main（）”函数，因为如上面所示，当我们打印没有“main（）”函数的“helloworld”时。但是，当您想编写自己的.mojo时，需要main（）函数程序。
语法语义

Mojo使用了Python的所有语法和语义。（如果你不是 熟悉Python语法，网上有大量很棒的资源可以 教你。
例如，像Python一样，Mojo使用换行符和缩进来定义代码。 块（不是大括号），Mojo支持Python的所有控制流语法 例如条件和循环。if``for
但是，Mojo仍在进行中，因此Python中有一些东西。 尚未在 Mojo 中实现（请参阅 Mojo 路线图）。所有缺失的Python功能会及时到来，但Mojo已经包含许多功能和 超出 Python 中原有的功能的功能。
因此，以下各节将重点介绍一些语言功能 是Mojo独有的（与Python相比）。
Mojo函数可以用“fn”（如上所示）或“def”（如Python中）。“fn”声明强制执行强类型和内存安全行为，而“def”提供Python风格的动态行为。
“fn”和“def”函数都有其值两者兼而有之。然而，为了本介绍的目的，我们将仅关注“fn”函数。有关两者的更多详细信息，请参阅编程手册。
在以下部分中，您将了解“fn”函数是如何强制执行的代码中的强类型和内存安全行为。
您可以使用声明变量，例如上面的“main（）”函数中的“x”`var’创建可变值，或者使用let’创建不可变值。
var:  声明全局变量(表示可以在全局获取到)，在mojo 中用var 声明的变量是可变的
let：声明临时变量(例：在函数或循环中声明，那么只能在函数中获取，在函数外或者其他函数中是获取不到该值的)，let声明的变量是不可变的
继续，在上面的“main（）”函数中将“var”更改为“let”，然后运行它。您将得到如下编译器错误：

1. fn main():
2.         let x: Int = 1
3.         x +=1
4.         print(x)
5. main()
7. ```
8. error: Expression [15]:7:5: expression must be mutable for in-place operator destination
9.     x += 1
10.     ^
11. ```
13. # 错误：表达式[15]：7:5:对于就地运算符目标，表达式必须是可变的

复制代码

这是因为“let”使其不可变，所以不能增加值。如果你删除“var”，你会得到一个错误，因为“fn`函数需要显式的变量声明（与“def”函数不同）。

1. fn main():
2.     x = 1
3. main()
5. """
6. error: Expression [1]:6:5: use of unknown declaration 'x', 'fn' declarations require explicit variable declarations
7.     x = 1
8.     ^
10. expression failed to parse (no further compiler diagnostics)
11. """
13. 错误：表达式[1]：6:5:使用未知声明“x”、“fn”声明需要显式变量声明
14. x=1
15. ^
16. 表达式解析失败（没有进一步的编译器诊断）

复制代码

最后，请注意，“x”变量有一个显式的“Int”类型规范。“fn”中的变量不需要声明类型，但是需要声明var let，有时如果省略声明类型，Mojo将推断类型，如下所示：

1. fn do_math():
2.     let x: Int = 1
3.     let y = 2
4.     print(x + y)
6. do_math()
8. 3

复制代码

函数参数和返回

与局部变量不同，函数中的参数必须指定类型。fn若要从函数返回值，必须使用签名末尾的箭头。fn``->
例如：

1. fn add(x: Int, y: Int) -> Int:
2.     return x + y
4. z = add(1, 2)
5. print(z)
7. 3

复制代码

参数可变性和所有权

自变量的可变性和所有权
现在，让我们探讨如何在函数中共享参数值。
请注意，如上所述，“add（）”不会修改“x”或“y”，它只读取价值观事实上，正如所写的，函数不能修改它们，因为fn默认情况下，参数是不可变的引用。
就论点惯例而言，这被称为“借用”，尽管作为“fn”函数的默认值，可以使用borrowed声明如下（其行为与上面的“add（）”完全相同）：

1. fn add(borrowed x: Int, borrowed y: Int) -> Int:
2.     return x + y

复制代码

如果希望参数是可变的，则需要声明该参数inout。这意味着对参数in侧所做的更改函数在函数外可见。
例如，此函数可以修改原始变量：

1. fn add_inout(inout x: Int, inout y: Int) -> Int:
2.     x += 1
3.     y += 1
4.     return x + y
6. var a = 1
7. var b = 2
8. c = add_inout(a, b)
9. print(a)
10. print(b)
11. print(c)
13. 2
14. 3
15. 5

复制代码

另一种选择是将参数声明为“owned”，这提供了函数对值的完全所有权（使他成为可变的，并保证是唯一的）。这样，函数可以修改值，而不用担心影响函数外的变量。例如：
[code]fn set_fire(owned text: String) -> String:     text += "
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！