if constexpr文はテンプレート世界のラムダ式である

JGDPOTUFYQSจ͸ ςϯϓϨʔτੈքͷϥϜμࣜͰ͋Δ ߴڮ থ "LJSB5BLBIBTIJ GBJUIBOECSBWF!HNBJMDPN 1SFGFSSFE/FUXPSLT *OD ۚ
$ .*9

ࣗݾ঺հ • 1SFGFSSFE/FUXPSLTࣾͰɺεʔύʔίϯϐϡʔλ./$PSF ͷιϑτ΢ΣΞΛ࡞͍ͬͯ·͢ • ΤϛϡϨʔλͱ͔Ξηϯϒϥͱ͔ͷ௿ϨΠϠʔͳ΋ͷΛ࡞ͬͯ·͢ • ೔ຊͷ$ ඪ४ԽҕһձʹҰ࣌ظࢀՃ͍ͯ͠·ͨ͠ •
$ ͷ೔ຊޠϦϑΝϨϯεαΠτDQQSFGKQΛ࡞͍ͬͯ·͢ • ஶॻ • ʰ$ ςϯϓϨʔτςΫχοΫʱ • ʰ$ ϙέοτϦϑΝϨϯεʱ • ʰϓϩάϥϛϯάͷຐಋॻʱ • ࠓ೥͸$ ͷೖ໳αΠτΛ࡞Γ͍ͨ

$ ରԠͷ$ ϙέϦ׬੒͠·ͨ͠ • ೥ʹ$ ൛Λग़൛ͯ͠ɺ վగΛ೥ଓ͚͍ͯ·͢ • ʮ΍Γ͍ͨ͜ͱʯ͔ΒʮͲ͏΍ͬͯʯ Λௐ΂ΔٯҾ͖ϦϑΝϨϯε
• DQQSFGKQͱ͸໾ׂ͕ҟͳΔ • ষཱͯ΍આ໌ͷཻ౓͸ ݴޠɾஶऀ͝ͱʹ͕ͪ͏ • $ ϙέϦ͸ɺදࢴͷΧδϡΞϧ͞ͱ ͕ͪͬͯɺॻ͖͗͢ͳ͘Β͍આ໌Λ ॻ͍͍ͯΔ

৘ใൃ৴Λ͠Α͏ • ఻ঝ͞Εͳ͍ٕज़͸ഇΕ͍ͯ͘ • ຊΛॻ͘ਓ͕૿͑ͯ΄͍͠ • ຊͰҰ൪͍ͨ΁Μͳͷ͸ɺॻ্͖͛Δ͜ͱ • ్தͰ౤͛ग़ͣ͞ɺ࠷ޙ·Ͱ࡞Γ্͛Δͷ͕Ұ൪͍ͩ͡ •
୯ൃهࣄͱ͕ͪͬͯɺຊ͸ • Ұ؏ੑ͋Δํ਑ͷ΋ͱɺ • ମܥతͳղઆΛఏڙ͠ɺ • ϨϏϡʔʹଟ͘ͷ࣌ؒΛ͔͚Δ ग़൛ޙʹमਖ਼͕Ͱ͖ͳ͍ ͜ͱ͕େ͖ͳՁ஋ • ग़൛ࣾͱͷڮ౉͠΍ϨϏϡʔͳͲڠྗ͠·͢

