首页 \ 问答 \ 编译器是否可以在模板元编程中识别递归问题?(Can compilers identify recursion issues in Template Meta programming?)

编译器是否可以在模板元编程中识别递归问题?(Can compilers identify recursion issues in Template Meta programming?)

在模板元编程中,如果使用结果无限循环错误地实现递归,语言编译器是否可以检测到它? 或者编译器是否会遇到最终的堆栈溢出和崩溃? 我敢打赌,编译器无法检测到这一点,因为这样做会违反暂停问题的不可预测性。

我的结论是否正确? 当然我可以用一段代码来试试这个,但我想在这种情况下听到更多合格的思考。

编辑:谢谢你们,我得到了一个普遍的想法,即我对tmp的计算理论方面的推论没有错。 我也明白,编译器实现可以有任意的递归深度限制(当然我重申我可以测试第二部分,但它只是我的一个方面)。


In Template Meta Programming if a recursion is wrongly implemented with a resulting infinite loop, can the language compiler detect it? Or will the compiler just encounter an eventual stack overflow and crashe? My bet would be that compiler cannot detect this because doing so would violate the undecideability of the halting problem.

Am I right with the conclusion? Of course I could try this out with a piece of code, but I would like to hear more qualified thinking in this case.

Edit : Thanks guys, I get a general idea that my inference on the computation theory aspect of tmp was not wrong. I also understand that compiler implementations can have arbitrary recursion depth limits(Of course I reiterate that I could have tested this second part, but it was only my side-point).


原文:https://stackoverflow.com/questions/10873179
更新时间:2023-10-14 06:10

最满意答案

每个班次都有一个hasMany ,因此你不能在集合上调用shift_workers()

你要循环,如下所示:

foreach ($event->shifts as $shift) {
    $shift->shift_workers()->saveMany($workers);
}

Each shift has a hasMany, so you can't call shift_workers() on a collection.

You've to loop, like below:

foreach ($event->shifts as $shift) {
    $shift->shift_workers()->saveMany($workers);
}

相关问答

更多

相关文章

更多

最新问答

更多
  • h2元素推动其他h2和div。(h2 element pushing other h2 and div down. two divs, two headers, and they're wrapped within a parent div)
  • 创建一个功能(Create a function)
  • 我投了份简历,是电脑编程方面的学徒,面试时说要培训三个月,前面
  • PDO语句不显示获取的结果(PDOstatement not displaying fetched results)
  • Qt冻结循环的原因?(Qt freezing cause of the loop?)
  • TableView重复youtube-api结果(TableView Repeating youtube-api result)
  • 如何使用自由职业者帐户登录我的php网站?(How can I login into my php website using freelancer account? [closed])
  • SQL Server 2014版本支持的最大数据库数(Maximum number of databases supported by SQL Server 2014 editions)
  • 我如何获得DynamicJasper 3.1.2(或更高版本)的Maven仓库?(How do I get the maven repository for DynamicJasper 3.1.2 (or higher)?)
  • 以编程方式创建UITableView(Creating a UITableView Programmatically)
  • 如何打破按钮上的生命周期循环(How to break do-while loop on button)
  • C#使用EF访问MVC上的部分类的自定义属性(C# access custom attributes of a partial class on MVC with EF)
  • 如何获得facebook app的publish_stream权限?(How to get publish_stream permissions for facebook app?)
  • 如何防止调用冗余函数的postgres视图(how to prevent postgres views calling redundant functions)
  • Sql Server在欧洲获取当前日期时间(Sql Server get current date time in Europe)
  • 设置kotlin扩展名(Setting a kotlin extension)
  • 如何并排放置两个元件?(How to position two elements side by side?)
  • 如何在vim中启用python3?(How to enable python3 in vim?)
  • 在MySQL和/或多列中使用多个表用于Rails应用程序(Using multiple tables in MySQL and/or multiple columns for a Rails application)
  • 如何隐藏谷歌地图上的登录按钮?(How to hide the Sign in button from Google maps?)
  • Mysql左连接旋转90°表(Mysql Left join rotate 90° table)
  • dedecms如何安装?
  • 在哪儿学计算机最好?
  • 学php哪个的书 最好,本人菜鸟
  • 触摸时不要突出显示表格视图行(Do not highlight table view row when touched)
  • 如何覆盖错误堆栈getter(How to override Error stack getter)
  • 带有ImageMagick和许多图像的GIF动画(GIF animation with ImageMagick and many images)
  • USSD INTERFACE - > java web应用程序通信(USSD INTERFACE -> java web app communication)
  • 电脑高中毕业学习去哪里培训
  • 正则表达式验证SMTP响应(Regex to validate SMTP Responses)