[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10,"_11":12,"_13":14},"actionData","errors","root",{"_139":140,"_141":134},"routes/_root/_root",{"_136":-7,"_38":137,"_115":-7,"_138":-7},"routes/_root.challenges",{"_34":132,"_133":134,"_135":16},"routes/_root.challenges.$challengeCanonical+/_root",{"_46":47,"_48":49,"_50":51},"routes/_root.challenges.$challengeCanonical+/writeups",{"_15":16,"_17":16,"_18":19,"_20":21,"_22":23},"solved",false,"hasWriteup","writeups",[24],"name","Compile time flag checker","canonicalName","compile-time-flag-checker",{"_25":26,"_27":28,"_29":30,"_31":16,"_32":16,"_33":16,"_34":35,"_36":37,"_38":39,"_40":16,"_41":42},"author",{"_20":43,"_44":45},"writeupElementId","5c7a21cd","writeupId","5c7a21cd-4a10-44b2-81e9-8dcf45b80412","canEdit","canLike","likedByViewer","title","Writeup for Compile time flag checker","url","https://m5453.hatenablog.com/entry/2026/07/18/110638","language","ja","isOfficial","createdAt",["D",1784340468690],"edwowmath","gravatarHash","da7725b54f5878238f1299ce7511275e38b9801cc54a85a382a0ccf01ac80f99","challenge",{"_20":21,"_22":23,"_55":56,"_57":58,"_59":60,"_61":62,"_63":64,"_65":-7,"_66":67,"_68":69,"_70":16,"_71":-7,"_72":73,"_74":-7,"_75":-7,"_33":16,"_76":77,"_78":79,"_80":16,"_81":-7,"_82":16,"_83":-7,"_84":-7,"_85":86,"_87":-7,"_88":-7,"_89":-7,"_90":91,"_92":16,"_93":91,"_32":91,"_94":16,"_95":-7,"_96":97,"_98":99,"_100":101,"_102":103},"availablePages",[52,53,54],"canonicalUrl","https://alpacahack.com/challenges/compile-time-flag-checker","Description","Solves","Writeups","solves",58,"difficulty",65,"flagFormat","Alpaca{[\\x20-\\x7E]+}","categories",[129],"attachments",[125],"remote","description","It can only be compiled with a correct flag.\n\n

Beginner Hint 1: C++ Features

\n\n- `chal.cpp` uses various C++ language and library features.\n - The `constexpr` keyword indicates that variables or functions can be calculated at compile time.\n - The `static_assert` keyword checks if a condition is true, and shows an compile-error message if it does not; in `chal.cpp`, it is used as a flag checker.\n - The `template` keyword allows to abstract of type arguments and non-type arguments for functions and types.\n - The `std::index_sequence` type represents a sequence of `size_t` elements at the type level. `std::make_index_sequence` can be used to create a sequence starting from 0 with a specified number of elements.\n - The `std::integer_sequence` type represents a sequence of elements of a specified type at the type level; in `chal.cpp`, it is used as a sequence of `std::uint8_t` values.\n - Syntax like `std::size_t... I` or `std::index_sequence` within a `template` function represents a feature known as parameter packs. Within the function, syntax such as `F(I)...` is used to expand the parameter pack.\n - Syntax like `[](std::size_t i) { return input_string_view[i]; }` represents C++ lambda expression; in `chal.cpp`, it is used as the `F` type argument for `my_make_sequence_t`.\n - The `decltype` keyword retrieves the type of a value; in `chal.cpp`, it is used to recover the type from a `std::integer_sequence` value.\n - The `std::is_same_v` variable indicates whether two type arguments are identical; in `chal.cpp`, it is used as a flag checker.\n- You may want to investigate the details further if necessary.\n\n

\n\n

Beginner Hint 2: Approach to Solving the Challenge

\n\n- It is a good idea to start by understanding the calculations performed by the `convolve_t` type, the `convolve_impl` function, and the `convolve_element` function. In particular, the relationship between the sequence lengths of the two type arguments `A` and `B` for `convolve_t` and the sequence length of `convolve_t` itself is crucial.\n- Let's try examining the elements of the sequence generated by the `odd_random_sequence_t` type; using IDE features might make this easier.\n\n

\n","descriptionJa","正しいフラグでだけコンパイルできます。\n\n

初心者向けヒント1: C++の機能

