询问下 Go 的这个语法是否存在

[fumeboy]

原文地址是 https://go.dev/ref/spec#PrimaryExpr

原文内容是

PrimaryExpr =
	Operand |
	Conversion |
	MethodExpr |
	PrimaryExpr Selector |
	PrimaryExpr Index |
	PrimaryExpr Slice |
	PrimaryExpr TypeAssertion |
	PrimaryExpr Arguments .

Selector       = "." identifier .
Index          = "[" Expression "]" .
Slice          = "[" [ Expression ] ":" [ Expression ] "]" |
                 "[" [ Expression ] ":" Expression ":" Expression "]" .
TypeAssertion  = "." "(" Type ")" .
Arguments      = "(" [ ( ExpressionList | Type [ "," ExpressionList ] ) [ "..." ] [ "," ] ] ")" .

其中我关心的是 Arguments 的定义，它表示为 ( ExpressionList | Type [ "," ExpressionList ] )

ExpressionList 很容易理解，它可以匹配 (1,2,string(1)) 这样的文本，但是 Type [ExpressionList] 怎么理解呢，我从来没见过在 go 里可以写 var v = func_call(TypeName) 这样的表达式

（在上面引用的文本中，[ ] 包裹的内容表示为可选, | 表示匹配其中一个）

[blless]

定义接口的时候可以吧参数名省略 直接写类型

[blless]

额 感觉是我理解错了 确实没见过。。不知道参数定义算不算参数语法表达式

[mainjzb]

make
new

[EAFA0]

var action = func(context.Context)

是这样的吗? 这个语法是可行的

[chai2010]

ast 解析时，type 和表达式是不怎么区分的，new(int)里 int 可以是类型也可能被重新定义为一个变量。真正的语义需要在 Go/types 包处理。

欢迎关注《 Go 语言定制指南》 https://github.com/chai2010/go-ast-book