草庐IT

swift - Swift 中的递归枚举

coder 2023-09-10 原文

我学习 Swift 2(和 C,但也不会学太久)的时间不长,我已经到了在递归枚举方面苦苦挣扎的地步。

如果它是递归的,我似乎需要将 indirect 放在 enum 之前。然后我有第一个在括号之间有 Int 的情况,因为稍后在 switch 中它返回一个 Integer,对吗?

现在第二个案例 Addition 出现了第一个问题。我必须将 ArithmeticExpression 放在括号之间。我尝试将 Int 放在那里,但它给了我一个必须是 ArithmeticExpression 而不是 Int 的错误。我的问题是为什么?我无法想象那是什么。为什么我不能把两个 Int 放在那里?

下一个问题又是关于ArithmeticExpression 的。在 func solution 中,它包含一个名为 expression 的值,该值属于 ArithmeticExpression 类型,对吗?其余的,至少现在,是完全清楚的。如果有人能以简单的方式向我解释这一点,那就太好了。

完整代码如下:

indirect enum ArithmeticExpression {
    case Number(Int)
    case Addition(ArithmeticExpression, ArithmeticExpression)
}

func solution(expression: ArithmeticExpression) -> Int {
    switch expression {
    case .Number(let value1):
        return value1;
    case . Addition(let value1, let value2):
        return solution(value1)+solution(value2);
    }
}

var ten = ArithmeticExpression.Number(10);
var twenty = ArithmeticExpression.Number(20);
var sum = ArithmeticExpression.Addition(ten, twenty);
var endSolution = solution(sum);
print(endSolution);

最佳答案

PeterPan,我有时认为过于逼真的示例带来的困惑多于帮助,因为在尝试理解示例代码时很容易陷入困境。

递归枚举只是一个具有关联值的枚举,这些值是枚举自身类型的情况。而已。只是一个枚举,其中的案例可以设置为与枚举类型相同的关联值。 #结束

为什么这是个问题?为什么关键词是“间接”而不是“递归”?为什么需要任何关键字?

枚举“应该”按值复制,这​​意味着它们应该具有可预测大小的大小写关联值——由具有 Integer 等基本类型的大小写组成。然后,编译器可以根据可以实例化它的原始值或关联值的类型来猜测常规枚举的最大可能大小。毕竟你得到的枚举只选择了一个案例——所以无论案例中关联值类型的最大选项是什么,这就是枚举类型在初始化时可以获得的最大大小。然后,编译器可以在堆栈上留出该数量的内存,并知道该枚举实例的任何初始化或重新分配永远不会大于该内存量。如果用户将枚举设置为关联值较小的案例,则没问题,如果用户将其设置为关联值类型最大的案例。

但是,一旦您定义了一个枚举,它混合了具有不同大小关联类型的案例,包括也是相同类型枚举的值(因此它们本身可以用任何枚举案例初始化)就变得不可能了猜测枚举实例的最大大小。用户可以继续使用允许与枚举类型相同的关联值的情况进行初始化 - 本身使用也是相同类型的情况进行初始化,依此类推:无限递归或可能性树。这种指向枚举的枚举的递归将继续,直到使用不指向另一个枚举的“简单”类型的关联值初始化枚举。想一个简单的 Integer 类型,它会“终止”枚举链。

因此编译器无法在堆栈上为此类枚举留出正确大小的内存块。相反,它将大小写关联值视为指向存储关联值的堆内存的指针。该枚举本身可以指向另一个枚举,依此类推。这就是关键字是“间接”的原因 - 关联值是通过指针间接引用的,而不是直接由值引用的。

它类似于将 inout 参数传递给函数 - 而不是编译器将值复制到函数中,而是传递一个指针来引用堆内存中的原始对象。

这就是它的全部内容。一个无法轻易猜测其最大大小的枚举,因为它可以在不可预测长度的链中使用相同类型和不可预测大小的枚举进行初始化。

如各种示例所示,此类枚举的典型用途是构建值树,例如在括号内嵌套计算的公式,或节点和分支全部捕获在一个枚举中的祖先树初始化。编译器通过使用指针来引用枚举的关联值而不是堆栈上的固定内存块来处理所有这些问题。