\n\n- `chal.cpp` では、C++の様々な言語機能やライブラリ機能を利用しています。\n - `constexpr` キーワードは、変数や関数をコンパイル時に計算できることを表します。\n - `static_assert` キーワードは、条件が成立するかを確認し、成立しない場合はコンパイルエラーを起こします。`chal.cpp` ではその機能をフラグチェッカーとして利用しています。\n - `template` キーワードは、関数や型について、型引数や非型引数を抽象化できます。\n - `std::index_sequence` 型は、`size_t` 型の要素のシーケンスを型レベルで表します。`std::make_index_sequence` 型を使うと、0 から始まる指定要素数のシーケンスを作成できます。\n - `std::integer_sequence` 型は、型引数で指定する型の要素のシーケンスを型レベルで表します。`chal.cpp` では `std::uint8_t` 型のシーケンスを利用しています。\n - `template` 関数中にある `std::size_t... I` や `std::index_sequence` は、パラメーターパックという機能を使う記法です。関数中で `F(I)...` のように記述して、パラメーターパックを展開して利用します。\n - `[](std::size_t i) { return input_string_view[i]; }` のような構文は、C++ のラムダ式を表します。`chal.cpp` では、`my_make_sequence_t` 型の `F` 型引数として使用しています。\n - `decltype` キーワードは、値の型を取得します。`chal.cpp` では、`std::integer_sequence` 型の値から型を復元するために利用しています。\n - `std::is_same_v` 変数は、2 つの型引数が同一であるかを表します。`chal.cpp` では、フラグチェッカーの正解判定に利用しています。\n- 必要に応じて、より詳細な内容を調べてみると良いでしょう。\n\n

\n\n

初心者向けヒント2: 問題へのアプローチ

\n\n- `convolve_t` 型や `convolve_impl` 関数、`convolve_element` 関数が、どのような計算を行っているのかを理解することから始めると良いでしょう。特に、`convolve_t` 型の 2 つの型引数 `A` 、`B` のシーケンス長と、`convolve_t` 型そのもののシーケンス長の関係が重要です。\n- `odd_random_sequence_t` 型のシーケンスの各要素が何になるかを調べてみましょう。IDE の機能を使うと簡単かもしれません。\n\n

\n","descriptionRequiresSignIn","changeLog","authors",[122],"solvedAt","solvedAtInContext","ctfChallenges",[],"tags",[117,118],"submitAsCtfChallenge","ctfCanonical","ctfEnded","point","solvesCtfChallenge","classification","hard","isMirror","ctfParticipants","ctfMode","isDailyChallenge",true,"canCheckFlagWithoutSubmission","canCreateInstance","showcaseMode","dailyProgramCanonicalForAction","reviewProgramCanonicalForAction","daily-alpacahack","dailyChallengeSlot",{"_104":105,"_85":86,"_106":107,"_108":109,"_110":111,"_112":113},"nextDailyCanonical","redirecting-to-login-page","httpsProxyHostname","compile-time-flag-checker.chal.alp4ca.com","program",{"_22":97,"_20":114,"_115":116},"scheduledDate",["D",1783782000000],"releaseAt",["D",1783782000000],"status","PUBLISHED","plannedTopic","C++","Daily AlpacaHack","timeZone","Asia/Tokyo",{"_20":113,"_22":121},{"_20":119,"_22":120},"Flag Checker","flag-checker","cpp",{"_20":123,"_44":124},"tan90909090","b798cd37a3b189532822b9d09f02f5b994cf23f40bb5edd06829140c9528af5b",{"_126":127,"_36":128},"fileName","compile-time-flag-checker.tar.gz","https://alpacahack-prod.s3.ap-northeast-1.amazonaws.com/41677861-962b-4201-88f3-f95369dc5377/compile-time-flag-checker.tar.gz",{"_20":130,"_22":131},"Rev","rev","Challenges","query","","isLoggedIn","user","en","timeZoneAbbr","clientConfig",{"_142":143,"_144":91,"_145":146,"_147":146,"_148":149,"_150":151,"_152":16,"_153":134},"cspNonce","firebaseOptions",{"_154":155,"_156":157,"_158":159,"_160":161,"_162":163,"_164":149},"isVercel","env","production","envName","gaTrackingId","G-FJX5L5Y9FE","turnstileSiteKey","0x4AAAAAAAfYTP7SUci3nVKW","isSpawnerUnderMaintenance","spawnerMaintenanceNotice","apiKey","AIzaSyDGInmUCFubPOqJWQCw3LBB-XZGj9LX4l4","appId","1:691353492123:web:4ae258ec8c620e63f0443e","projectId","alpacahack","authDomain","alpacahack.firebaseapp.com","messagingSenderId","691353492123","measurementId"]