$ ͰೖͬͨJGDPOTUFYQSจͷ͓࿩Ͱ͢ if constexpr (std::is_same_v<T, int>) { // intに関する処理… }
else { // それ以外の型の処理… } • JGDPOTUFYQSจ͸ɺίϯύΠϧ࣌৚݅ʹΑΔ৚݅෼ذͰ͢ • ֘౰͠ͳ͔ͬͨํͷ෼ذίʔυ͸ɺόΠφϦʹؚ·Ε·ͤΜ

ͱ͜ΖͰɺςϯϓϨʔτ࢖ͬͯ·͔͢ʁ • ීஈͷΞϓϦέʔγϣϯ։ൃͰςϯϓϨʔτ͸࢖͍ͬͯ·͢ ͔ʁ • $ ͷࠒ͸ɺςϯϓϨʔτΛ࢖͏ͱʮࠇຐज़ͩʯͱ͔ɺ ʮແବʹෳࡶͳ͜ͱΛͯ͠Δʯͱ͔ݴΘΕͨΓ΋͠·͕ͨ͠ • $
͔Β͸͍ͩͿ࢖͍΍͘͢ͳΓ·ͨ͠ • ࢲ͸ϥΠϒϥϦ͚ͩͰͳ͘ɺΞϓϦέʔγϣϯ։ൃͰ΋ςϯϓ Ϩʔτ͸ීஈ͔Β࢖͍ͬͯ·͢

ςϯϓϨʔτͱ͸ • ςϯϓϨʔτ͸ɺύϥϝλϥΠζυɾλΠϓͱ͔ݴΘΕͨΓ͢ Δ΋ͷͰɺܕΛύϥϝʔλԽ͢Δ࢓૊ΈͰ͢ • ܕʹΑΒͳ͍ॲཧΛڞ௨ԽͰ͖·͢ • $ ݱࡏ͸͍ΖΜͳ΋ͷΛςϯϓϨʔτʹͰ͖·͢ •
ؔ਺ςϯϓϨʔτ • ΫϥεςϯϓϨʔτ • ܕͷผ໊ςϯϓϨʔτ $ • ม਺ςϯϓϨʔτ $

ϥϜμࣜͱJGDPOTUFYQSͷಛ௃ • ϥϜμࣜ • ͦͷ৔ ؔ਺ϩʔΧϧ Ͱͪΐͬͱͨ͠ʮؔ਺ʯΛఆٛͰ͖Δ • JGDPOTUFYQSจ •
ͦͷ৔Ͱʮಛఆͷܕʹର͢Δͪΐͬͱͨ͠ॲཧʯΛڬΈࠐΊΔ

ڬΈࠐΈ͍ͨͪΐͬͱͨ͠ॲཧ template <class T> void f() { if constexpr (typeid(T)
== typeid(int)) { // …前処理… } // …共通の処理… } • ͨͱ͑͹લॲཧ • ͜ΕΛΦʔόʔϩʔυͰ΍Ζ͏ͱ͢Δͱ • ؔ਺಺ͷม਺Λ౉ͨ͠Γ͕ΊΜͲ͏ • ίʔυ͕ࢄΒ͹Δ

ΦʔόʔϩʔυͷΊΜͲ͏͞Λߟ͑Δ void f_impl(int x, double a, std::string b) { //
…intに対する処理… } template <class T> void f_impl(T, double, std::string) { // …それ以外の型ではなにもしない… } • ಛఆͷܕҎ֎ʹର͢Δۭͷؔ਺Λఆٛ͢Δඞཁ͕͋Δ • Ҿ਺౉͠ͷίετ Ϝʔϒͱ͔EFDMWBMͱ͔ Λ·͡Ίʹߟ͑Δ ඞཁ͕͋Δ

ྫɿ΄ͱΜͲಉ͡ྻڍࢠΛ΋ͭྻڍܕͷϋϯυϦϯά enum class A { a, b }; enum class
B { a, b, c }; template <class E> string enum_to_string(E e) { if constexpr (requires{ E::c; }) { if (e == E::c) return "c"; } switch (e) { …a, bの文字列化… } } • จࣈྻԽ͚ͩͰͳ͘ɺྻڍࢠΛܕʹม׵ɾରԠͤ͞Δ৔໘Ͱ΋ ࢖͑Δ

͍ͩ͡ͳ͜ͱ • JGDPOTUFYQSΛڬΈࠐΉͷ͸ɺʮͪΐͬͱͨ͠ʯॲཧͰ͋Δ ͱ͍͏͜ͱ • ϥϜμࣜͱಉ͘͡ɺେ͖͘ͳ͖ͬͯͨΒؔ਺Λ෼͚Δ͜ͱΛ ߟ͑Α͏

·ͱΊ • JGDPOTUFYQSจ͸ɺ • ؔ਺಺Ͱಛఆͷܕʹର͢Δͪΐͬͱͨ͠ॲཧΛڬΈࠐΊͯศར • ؔ਺Φʔόʔϩʔυͱҧͬͯɺ • ม਺Λ࣋ͪӡ͹ͳ͍ͰࡁΉ •
ର৅֎ͷܕʹର͢Δۭͷؔ਺Λఆٛ͠ͳ͍ͰࡁΉ

JGDPOTUFYQSͷͦͷଞͷ࿩ • $ ن֨తʹ͸ʮDPOTUFYQS JGTUBUFNFOUʯͱ͍͏໊শͰ ʮJGDPOTUFYQS ৚݅ࣜ ʯ͕ೖ͍ͬͯΔ • ߏจͷ౎߹
• DPOTUFYQS JG ৚݅ࣜ ͩͱFMTFͷํ΋DPOTUFYQS FMTFʹͳͬͯ͠·͏ • ͜͜Ͱ͸ػೳ໊ͱͯ͠JGDPOTUFYQSΛݴͬͯ·͢ • %ݴޠͰTUBUJDJGจͱ͍͏ͷ͕͋ΓɺͦͪΒ͸είʔϓΛੜ੒͠ ͳ͍ͷͰศར • ܕͷఆٛΛ෼ذͨ͠Γɺ৚݅͝ͱʹڞ௨ͷม਺Λ࡞ΕͨΓʜ • JGDPOTUFYQS ৚݅ࣜ \JOUYʜ^FMTF\5Yʜ^ G Y

if constexpr文はテンプレート世界のラムダ式である

if constexpr文はテンプレート世界のラムダ式である

Akira Takahashi

More Decks by Akira Takahashi

Other Decks in Programming

Featured

Transcript

JGDPOTUFYQSจ͸ ςϯϓϨʔτੈքͷϥϜμࣜͰ͋Δ ߴڮ থ "LJSB5BLBIBTIJ GBJUIBOECSBWF!HNBJMDPN 1SFGFSSFE/FUXPSLT *OD ۚ

ࣗݾ঺հ • 1SFGFSSFE/FUXPSLTࣾͰɺεʔύʔίϯϐϡʔλ./$PSF ͷιϑτ΢ΣΞΛ࡞͍ͬͯ·͢ • ΤϛϡϨʔλͱ͔Ξηϯϒϥͱ͔ͷ௿ϨΠϠʔͳ΋ͷΛ࡞ͬͯ·͢ • ೔ຊͷ$ ඪ४ԽҕһձʹҰ࣌ظࢀՃ͍ͯ͠·ͨ͠ •

$ ରԠͷ$ ϙέϦ׬੒͠·ͨ͠ • ೥ʹ$ ൛Λग़൛ͯ͠ɺ վగΛ೥ଓ͚͍ͯ·͢ • ʮ΍Γ͍ͨ͜ͱʯ͔ΒʮͲ͏΍ͬͯʯ Λௐ΂ΔٯҾ͖ϦϑΝϨϯε

৘ใൃ৴Λ͠Α͏ • ఻ঝ͞Εͳ͍ٕज़͸ഇΕ͍ͯ͘ • ຊΛॻ͘ਓ͕૿͑ͯ΄͍͠ • ຊͰҰ൪͍ͨ΁Μͳͷ͸ɺॻ্͖͛Δ͜ͱ • ్தͰ౤͛ग़ͣ͞ɺ࠷ޙ·Ͱ࡞Γ্͛Δͷ͕Ұ൪͍ͩ͡ •

$ ͰೖͬͨJGDPOTUFYQSจͷ͓࿩Ͱ͢ if constexpr (std::is_same_v<T, int>) { // intに関する処理… }

ͱ͜ΖͰɺςϯϓϨʔτ࢖ͬͯ·͔͢ʁ • ීஈͷΞϓϦέʔγϣϯ։ൃͰςϯϓϨʔτ͸࢖͍ͬͯ·͢ ͔ʁ • $ ͷࠒ͸ɺςϯϓϨʔτΛ࢖͏ͱʮࠇຐज़ͩʯͱ͔ɺ ʮແବʹෳࡶͳ͜ͱΛͯ͠Δʯͱ͔ݴΘΕͨΓ΋͠·͕ͨ͠ • $

ςϯϓϨʔτͱ͸ • ςϯϓϨʔτ͸ɺύϥϝλϥΠζυɾλΠϓͱ͔ݴΘΕͨΓ͢ Δ΋ͷͰɺܕΛύϥϝʔλԽ͢Δ࢓૊ΈͰ͢ • ܕʹΑΒͳ͍ॲཧΛڞ௨ԽͰ͖·͢ • $ ݱࡏ͸͍ΖΜͳ΋ͷΛςϯϓϨʔτʹͰ͖·͢ •

ϥϜμࣜͱJGDPOTUFYQSͷಛ௃ • ϥϜμࣜ • ͦͷ৔ ؔ਺ϩʔΧϧ Ͱͪΐͬͱͨ͠ʮؔ਺ʯΛఆٛͰ͖Δ • JGDPOTUFYQSจ •

ڬΈࠐΈ͍ͨͪΐͬͱͨ͠ॲཧ template <class T> void f() { if constexpr (typeid(T)

ΦʔόʔϩʔυͷΊΜͲ͏͞Λߟ͑Δ void f_impl(int x, double a, std::string b) { //

ྫɿ΄ͱΜͲಉ͡ྻڍࢠΛ΋ͭྻڍܕͷϋϯυϦϯά enum class A { a, b }; enum class

͍ͩ͡ͳ͜ͱ • JGDPOTUFYQSΛڬΈࠐΉͷ͸ɺʮͪΐͬͱͨ͠ʯॲཧͰ͋Δ ͱ͍͏͜ͱ • ϥϜμࣜͱಉ͘͡ɺେ͖͘ͳ͖ͬͯͨΒؔ਺Λ෼͚Δ͜ͱΛ ߟ͑Α͏

·ͱΊ • JGDPOTUFYQSจ͸ɺ • ؔ਺಺Ͱಛఆͷܕʹର͢Δͪΐͬͱͨ͠ॲཧΛڬΈࠐΊͯศར • ؔ਺Φʔόʔϩʔυͱҧͬͯɺ • ม਺Λ࣋ͪӡ͹ͳ͍ͰࡁΉ •

JGDPOTUFYQSͷͦͷଞͷ࿩ • $ ن֨తʹ͸ʮDPOTUFYQS JGTUBUFNFOUʯͱ͍͏໊শͰ ʮJGDPOTUFYQS ৚݅ࣜ ʯ͕ೖ͍ͬͯΔ • ߏจͷ౎߹