所以基本上 - 如果您能想到代码中的一种情况,您希望枚举链相互指向彼此,并为关联值提供各种选项 - 那么您将使用并理解递归枚举!

关于swift - Swift 中的递归枚举,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32799908/

有关swift - Swift 中的递归枚举的更多相关文章

  1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法? - 2

    总的来说,我对ruby​​还比较陌生,我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础,我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  2. ruby - 其他文件中的 Rake 任务 - 2

    我试图在一个项目中使用rake,如果我把所有东西都放到Rakefile中,它会很大并且很难读取/找到东西,所以我试着将每个命名空间放在lib/rake中它自己的文件中,我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题,但没有任务。我现在只有一个.rake文件作为测试,名为“servers.rake”,它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时

  3. ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2

    作为我的Rails应用程序的一部分,我编写了一个小导入程序,它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是,与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存,我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关,因为当我删除对LDAP内容的调用时,内存使用情况会很好地稳定下来。此外,不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray,它们都是LDAP库的一部分。当我运行导入时,内存使用量最终达到超过1GB的峰值。如果问题存在,我需要找到一些方法来更正我的代

  4. ruby-on-rails - Rails 3 中的多个路由文件 - 2

    Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情? 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中,使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件,我们在StackOverflow上找到一个类似的问题

  5. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

    我需要从一个View访问多个模型。以前,我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它,但这似乎不是“ruby方式”,我将需要在不久的将来访问更多模型。这可能会变得很脏,是否有针对这种情况的任何技术?注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展,本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向,这似乎很麻烦。最终从任何

  6. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他,以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时,出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  7. ruby-on-rails - Rails 应用程序中的 Rails : How are you using application_controller. rb 是新手吗? - 2

    刚入门rails,开始慢慢理解。有人可以解释或给我一些关于在application_controller中编码的好处或时间和原因的想法吗?有哪些用例。您如何为Rails应用程序使用应用程序Controller?我不想在那里放太多代码,因为据我了解,每个请求都会调用此Controller。这是真的? 最佳答案 ApplicationController实际上是您应用程序中的每个其他Controller都将从中继承的类(尽管这不是强制性的)。我同意不要用太多代码弄乱它并保持干净整洁的态度,尽管在某些情况下ApplicationContr

  8. ruby-on-rails - form_for 中不在模型中的自定义字段 - 2

    我想向我的Controller传递一个参数,它是一个简单的复选框,但我不知道如何在模型的form_for中引入它,这是我的观点:{:id=>'go_finance'}do|f|%>Transferirde:para:Entrada:"input",:placeholder=>"Quantofoiganho?"%>Saída:"output",:placeholder=>"Quantofoigasto?"%>Nota:我想做一个额外的复选框,但我该怎么做,模型中没有一个对象,而是一个要检查的对象,以便在Controller中创建一个ifelse,如果没有检查,请帮助我,非常感谢,谢谢

  9. ruby - rspec 需要 .rspec 文件中的 spec_helper - 2

    我注意到像bundler这样的项目在每个specfile中执行requirespec_helper我还注意到rspec使用选项--require,它允许您在引导rspec时要求一个文件。您还可以将其添加到.rspec文件中,因此只要您运行不带参数的rspec就会添加它。使用上述方法有什么缺点可以解释为什么像bundler这样的项目选择在每个规范文件中都需要spec_helper吗? 最佳答案 我不在Bundler上工作,所以我不能直接谈论他们的做法。并非所有项目都checkin.rspec文件。原因是这个文件,通常按照当前的惯例,只

  10. ruby-on-rails - active_admin 目录中的常量警告重新声明 - 2

    我正在使用active_admin,我在Rails3应用程序的应用程序中有一个目录管理,其中包含模型和页面的声明。时不时地我也有一个类,当那个类有一个常量时,就像这样:classFooBAR="bar"end然后,我在每个必须在我的Rails应用程序中重新加载一些代码的请求中收到此警告:/Users/pupeno/helloworld/app/admin/billing.rb:12:warning:alreadyinitializedconstantBAR知道发生了什么以及如何避免这些警告吗? 最佳答案 在纯Ruby中:classA

随机推荐