草庐IT

swift - 优先级高于闭包

coder 2023-09-05 原文

我试图在 Swift 中定义一个优先级高于闭包的自定义运算符。特别是，我希望能够写:

foo --> bar { 
    //... 
}

--> 运算符返回一个函数，该函数将类型为 () -> Void 的闭包作为唯一参数。

但是，我只能得到

(foo --> bar) { 
    //... 
}

工作。是否有运算符优先级可以使这项工作无需括号？

这是

的优先组 
precedencegroup LongArrowPrecedence {
    associativity: left
    higherThan: AssignmentPrecedence
}

infix operator --> : LongArrowPrecedence

谢谢!

最佳答案

我们首先建立一个完整的可验证的例子:

precedencegroup LongArrowPrecedence {
    associativity: left
    higherThan: AssignmentPrecedence
}

infix operator --> : LongArrowPrecedence

func -->(lhs: Int, rhs: Int) -> (() -> ()) -> () {
    return { print(lhs+rhs, terminator: ""); $0() }
}

除了使用此运算符的包含括号的有效调用示异常(exception)，紧接着调用 --> 返回的闭包。

let foo = 1
let bar = 2

// OK
(foo --> bar) { 
    print(" is the magic number")
} // 3 is the magic number

// OK
((-->)(foo, bar)) { 
    print(" is the magic number")
} // 3 is the magic number

这并不能告诉我们太多，但如果我们研究以下失败案例

// ERROR: cannot call value of non-function type 'Int'
foo --> bar { 
    print(" is the magic number")
} // 3 is the magic number

// ... equivalent to
// ERROR: cannot call value of non-function type 'Int'
foo --> bar({ 
    print(" is the magic number")
}) // 3 is the magic number

我们意识到这里的问题不是“优先级低于闭包”，而是function-call-argument-clause (任何后缀表达式后面的一组括号)将尝试对该后缀表达式进行调用，就好像后缀表达式是一个方法/函数/闭包一样。如果后缀表达式不可调用，或者函数调用参数子句中的调用不匹配可调用的任何重载，则编译器将产生错误。 

42()           // ERROR: cannot call value of non-function type 'Int'
let foo = 42
foo()          // ERROR: cannot call value of non-function type 'Int'

func bar() {}  // ERROR: argument passed to call that takes no arguments
bar(42)

因此，提供给从 --> 返回的闭包的尾随闭包在这里不相关:它只是返回闭包的一个参数，而关键问题是 Swift 将应用一个函数- call-argument-clause 到紧接在子句之前的后缀表达式。在您的示例中， bar 构成该后缀表达式，并且只有当您将 foo --> bar 包裹在括号中时，组合的包裹表达式才构成后缀表达式，以下应用函数调用参数子句。

Postfix Expressions

Postfix expressions are formed by applying a postfix operator or other postfix syntax to an expression. Syntactically, every primary expression is also a postfix expression.

Primary Expressions

Primary expressions are the most basic kind of expression. They can be used as expressions on their own, and they can be combined with other tokens to make prefix expressions, binary expressions, and postfix expressions.

您将无法规避这一点，因为运算符优先级不适用于函数调用参数子句；后者(及其“优先级”)由函数调用表达式的语法定义。

关于swift - 优先级高于闭包，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/41722819/

swift优先级code运算符section

