宏与函数的区别？（没看懂文档）

综合讨论区 语言特性及语义
1

#---------
macro hello1()
return :(println(“hello, Macro 1!”))
end
@hello1()
#---------
macro hello2()
return println(“hello, Macro 2!”)
end
@hello2()
#---------
macro hello3()
println(“hello, Macro 3!”)
end
@hello3()
#----------
function hellof()
println(“Hello, Function!”)
end
hellof()

结果：
hello, Macro 1!
hello, Macro 2!
hello, Macro 3!
Hello, Function!

没看见区别

2

宏是用来做元编程的，是 AST 的函数，也就是用来生成代码的。

前三个宏的区别：

  • 第一个是常用的宏的形式。它展开后返回一个函数调用。也就是返回了那个 println 语句。
  • 第二个、第三个宏等价，因为 julia 默认返回最后一个语句(块)。他们都是在宏展开时执行了语句，并没有返回什么。
julia> macroexpand(Main, :(@hello1))
:((Main.println)("hello, Macro 1!"))

julia> macroexpand(Main, :(@hello2))
hello, Macro 2!

julia> macroexpand(Main, :(@hello3))
hello, Macro 3!

关于第一个和第二三个宏的区别：

宏允许程序员在整个程序运行 前 生成并包含自定义的代码片段。

—— 注意：为何使用宏？

举得例子也很清楚了，在宏展开时执行的输出，和宏返回语句，然后执行语句得到的输出时不同的。
虽然看起来效果一样。

2 个赞
3

问题出在语言表述上。“自定义的代码片段”这个词逻辑是混淆的。
代码都是我自己写的啊，没有copy别人的！不会都是宏吧。:smile:

技术文档发生歧义是比较麻烦的

4

我这么理解，看对不对：

宏主要是用来陈述一段代码的。有点像 windows的批处理文件。

5

你可以先从clojure入门，在clojure编程实战155页的unless宏可以帮助你更好理解宏
宏可以拿来更改语法规则，像lisp只用了8个关键字，通过宏构成出了整个语言

6

越说越复杂了:blush:

7

宏可以看作参数和返回值都是代码的函数 f(::Expr...)->Expr
执行宏，相当于 eval(f(expr...))

1 个赞
8

文档介绍一个概念，本应该尽可能言简意赅地表达核心思想。
至少，到目前的其它解释，都没有<宏主要是用来陈述一段代码> 这句话表达得清楚。

9

至少，到目前的其它解释，都没有<宏主要是用来陈述一段代码> 这句话表达得清楚。

本身你的理解是错的。如果你不需要元编程，你不需要自己写宏。

10

宏是用以"按设定模板生成具体代码"的程序结构体。如何？

11

如果懂一点编译原理，“宏是 AST 的函数” 我觉得这句就是最精确的了。

这也是宏的一种常用用法，不过并不是全部。

宏也可以对当作参数传入的语句（块）进行修改。

“函数”，嘛，不一定要有参数的，参数也可以是函数，宏也一样。

我又想了下，你说的这句也挺对的，得看你对“模板”的定义是什么了。
以模式匹配的方式使用宏也是一种常用的方法，类似你说的模板。
换句话说函数也是按照“模板”生成具体的值（纯函数的意义上，类似 haskell 定义函数的方式）

一些模式匹配的例子

1 个赞