{"id":44822,"date":"2023-11-10T13:44:28","date_gmt":"2023-05-29T14:27:01","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/"},"modified":"2024-05-04T08:20:46","modified_gmt":"2024-05-04T00:20:46","slug":"44822-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/","title":{"rendered":""},"content":{"rendered":"<h2>GoTo\u6587\u3068\u306f<\/h2>\n<p>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u754c\u306e\u30f4\u30a9\u30eb\u30c7\u30e2\u30fc\u30c8\u537f\u3002<br \/>\n\u8a18\u8ff0\u3057\u3066\u306f\u3044\u3051\u306a\u3044\u3042\u306e\u69cb\u6587\u3002<br \/>\n\u304b\u3064\u3066\u3001\u30a8\u30c9\u30ac\u30fc\u30fb\u30c0\u30a4\u30af\u30b9\u30c8\u30e9\u306f\u8a00\u3063\u305f\u3002Goto\u6587\u306f\u5371\u967a\u3067\u3042\u308b\u3002<\/p>\n<p>Edgar Dijkstra : Go To Statement Considered Harmful<\/p>\n<p>50\u5e74\u524d\u4ee5\u4e0a\u306e\u3053\u3068\u3067\u3042\u308b\u304c\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u306a\u3089\u8ab0\u3082\u304c\u805e\u3044\u305f\u3053\u3068\u304c\u3042\u308a\u3001<br \/>\n\u7269\u5fc3\u3064\u3044\u305f\u3068\u304d\u304b\u3089\u3001Goto\u6587\u3092\u907f\u3051\u3066\u304d\u305f\u3068\u306e\u3067\u306f\u306a\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u3067\u3059\u304c\u3001\u6bd4\u8f03\u7684\u65b0\u3057\u3044(?) Go\u8a00\u8a9e\u306b\u3082Goto\u6587\u306f\u5b58\u5728\u3057\u3001\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea\u306b\u3082\u4f7f\u308f\u308c\u3066\u307e\u3059\u306e\u3067\u3001<br \/>\nGoto\u30ad\u30e3\u30f3\u30da\u30fc\u30f3\u306b\u304b\u3053\u3064\u3051\u3066\u3001\u69d8\u3005\u306a\u5229\u7528\u4f8b\u3092\u63a2\u3063\u3066\u3044\u304d\u305f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<blockquote><p>\u300c\u69cb\u9020\u5316\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u89b3\u70b9\u304b\u3089goto\u6587\u3092\u4f7f\u3046\u306e\u306f\u671b\u307e\u3057\u304f\u306a\u3044\u300d\u3082\u306e\u306e\u300c\u5358\u306bgoto\u6587\u3092\u4f7f\u308f\u306a\u3051\u308c\u3070\u898b\u901a\u3057\u304c\u826f\u304f\u306a\u308b\u300d\u3068\u3044\u3046\u8003\u3048\u306f\u201cGo To Statement Considered Harmful\u201d[4]\u3067\u3082\u5426\u5b9a\u3055\u308c\u3066\u304a\u308a\u3001goto\u6587\u306e\u6709\u7121\u306e\u307f\u306b\u56fa\u57f7\u3059\u308b\u306e\u306f\u4e0d\u6bdb\u3067\u3042\u308b\u3002\u69cb\u9020\u5316\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u672c\u8cea\u306e\u4e00\u3064\u306f\u3001\u72b6\u614b\u9077\u79fb\u306e\u9069\u5207\u306a\u8868\u73fe\u65b9\u6cd5\u3068\u30bf\u30a4\u30df\u30f3\u30b0\u3092\u898b\u6975\u3081\u308b\u3053\u3068\u3067\u3042\u308b<\/p><\/blockquote>\n<p>\u53c2\u8003:Goto\u6587 Wikipedia<\/p>\n<h1>Go\u8a00\u8a9e\u306eGoto\u6587\u306e\u4ed5\u69d8<\/h1>\n<p>\u53c2\u8003:Goto_statements<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">func<\/span> <span class=\"n\">main<\/span><span class=\"p\">(){<\/span>\r\n    <span class=\"n\">log<\/span><span class=\"o\">.<\/span><span class=\"n\">Println<\/span><span class=\"p\">(<\/span><span class=\"m\">1<\/span><span class=\"p\">)<\/span>\r\n    <span class=\"k\">goto<\/span> <span class=\"n\">L<\/span>\r\n    <span class=\"n\">log<\/span><span class=\"o\">.<\/span><span class=\"n\">Println<\/span><span class=\"p\">(<\/span><span class=\"m\">2<\/span><span class=\"p\">)<\/span>\r\n<span class=\"n\">L<\/span><span class=\"o\">:<\/span>\r\n    <span class=\"n\">log<\/span><span class=\"o\">.<\/span><span class=\"n\">Println<\/span><span class=\"p\">(<\/span><span class=\"m\">3<\/span><span class=\"p\">)<\/span>\r\n<span class=\"p\">}<\/span>\r\n<span class=\"o\">---<\/span> <span class=\"n\">\u7d50\u679c<\/span> <span class=\"o\">---<\/span>\r\n<span class=\"m\">2<\/span>\r\n<span class=\"m\">3<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"k\">func<\/span> <span class=\"n\">main<\/span><span class=\"p\">(){<\/span>\r\n    <span class=\"k\">if<\/span> <span class=\"no\">false<\/span> <span class=\"p\">{<\/span>\r\n      <span class=\"k\">goto<\/span> <span class=\"n\">Label<\/span>  \r\n    <span class=\"p\">}<\/span>\r\n<span class=\"n\">Label<\/span><span class=\"o\">:<\/span>\r\n    <span class=\"n\">log<\/span><span class=\"o\">.<\/span><span class=\"n\">Println<\/span><span class=\"p\">(<\/span><span class=\"m\">1<\/span><span class=\"p\">)<\/span>\r\n<span class=\"p\">}<\/span>\r\n<span class=\"o\">---<\/span> <span class=\"n\">\u7d50\u679c<\/span> <span class=\"o\">---<\/span>\r\n<span class=\"m\">1<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"k\">func<\/span> <span class=\"n\">main<\/span><span class=\"p\">(){<\/span>\r\n    <span class=\"k\">goto<\/span> <span class=\"n\">Label<\/span>\r\n    <span class=\"k\">var<\/span> <span class=\"n\">str<\/span> <span class=\"kt\">string<\/span>\r\n<span class=\"n\">Label<\/span><span class=\"o\">:<\/span>\r\n    <span class=\"n\">log<\/span><span class=\"o\">.<\/span><span class=\"n\">Println<\/span><span class=\"p\">(<\/span><span class=\"m\">3<\/span><span class=\"p\">)<\/span>\r\n<span class=\"p\">}<\/span>\r\n<span class=\"o\">---<\/span> <span class=\"n\">\u7d50\u679c<\/span> <span class=\"o\">---<\/span>\r\n<span class=\"k\">goto<\/span> <span class=\"n\">Label<\/span> <span class=\"n\">jumps<\/span> <span class=\"n\">over<\/span> <span class=\"n\">declaration<\/span> <span class=\"n\">of<\/span> <span class=\"n\">str<\/span> <span class=\"n\">at<\/span> <span class=\"o\">.\/<\/span><span class=\"n\">Main<\/span><span class=\"o\">.<\/span><span class=\"k\">go<\/span><span class=\"o\">:<\/span><span class=\"n\">XX<\/span><span class=\"o\">:<\/span><span class=\"n\">X<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"k\">func<\/span> <span class=\"n\">main<\/span><span class=\"p\">(){<\/span>\r\n    <span class=\"k\">goto<\/span> <span class=\"n\">Label<\/span>\r\n    <span class=\"k\">if<\/span> <span class=\"no\">false<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">Label<\/span><span class=\"o\">:<\/span>\r\n        <span class=\"n\">log<\/span><span class=\"o\">.<\/span><span class=\"n\">Println<\/span><span class=\"p\">(<\/span><span class=\"m\">1<\/span><span class=\"p\">)<\/span>     \r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n<span class=\"o\">---<\/span> <span class=\"n\">\u7d50\u679c<\/span> <span class=\"o\">---<\/span>\r\n<span class=\"k\">goto<\/span> <span class=\"n\">Label<\/span> <span class=\"n\">jumps<\/span> <span class=\"n\">into<\/span> <span class=\"n\">block<\/span> <span class=\"n\">starting<\/span> <span class=\"n\">at<\/span> <span class=\"o\">.\/<\/span><span class=\"n\">Main<\/span><span class=\"o\">.<\/span><span class=\"k\">go<\/span><span class=\"o\">:<\/span><span class=\"n\">X<\/span><span class=\"o\">:<\/span><span class=\"n\">XX<\/span>\r\n<\/code><\/pre>\n<h2>\u5229\u7528\u4f8b\u3092\u63a2\u3059<\/h2>\n<p>\u672c\u5bb6\u3001golang\u306eGithub\u304b\u3089\u5229\u7528\u4f8b\u3092\u63a2\u3057\u3066\u884c\u3053\u3046\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<h3>\u30a8\u30e9\u30fc\u30cf\u30f3\u30c9\u30ea\u30f3\u30b0\u306b\u4f7f\u3046<\/h3>\n<p>Exeption\u306ethrow\/catch\u304c\u306a\u3044Go\u8a00\u8a9e\u3067\u4f3c\u305f\u3088\u3046\u306a\u7269\u3092\u5b9f\u73fe\u3059\u308b\u70ba\u306e\u66f8\u304d\u65b9\u3067\u3059\u306d\u3002<br \/>\ngo\u306b\u306fdefer\u3092\u4f7f\u3046\u66f8\u304d\u65b9\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u3053\u3061\u3089\u3082\u898b\u901a\u3057\u304c\u3088\u304f\u826f\u3044\u66f8\u304d\u65b9\u306e\u3088\u3046\u306b\u307f\u3048\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code>    <span class=\"k\">case<\/span> <span class=\"o\">*<\/span><span class=\"n\">Pointer<\/span><span class=\"p\">,<\/span> <span class=\"o\">*<\/span><span class=\"n\">Signature<\/span><span class=\"p\">,<\/span> <span class=\"o\">*<\/span><span class=\"n\">Slice<\/span><span class=\"p\">,<\/span> <span class=\"o\">*<\/span><span class=\"n\">Map<\/span><span class=\"p\">,<\/span> <span class=\"o\">*<\/span><span class=\"n\">Chan<\/span><span class=\"o\">:<\/span>\r\n        <span class=\"k\">if<\/span> <span class=\"o\">!<\/span><span class=\"n\">x<\/span><span class=\"o\">.<\/span><span class=\"n\">isNil<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n            <span class=\"k\">goto<\/span> <span class=\"n\">Error<\/span>\r\n        <span class=\"p\">}<\/span>\r\n        <span class=\"c\">\/\/ keep nil untyped - see comment for interfaces, above<\/span>\r\n        <span class=\"n\">target<\/span> <span class=\"o\">=<\/span> <span class=\"n\">Typ<\/span><span class=\"p\">[<\/span><span class=\"n\">UntypedNil<\/span><span class=\"p\">]<\/span>\r\n    <span class=\"k\">default<\/span><span class=\"o\">:<\/span>\r\n        <span class=\"k\">goto<\/span> <span class=\"n\">Error<\/span>\r\n    <span class=\"p\">}<\/span>\r\n\r\n    <span class=\"n\">x<\/span><span class=\"o\">.<\/span><span class=\"n\">typ<\/span> <span class=\"o\">=<\/span> <span class=\"n\">target<\/span>\r\n    <span class=\"n\">check<\/span><span class=\"o\">.<\/span><span class=\"n\">updateExprType<\/span><span class=\"p\">(<\/span><span class=\"n\">x<\/span><span class=\"o\">.<\/span><span class=\"n\">expr<\/span><span class=\"p\">,<\/span> <span class=\"n\">target<\/span><span class=\"p\">,<\/span> <span class=\"no\">true<\/span><span class=\"p\">)<\/span> <span class=\"c\">\/\/ UntypedNils are final<\/span>\r\n    <span class=\"k\">return<\/span>\r\n\r\n<span class=\"n\">Error<\/span><span class=\"o\">:<\/span>\r\n    <span class=\"n\">check<\/span><span class=\"o\">.<\/span><span class=\"n\">errorf<\/span><span class=\"p\">(<\/span><span class=\"n\">x<\/span><span class=\"o\">.<\/span><span class=\"n\">pos<\/span><span class=\"p\">(),<\/span> <span class=\"s\">\"cannot convert %s to %s\"<\/span><span class=\"p\">,<\/span> <span class=\"n\">x<\/span><span class=\"p\">,<\/span> <span class=\"n\">target<\/span><span class=\"p\">)<\/span>\r\n    <span class=\"n\">x<\/span><span class=\"o\">.<\/span><span class=\"n\">mode<\/span> <span class=\"o\">=<\/span> <span class=\"n\">invalid<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u53c2\u8003:https:\/\/github.com\/golang\/gofrontend\/blob\/master\/libgo\/go\/go\/types\/expr.go<\/p>\n<h3>\u30cd\u30b9\u30c8\u3057\u305fLoop,\u6761\u4ef6\u5206\u5c90\u304b\u3089\u306e\u8131\u51fa(\u51e6\u7406\u306e\u30b9\u30ad\u30c3\u30d7)<\/h3>\n<p>\u4e0a\u8a18\u306eError\u3068\u307b\u307c\u540c\u69d8\u306e\u4f7f\u3044\u65b9\u3067\u3059\u304c\u3001<br \/>\n\u30eb\u30fc\u30d7\u3068\u8907\u96d1\u306a\u6761\u4ef6\u5206\u5c90\u304b\u3089\u3001\u51e6\u7406\u3078\u8ee2\u9001\u4f8b\u3067\u3059\u3002<br \/>\nbreak\u3092\u66f8\u304b\u305a\u3001\u8907\u6570Loop\u3092\u629c\u3051\u3001\u51e6\u7406\u3092\u30b9\u30ad\u30c3\u30d7\u3067\u304d\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">for<\/span> <span class=\"p\">;<\/span> <span class=\"n\">nSrc<\/span> <span class=\"o\">&lt;<\/span> <span class=\"nb\">len<\/span><span class=\"p\">(<\/span><span class=\"n\">src<\/span><span class=\"p\">);<\/span> <span class=\"n\">nSrc<\/span> <span class=\"o\">+=<\/span> <span class=\"n\">size<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">c0<\/span> <span class=\"o\">:=<\/span> <span class=\"n\">src<\/span><span class=\"p\">[<\/span><span class=\"n\">nSrc<\/span><span class=\"p\">]<\/span>\r\n    <span class=\"k\">if<\/span> <span class=\"n\">c0<\/span> <span class=\"o\">&gt;=<\/span> <span class=\"n\">utf8<\/span><span class=\"o\">.<\/span><span class=\"n\">RuneSelf<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"n\">r<\/span><span class=\"p\">,<\/span> <span class=\"n\">size<\/span> <span class=\"o\">=<\/span> <span class=\"sc\">'\\ufffd'<\/span><span class=\"p\">,<\/span> <span class=\"m\">1<\/span>\r\n        <span class=\"k\">goto<\/span> <span class=\"n\">write<\/span>\r\n    <span class=\"p\">}<\/span>\r\n\r\n<span class=\"o\">...<\/span>\r\n\r\n<span class=\"n\">write<\/span><span class=\"o\">:<\/span>\r\n    <span class=\"k\">if<\/span> <span class=\"n\">nDst<\/span><span class=\"o\">+<\/span><span class=\"n\">utf8<\/span><span class=\"o\">.<\/span><span class=\"n\">RuneLen<\/span><span class=\"p\">(<\/span><span class=\"n\">r<\/span><span class=\"p\">)<\/span> <span class=\"o\">&gt;<\/span> <span class=\"nb\">len<\/span><span class=\"p\">(<\/span><span class=\"n\">dst<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">return<\/span> <span class=\"n\">nDst<\/span><span class=\"p\">,<\/span> <span class=\"n\">nSrc<\/span><span class=\"p\">,<\/span> <span class=\"n\">transform<\/span><span class=\"o\">.<\/span><span class=\"n\">ErrShortDst<\/span>\r\n    <span class=\"p\">}<\/span>\r\n    <span class=\"n\">nDst<\/span> <span class=\"o\">+=<\/span> <span class=\"n\">utf8<\/span><span class=\"o\">.<\/span><span class=\"n\">EncodeRune<\/span><span class=\"p\">(<\/span><span class=\"n\">dst<\/span><span class=\"p\">[<\/span><span class=\"n\">nDst<\/span><span class=\"o\">:<\/span><span class=\"p\">],<\/span> <span class=\"n\">r<\/span><span class=\"p\">)<\/span>\r\n<span class=\"p\">}<\/span>\r\n<span class=\"k\">return<\/span> <span class=\"n\">nDst<\/span><span class=\"p\">,<\/span> <span class=\"n\">nSrc<\/span><span class=\"p\">,<\/span> <span class=\"n\">err<\/span>\r\n<\/code><\/pre>\n<p>\u53c2\u8003:https:\/\/github.com\/golang\/text\/blob\/master\/encoding\/japanese\/iso2022jp.go<\/p>\n<h3>\u69cb\u6587\u89e3\u6790\u306e\u6761\u4ef6\u5206\u5c90\u306b\u5229\u7528\u3059\u308b\u3002<\/h3>\n<p>html\u30bf\u30b0\u89e3\u6790\u306e\u6761\u4ef6\u5206\u5c90\u306b\u4f7f\u3063\u3066\u3044\u308b\u3088\u3046\u3067\u3059\u3002<br \/>\ngoto\u6587\u306f\u5b9f\u884c\u901f\u5ea6\u306f\u65e9\u3044\u306e\u3067\u3057\u3087\u3046\u304b\uff1f<br \/>\n\u5f62\u304c\u304d\u3063\u3061\u308a\u5b9a\u307e\u3063\u3066\u3044\u308b\u7269\u306e\u89e3\u6790\u306b\u306f\u826f\u3044\u306e\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002<br \/>\n\u51e6\u7406\u81ea\u4f53\u30b9\u30c3\u30ad\u30ea\u3057\u3066\u307f\u3048\u307e\u3059\u306d\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">func<\/span> <span class=\"p\">(<\/span><span class=\"n\">z<\/span> <span class=\"o\">*<\/span><span class=\"n\">Tokenizer<\/span><span class=\"p\">)<\/span> <span class=\"n\">readScript<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">defer<\/span> <span class=\"k\">func<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"n\">z<\/span><span class=\"o\">.<\/span><span class=\"n\">data<\/span><span class=\"o\">.<\/span><span class=\"n\">end<\/span> <span class=\"o\">=<\/span> <span class=\"n\">z<\/span><span class=\"o\">.<\/span><span class=\"n\">raw<\/span><span class=\"o\">.<\/span><span class=\"n\">end<\/span>\r\n    <span class=\"p\">}()<\/span>\r\n    <span class=\"k\">var<\/span> <span class=\"n\">c<\/span> <span class=\"kt\">byte<\/span>\r\n\r\n<span class=\"n\">scriptData<\/span><span class=\"o\">:<\/span>\r\n    <span class=\"n\">c<\/span> <span class=\"o\">=<\/span> <span class=\"n\">z<\/span><span class=\"o\">.<\/span><span class=\"n\">readByte<\/span><span class=\"p\">()<\/span>\r\n    <span class=\"k\">if<\/span> <span class=\"n\">z<\/span><span class=\"o\">.<\/span><span class=\"n\">err<\/span> <span class=\"o\">!=<\/span> <span class=\"no\">nil<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">return<\/span>\r\n    <span class=\"p\">}<\/span>\r\n    <span class=\"k\">if<\/span> <span class=\"n\">c<\/span> <span class=\"o\">==<\/span> <span class=\"sc\">'&lt;'<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">goto<\/span> <span class=\"n\">scriptDataLessThanSign<\/span>\r\n    <span class=\"p\">}<\/span>\r\n    <span class=\"k\">goto<\/span> <span class=\"n\">scriptData<\/span>\r\n\r\n<span class=\"n\">scriptDataLessThanSign<\/span><span class=\"o\">:<\/span>\r\n    <span class=\"n\">c<\/span> <span class=\"o\">=<\/span> <span class=\"n\">z<\/span><span class=\"o\">.<\/span><span class=\"n\">readByte<\/span><span class=\"p\">()<\/span>\r\n    <span class=\"k\">if<\/span> <span class=\"n\">z<\/span><span class=\"o\">.<\/span><span class=\"n\">err<\/span> <span class=\"o\">!=<\/span> <span class=\"no\">nil<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">return<\/span>\r\n    <span class=\"p\">}<\/span>\r\n    <span class=\"k\">switch<\/span> <span class=\"n\">c<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">case<\/span> <span class=\"sc\">'\/'<\/span><span class=\"o\">:<\/span>\r\n        <span class=\"k\">goto<\/span> <span class=\"n\">scriptDataEndTagOpen<\/span>\r\n    <span class=\"k\">case<\/span> <span class=\"sc\">'!'<\/span><span class=\"o\">:<\/span>\r\n        <span class=\"k\">goto<\/span> <span class=\"n\">scriptDataEscapeStart<\/span>\r\n    <span class=\"p\">}<\/span>\r\n    <span class=\"n\">z<\/span><span class=\"o\">.<\/span><span class=\"n\">raw<\/span><span class=\"o\">.<\/span><span class=\"n\">end<\/span><span class=\"o\">--<\/span>\r\n    <span class=\"k\">goto<\/span> <span class=\"n\">scriptData<\/span>\r\n<span class=\"o\">....<\/span>\r\n\r\n<\/code><\/pre>\n<p>\u53c2\u8003:https:\/\/github.com\/golang\/net\/blob\/master\/html\/token.go<\/p>\n<h3>goto\u3092\u4f7f\u3063\u305f\u30eb\u30fc\u30d7<\/h3>\n<p>for\u5185\u3067\u3001CheckAndLoop\u306b\u623b\u308acontinue\u3059\u308b\u6761\u4ef6\u306b\u623b\u3063\u3066\u3044\u307e\u3059\u3002<br \/>\n\u6761\u4ef6\u3092\u5916\u308c\u305f\u5834\u5408\u3001\u518d\u5ea6Skip\u30e9\u30d9\u30eb\u4ee5\u964d\u306e\u51e6\u7406\u304c\u5b9f\u884c\u3055\u308c\u308b\u3002<\/p>\n<p>for\u306e\u6761\u4ef6\u5224\u5b9a\u3084\u3001for ~ CheckAndLoop\u307e\u3067\u306e\u51e6\u7406\u3055\u308c\u308b\u30d1\u30bf\u30fc\u30f3\u9650\u5b9a\u3057\u3001\u52b9\u7387\u3088\u304f\u53cd\u5fa9\u3059\u308b\u76ee\u7684\u306a\u306e\u3067\u3057\u3087\u3046\u304b\u3002<br \/>\n\u666e\u6bb5\u3001\u30c1\u30fc\u30e0\u958b\u767a\u3092\u884c\u3063\u3066\u3044\u308b\u79c1\u306f\u3053\u3046\u3044\u3063\u305f\u7269\u3092\u66f8\u304f\u6a5f\u4f1a\u306f\u5c11\u306a\u3044\u3067\u3057\u3087\u3046\u3002<br \/>\n\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u304c\u8457\u3057\u304f\u60aa\u304f\u6700\u9069\u5316\u3059\u308b\u3088\u3046\u306a\u969b\u306f\u5c0f\u3055\u3044package\u306b\u5207\u308a\u51fa\u3057\u3066\u3053\u3046\u3044\u3063\u305f\u51e6\u7406\u3092\u66f8\u304f\u6a5f\u4f1a\u304c\u3042\u308b\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002<\/p>\n<pre class=\"post-pre\"><code>    <span class=\"k\">for<\/span> <span class=\"nb\">len<\/span><span class=\"p\">(<\/span><span class=\"n\">b<\/span><span class=\"o\">.<\/span><span class=\"n\">jobs<\/span><span class=\"p\">)<\/span> <span class=\"o\">&gt;<\/span> <span class=\"m\">0<\/span> <span class=\"p\">{<\/span>\r\n                <span class=\"o\">....<\/span>\r\n                <span class=\"o\">....<\/span>\r\n    <span class=\"n\">CheckAndLoop<\/span><span class=\"o\">:<\/span>\r\n        <span class=\"k\">if<\/span> <span class=\"o\">!<\/span><span class=\"n\">b<\/span><span class=\"o\">.<\/span><span class=\"n\">shouldVisit<\/span><span class=\"p\">(<\/span><span class=\"n\">pc<\/span><span class=\"p\">,<\/span> <span class=\"n\">pos<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n            <span class=\"k\">continue<\/span>\r\n        <span class=\"p\">}<\/span>\r\n    <span class=\"n\">Skip<\/span><span class=\"o\">:<\/span>\r\n\r\n        <span class=\"n\">inst<\/span> <span class=\"o\">:=<\/span> <span class=\"n\">re<\/span><span class=\"o\">.<\/span><span class=\"n\">prog<\/span><span class=\"o\">.<\/span><span class=\"n\">Inst<\/span><span class=\"p\">[<\/span><span class=\"n\">pc<\/span><span class=\"p\">]<\/span>\r\n\r\n        <span class=\"k\">switch<\/span> <span class=\"n\">inst<\/span><span class=\"o\">.<\/span><span class=\"n\">Op<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">default<\/span><span class=\"o\">:<\/span>\r\n            <span class=\"nb\">panic<\/span><span class=\"p\">(<\/span><span class=\"s\">\"bad inst\"<\/span><span class=\"p\">)<\/span>\r\n        <span class=\"k\">case<\/span> <span class=\"n\">syntax<\/span><span class=\"o\">.<\/span><span class=\"n\">InstFail<\/span><span class=\"o\">:<\/span>\r\n            <span class=\"nb\">panic<\/span><span class=\"p\">(<\/span><span class=\"s\">\"unexpected InstFail\"<\/span><span class=\"p\">)<\/span>\r\n        <span class=\"k\">case<\/span> <span class=\"n\">syntax<\/span><span class=\"o\">.<\/span><span class=\"n\">InstAlt<\/span><span class=\"o\">:<\/span>\r\n            <span class=\"k\">if<\/span> <span class=\"n\">arg<\/span> <span class=\"p\">{<\/span>\r\n                <span class=\"n\">arg<\/span> <span class=\"o\">=<\/span> <span class=\"no\">false<\/span>\r\n                <span class=\"n\">pc<\/span> <span class=\"o\">=<\/span> <span class=\"n\">inst<\/span><span class=\"o\">.<\/span><span class=\"n\">Arg<\/span>\r\n                <span class=\"k\">goto<\/span> <span class=\"n\">CheckAndLoop<\/span>\r\n            <span class=\"p\">}<\/span> <span class=\"k\">else<\/span> <span class=\"p\">{<\/span>\r\n                <span class=\"n\">b<\/span><span class=\"o\">.<\/span><span class=\"n\">push<\/span><span class=\"p\">(<\/span><span class=\"n\">re<\/span><span class=\"p\">,<\/span> <span class=\"n\">pc<\/span><span class=\"p\">,<\/span> <span class=\"n\">pos<\/span><span class=\"p\">,<\/span> <span class=\"no\">true<\/span><span class=\"p\">)<\/span>\r\n                <span class=\"n\">pc<\/span> <span class=\"o\">=<\/span> <span class=\"n\">inst<\/span><span class=\"o\">.<\/span><span class=\"n\">Out<\/span>\r\n                <span class=\"k\">goto<\/span> <span class=\"n\">CheckAndLoop<\/span>\r\n            <span class=\"p\">}<\/span>\r\n\r\n<\/code><\/pre>\n<p>\u53c2\u8003\uff1ahttps:\/\/github.com\/golang\/gofrontend\/blob\/master\/libgo\/go\/regexp\/backtrack.go<\/p>\n<h2>\u6700\u5f8c\u306b<\/h2>\n<p>Go\u306eGoto\u6587\u306fC\u8a00\u8a9e\u306e\u3082\u306e\u3068\u9055\u3044\u3001\u81ea\u7531\u5954\u653e\u306a\u51e6\u7406\u8ee2\u9001\u3092\u884c\u3048\u308b\u3082\u306e\u3068\u306f\u5c11\u3057\u9055\u3046\u3068\u3044\u3046\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3057\u305f\u3002<br \/>\n\u7528\u9014\u306b\u3088\u3063\u3066\u306f\u30bd\u30fc\u30b9\u306e\u898b\u901a\u3057\u3082\u3088\u304f\u7dba\u9e97\u306b\u304b\u3051\u308b\u306e\u3067\u3001\u3088\u304f\u7406\u89e3\u3057\u5229\u7528\u3059\u308c\u3070\u4ed6\u8a00\u8a9e\u3068\u6bd4\u3079\u3066\u30e2\u30e4\u30c3\u3068\u3057\u3066\u3044\u305f<br \/>\n\u90e8\u5206\u3092\u89e3\u6d88\u3067\u304d\u308b\u306e\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n<p>\u305f\u3060\u3001\u4f7f\u308f\u308c\u3066\u6765\u306a\u304b\u3063\u305f\u80cc\u666f\u3082\u3042\u308a\u3001\u99b4\u67d3\u307f\u306e\u306a\u3044\u69cb\u6587\u306e\u70ba\u3001\u5229\u7528\u8005\u306e\u6280\u8853\u529b\u306b\u3088\u3063\u3066\u3057\u307e\u3046\u3068\u3053\u308d\u3082\u3042\u308a\u3001<br \/>\n\u7279\u306b\u30c1\u30fc\u30e0\u3067\u306e\u958b\u767a\u3067\u306f\u3001\u4e00\u7b87\u6240\u306b\u66f8\u3044\u305f\u3053\u306e\u69cb\u6587\u3092\u3069\u3093\u306a\u4eba\u306b\u3001\u3069\u3093\u306a\u98a8\u306b\u5229\u7528\u3055\u308c\u308b\u304b\u308f\u304b\u308a\u307e\u305b\u3093\u3002<\/p>\n<p>\u30ec\u30d3\u30e5\u30fc\u3067\u9811\u5f35\u3063\u3066\u53d6\u308a\u5207\u308b\u304b\u3001\u5c0f\u3055\u306aPackage\u3067\u306e\u5229\u7528\u306b\u7559\u3081\u3001<br \/>\n\u57fa\u672c\u7684\u306b\u306f\u4f7f\u308f\u306a\u3044\u306b\u3053\u3057\u305f\u3053\u3068\u306f\u306a\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u3068\u3044\u3046\u3053\u3068\u3067\u3001\u79c1\u306eGoto\u30ad\u30e3\u30f3\u30da\u30fc\u30f3\u306f\u4e2d\u6b62\u3067\u3059\u3002\u3002<\/p>\n<p>\u305d\u306e\u4ed6\u3001\u5229\u7528\u4f8b\u3084\u3001\u3053\u3046\u4f7f\u3046\u3068\u3044\u3044\u3088\uff01\u7b49\u3042\u308a\u307e\u3057\u305f\u3089\u3001\u6559\u3048\u3066\u3044\u305f\u3060\u3051\u305f\u3089\u5e78\u3044\u3067\u3059\u3002<br \/>\n\u7686\u69d8\u306eGoto\u30ad\u30e3\u30f3\u30da\u30fc\u30f3\u3092\u304a\u5f85\u3061\u3057\u3066\u304a\u308a\u307e\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>GoTo\u6587\u3068\u306f \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u754c\u306e\u30f4\u30a9\u30eb\u30c7\u30e2\u30fc\u30c8\u537f\u3002 \u8a18\u8ff0\u3057\u3066\u306f\u3044\u3051\u306a\u3044\u3042\u306e\u69cb\u6587\u3002 \u304b\u3064\u3066\u3001\u30a8\u30c9\u30ac\u30fc\u30fb\u30c0\u30a4\u30af\u30b9 [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-44822","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v21.5 (Yoast SEO v21.5) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>- Blog - Silicon Cloud<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"GoTo\u6587\u3068\u306f \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u754c\u306e\u30f4\u30a9\u30eb\u30c7\u30e2\u30fc\u30c8\u537f\u3002 \u8a18\u8ff0\u3057\u3066\u306f\u3044\u3051\u306a\u3044\u3042\u306e\u69cb\u6587\u3002 \u304b\u3064\u3066\u3001\u30a8\u30c9\u30ac\u30fc\u30fb\u30c0\u30a4\u30af\u30b9 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2023-05-29T14:27:01+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-05-04T00:20:46+00:00\" \/>\n<meta name=\"author\" content=\"\u79d1, \u96c5\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u79d1, \u96c5\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2023-05-29T14:27:01+00:00\",\"dateModified\":\"2024-05-04T00:20:46+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/41e222757cdd2a3365361328bd79970a\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/\"]}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/\",\"name\":\"Blog - Silicon Cloud\",\"description\":\"\",\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/41e222757cdd2a3365361328bd79970a\",\"name\":\"\u79d1, \u96c5\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/1b2d3e00a7df03689797ebd4af8c5827ba5af936849a71050ec331f4cf902c5d?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/1b2d3e00a7df03689797ebd4af8c5827ba5af936849a71050ec331f4cf902c5d?s=96&d=mm&r=g\",\"caption\":\"\u79d1, \u96c5\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/keya\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/#local-main-organization-logo\",\"url\":\"\",\"contentUrl\":\"\",\"caption\":\"Blog - Silicon Cloud\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"- Blog - Silicon Cloud","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/","og_locale":"zh_CN","og_type":"article","og_description":"GoTo\u6587\u3068\u306f \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u754c\u306e\u30f4\u30a9\u30eb\u30c7\u30e2\u30fc\u30c8\u537f\u3002 \u8a18\u8ff0\u3057\u3066\u306f\u3044\u3051\u306a\u3044\u3042\u306e\u69cb\u6587\u3002 \u304b\u3064\u3066\u3001\u30a8\u30c9\u30ac\u30fc\u30fb\u30c0\u30a4\u30af\u30b9 [&hellip;]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2023-05-29T14:27:01+00:00","article_modified_time":"2024-05-04T00:20:46+00:00","author":"\u79d1, \u96c5","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u79d1, \u96c5","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"2 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2023-05-29T14:27:01+00:00","dateModified":"2024-05-04T00:20:46+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/41e222757cdd2a3365361328bd79970a"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/"]}]},{"@type":"WebSite","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website","url":"https:\/\/www.silicloud.com\/zh\/blog\/","name":"Blog - Silicon Cloud","description":"","inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/41e222757cdd2a3365361328bd79970a","name":"\u79d1, \u96c5","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/1b2d3e00a7df03689797ebd4af8c5827ba5af936849a71050ec331f4cf902c5d?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/1b2d3e00a7df03689797ebd4af8c5827ba5af936849a71050ec331f4cf902c5d?s=96&d=mm&r=g","caption":"\u79d1, \u96c5"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/keya\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/44822-2\/#local-main-organization-logo","url":"","contentUrl":"","caption":"Blog - Silicon Cloud"}]}},"_links":{"self":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/44822","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=44822"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/44822\/revisions"}],"predecessor-version":[{"id":97201,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/44822\/revisions\/97201"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=44822"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=44822"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=44822"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}