有关swift - 优先级高于闭包的更多相关文章

  1. ruby - Ruby 中的闭包和 for 循环 - 2

    我是Ruby的新手，有些闭包逻辑让我感到困惑。考虑这段代码:array=[]foriin(1..5)array[5,5,5,5,5]这对我来说很有意义，因为i被绑定(bind)在循环之外，所以每次循环都会捕获相同的变量。使用每个block可以解决这个问题对我来说也很有意义:array=[](1..5).each{|i|array[1,2,3,4,5]...因为现在每次通过时都单独声明i。但现在我迷路了:为什么我不能通过引入一个中间变量来修复它？array=[]foriin1..5j=iarray[5,5,5,5,5]因为j每次循环都是新的，我认为每次循环都会捕获不同的变量。例如，这绝对

  2. ruby - 了解 Ruby 中赋值和逻辑运算符的优先级 - 2

    在以下示例中，我无法理解Ruby运算符的优先级:x=1&&y=2由于&&的优先级高于=，我的理解是类似于+和*运算符:1+2*3+4解析为1+(2*3)+4它应该等于:x=(1&&y)=2但是，所有Ruby源代码(包括内部语法解析器Ripper)都将其解析为x=(1&&(y=2))为什么？编辑[08.01.2016]让我们关注一个子表达式:1&&y=2根据优先规则，我们应该尝试将其解析为:(1&&y)=2这没有意义，因为=需要特定的LHS(变量、常量、[]数组项等)。但是既然(1&&y)是一个正确的表达式，那么解析器应该如何处理呢？我试过咨询Ruby的parse.y，但它太像意大利面条

  3. Python：每日一题之小张的衣服（优先队列、哈夫曼编码） - 2

    题目描述小张买了 n 件白色的衣服，他觉得所有衣服都是一种颜色太单调，希望对这些衣服进行染色，每次染色时，他会将某种颜色的所有衣服寄去染色厂，第 i 件衣服的邮费为 ai​ 元，染色厂会按照小张的要求将其中一部分衣服染成同一种任意的颜色，之后将衣服寄给小张，请问小张要将 n 件衣服染成不同颜色的最小代价是多少？输入描述第一行为一个整数 n ，表示衣服的数量。第二行包括 n 个整数a1​,a2​...an​ 表示第 i 件衣服的邮费为 ai​ 元。（1≤n≤10^5,1≤ai​≤10^9 ）输出描述输出一个整数表示小张所要花费的最小代价。输入输出样例输入551321输出25 思考🤔：题意：意思是

  4. ruby - 如何 `break` 闭包中的外部循环(Proc，lambda)？ - 2

    loop{break}可以正常工作，但是block=Proc.new{break}#or#block=lambda{break}loop(&block)#=>LocalJumpError:breakfromproc-closure是否可以在block变量中中断？更新:举例说明:defodd_loopi=1loopdoyieldii+=2endenddefeven_loopi=2loopdoyieldii+=2endend#Thisworkodd_loopdo|i|putsibreakifi>10end#Thisdoesn'tworkbreak_greater_10=Proc.newdo

  5. ruby - ruby 中方法参数的优先级和/或相对于方法参数的优先级 - 2

    这里有两个测试:if[1,2,3,4].include?2&&nil.nil?puts:helloend#=>和if[1,2,3,4].include?(2)&&nil.nil?puts:helloend#=>hello上面告诉我&&比方法参数有更高的优先级，所以它逻辑上和2&&nil.nil?是真的，并将它作为参数传递给include？但是，有这个测试:if[1,2,3,4].include?2andnil.nil?puts:helloend#=>hello所以这告诉我方法参数和“and”具有相同的优先级(或者方法参数高于“and”)因为它传递了2以包含？在处理“和”之前。注意:我知

  6. ruby - Amazon SQS 优先级队列 - 2

    是否可以使用Amazon简单排队服务创建优先级队列？最初我找不到关于这个主题的任何内容，这就是我创建两个队列的原因。一个普通队列和一个优先队列。我正在根据我定义的规则将消息排入此队列，但在出列消息时会出现困惑。如何对队列进行长时间轮询，使我的队列组合表现得像一个优先级队列？ 最佳答案 我认为您通过创建两个队列走在正确的轨道上-一个普通队列和一个优先级队列。在这种情况下，您不一定需要长时间轮询。由于优先队列中的消息优先于普通队列中的消息，您可以采用如下方法:轮询优先级队列，直到没有更多消息为止。轮询普通队列并在普通队列中的每条消息后重

  7. ruby - 一元运算符的运算符优先级 - 2

    运算符优先级的一些信息来源likethis表示!、~、+、-等一元运算符具有更高优先级比赋值=。但是，以下表达式是可能的:!a=true#=>false(withwarning)a#=>true~a=1#=>-2a#=>1+a=1#=>1a#=>1-a=1#=>-1a#=>1考虑到这些结果，我能想到的唯一可能的解释是这些一元运算符的优先级低于赋值。如果是这样的话，那就意味着我上面提到的信息是错误的。哪个是正确的？有不同的解释吗？ 最佳答案 我的编程ruby​​书(第2版)也将一元运算符列为具有比赋值更高的优先级。一元运算符被赋予最高

  8. Ruby 范围，常量优先级 : lexical scope or inheritance tree - 2

    我将向您展示来自rubykoans的代码片段教程。考虑下一个代码:classMyAnimalsLEGS=2classBird实际上问题在评论中(我用星号突出显示了它(尽管它打算以粗体显示))。有人可以解释一下吗？提前致谢! 最佳答案 这里有答案:Ruby:explicitscopingonaclassdefinition.但也许它不是很清楚。如果您阅读链接的文章，它将帮助您找到答案。基本上，Bird是在MyAnimals的范围内声明的，在解析常量时具有更高的优先级。Oyster位于MyAnimals命名空间中，但未在该范围内声明。将

  9. ruby - 在 Ruby 中定义一个闭包方法 - 2

    我正在用ruby​​重新定义对象中的方法，我需要新方法作为闭包。例如:defmess_it_up(o)x="blahblah"defo.to_sputsx#Wrong!xdoesn'texistshere,amethodisnotaclosureendend现在如果我定义一个Proc，它就是一个闭包:defmess_it_up(o)x="blahblah"xp=Proc.new{||putsx#Thisworksend#buthowdoIsetittoo.to_s.defo.to_sxp.call#sameproblemasbeforeendend有什么想法吗？谢谢。

  10. ruby-on-rails - ActiveJob 是否有具有特定优先级的队列？ - 2

    查看下面的作业，我假设该作业在low_priority队列上运行。classGuestsCleanupJob我同意这一点，但这只是队列的名称对吗？它实际上与优先级无关。例如，如果我创建了一个队列名为:my_queue的作业，它将被视为具有与:low_priority队列相同的优先级。从文档中我无法找到任何表明我可以对排队的作业进行优先排序的信息。我知道delayed_jobs有这个功能，但我在active_job中没有找到它。 最佳答案 优先级取决于实际的QueueAdapter以及此适配器的配置方式。如果您的适配器不支持优先级或未

随机推荐