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

Transcript

1. JG
   DPOTUFYQSจ͸ ςϯϓϨʔτੈքͷϥϜμࣜͰ͋Δ ߴڮ থ "LJSB
   5BLBIBTIJ GBJUIBOECSBWF!HNBJMDPN 1SFGFSSFE
   /FUXPSLT
   *OD 
   ۚ
   $
   .*9
   
2. ࣗݾ঺հ • 1SFGFSSFE
   /FUXPSLTࣾͰɺεʔύʔίϯϐϡʔλ./$PSF ͷιϑτ΢ΣΞΛ࡞͍ͬͯ·͢ • ΤϛϡϨʔλͱ͔Ξηϯϒϥͱ͔ͷ௿ϨΠϠʔͳ΋ͷΛ࡞ͬͯ·͢ • ೔ຊͷ$ ඪ४ԽҕһձʹҰ࣌ظࢀՃ͍ͯ͠·ͨ͠ • $ ͷ೔ຊޠϦϑΝϨϯεαΠτDQQSFGKQΛ࡞͍ͬͯ·͢ • ஶॻ • ʰ$ ςϯϓϨʔτςΫχοΫʱ • ʰ$ ϙέοτϦϑΝϨϯεʱ • ʰϓϩάϥϛϯάͷຐಋॻʱ • ࠓ೥͸$ ͷೖ໳αΠτΛ࡞Γ͍ͨ
3. $ ରԠͷ$ ϙέϦ׬੒͠·ͨ͠ • ೥ʹ$ ൛Λग़൛ͯ͠ɺ վగΛ೥ଓ͚͍ͯ·͢ • ʮ΍Γ͍ͨ͜ͱʯ͔ΒʮͲ͏΍ͬͯʯ Λௐ΂ΔٯҾ͖ϦϑΝϨϯε • DQQSFGKQͱ͸໾ׂ͕ҟͳΔ • ষཱͯ΍આ໌ͷཻ౓͸ ݴޠɾஶऀ͝ͱʹ͕ͪ͏ • $ ϙέϦ͸ɺදࢴͷΧδϡΞϧ͞ͱ ͕ͪͬͯɺॻ͖͗͢ͳ͘Β͍આ໌Λ ॻ͍͍ͯΔ
4. ৘ใൃ৴Λ͠Α͏ • ఻ঝ͞Εͳ͍ٕज़͸ഇΕ͍ͯ͘ • ຊΛॻ͘ਓ͕૿͑ͯ΄͍͠ • ຊͰҰ൪͍ͨ΁Μͳͷ͸ɺॻ্͖͛Δ͜ͱ • ్தͰ౤͛ग़ͣ͞ɺ࠷ޙ·Ͱ࡞Γ্͛Δͷ͕Ұ൪͍ͩ͡ • ୯ൃهࣄͱ͕ͪͬͯɺຊ͸ • Ұ؏ੑ͋Δํ਑ͷ΋ͱɺ • ମܥతͳղઆΛఏڙ͠ɺ • ϨϏϡʔʹଟ͘ͷ࣌ؒΛ͔͚Δ ग़൛ޙʹमਖ਼͕Ͱ͖ͳ͍ ͜ͱ͕େ͖ͳՁ஋ • ग़൛ࣾͱͷڮ౉͠΍ϨϏϡʔͳͲڠྗ͠·͢
5. $ ͰೖͬͨJG
   DPOTUFYQSจͷ͓࿩Ͱ͢ if constexpr (std::is_same_v<T, int>) { // intに関する処理… } else { // それ以外の型の処理… } • JG
   DPOTUFYQSจ͸ɺίϯύΠϧ࣌৚݅ʹΑΔ৚݅෼ذͰ͢ • ֘౰͠ͳ͔ͬͨํͷ෼ذίʔυ͸ɺόΠφϦʹؚ·Ε·ͤΜ
6. ͱ͜ΖͰɺςϯϓϨʔτ࢖ͬͯ·͔͢ʁ • ීஈͷΞϓϦέʔγϣϯ։ൃͰςϯϓϨʔτ͸࢖͍ͬͯ·͢ ͔ʁ • $ ͷࠒ͸ɺςϯϓϨʔτΛ࢖͏ͱʮࠇຐज़ͩʯͱ͔ɺ ʮແବʹෳࡶͳ͜ͱΛͯ͠Δʯͱ͔ݴΘΕͨΓ΋͠·͕ͨ͠ • $ ͔Β͸͍ͩͿ࢖͍΍͘͢ͳΓ·ͨ͠ • ࢲ͸ϥΠϒϥϦ͚ͩͰͳ͘ɺΞϓϦέʔγϣϯ։ൃͰ΋ςϯϓ Ϩʔτ͸ීஈ͔Β࢖͍ͬͯ·͢
7. ςϯϓϨʔτͱ͸ • ςϯϓϨʔτ͸ɺύϥϝλϥΠζυɾλΠϓͱ͔ݴΘΕͨΓ͢ Δ΋ͷͰɺܕΛύϥϝʔλԽ͢Δ࢓૊ΈͰ͢ • ܕʹΑΒͳ͍ॲཧΛڞ௨ԽͰ͖·͢ • $ ݱࡏ͸͍ΖΜͳ΋ͷΛςϯϓϨʔτʹͰ͖·͢ • ؔ਺ςϯϓϨʔτ • ΫϥεςϯϓϨʔτ • ܕͷผ໊ςϯϓϨʔτ $  • ม਺ςϯϓϨʔτ $ 
8. ϥϜμࣜͱJG
   DPOTUFYQSͷಛ௃ • ϥϜμࣜ • ͦͷ৔ ؔ਺ϩʔΧϧ
   Ͱͪΐͬͱͨ͠ʮؔ਺ʯΛఆٛͰ͖Δ • JG
   DPOTUFYQSจ • ͦͷ৔Ͱʮಛఆͷܕʹର͢Δͪΐͬͱͨ͠ॲཧʯΛڬΈࠐΊΔ
9. ڬΈࠐΈ͍ͨͪΐͬͱͨ͠ॲཧ template <class T> void f() { if constexpr (typeid(T) == typeid(int)) { // …前処理… } // …共通の処理… } • ͨͱ͑͹લॲཧ • ͜ΕΛΦʔόʔϩʔυͰ΍Ζ͏ͱ͢Δͱ • ؔ਺಺ͷม਺Λ౉ͨ͠Γ͕ΊΜͲ͏ • ίʔυ͕ࢄΒ͹Δ
10. ΦʔόʔϩʔυͷΊΜͲ͏͞Λߟ͑Δ void f_impl(int x, double a, std::string b) { // …intに対する処理… } template <class T> void f_impl(T, double, std::string) { // …それ以外の型ではなにもしない… } • ಛఆͷܕҎ֎ʹର͢Δۭͷؔ਺Λఆٛ͢Δඞཁ͕͋Δ • Ҿ਺౉͠ͷίετ Ϝʔϒͱ͔EFDMWBMͱ͔
    Λ·͡Ίʹߟ͑Δ ඞཁ͕͋Δ
11. ྫɿ΄ͱΜͲಉ͡ྻڍࢠΛ΋ͭྻڍܕͷϋϯυϦϯά 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の文字列化… } } • จࣈྻԽ͚ͩͰͳ͘ɺྻڍࢠΛܕʹม׵ɾରԠͤ͞Δ৔໘Ͱ΋ ࢖͑Δ
12. ͍ͩ͡ͳ͜ͱ • JG
    DPOTUFYQSΛڬΈࠐΉͷ͸ɺʮͪΐͬͱͨ͠ʯॲཧͰ͋Δ ͱ͍͏͜ͱ • ϥϜμࣜͱಉ͘͡ɺେ͖͘ͳ͖ͬͯͨΒؔ਺Λ෼͚Δ͜ͱΛ ߟ͑Α͏
13. ·ͱΊ • JG
    DPOTUFYQSจ͸ɺ • ؔ਺಺Ͱಛఆͷܕʹର͢Δͪΐͬͱͨ͠ॲཧΛڬΈࠐΊͯศར • ؔ਺Φʔόʔϩʔυͱҧͬͯɺ • ม਺Λ࣋ͪӡ͹ͳ͍ͰࡁΉ • ର৅֎ͷܕʹର͢Δۭͷؔ਺Λఆٛ͠ͳ͍ͰࡁΉ
14. JG
    DPOTUFYQSͷͦͷଞͷ࿩ • $ ن֨తʹ͸ʮDPOTUFYQS JG
    TUBUFNFOUʯͱ͍͏໊শͰ ʮJG
    DPOTUFYQS ৚݅ࣜ ʯ͕ೖ͍ͬͯΔ • ߏจͷ౎߹ • DPOTUFYQS JG
    ৚݅ࣜ
    ͩͱFMTFͷํ΋DPOTUFYQS FMTFʹͳͬͯ͠·͏ • ͜͜Ͱ͸ػೳ໊ͱͯ͠JG
    DPOTUFYQSΛݴͬͯ·͢ • %ݴޠͰTUBUJD
    JGจͱ͍͏ͷ͕͋ΓɺͦͪΒ͸είʔϓΛੜ੒͠ ͳ͍ͷͰศར • ܕͷఆٛΛ෼ذͨ͠Γɺ৚݅͝ͱʹڞ௨ͷม਺Λ࡞ΕͨΓʜ • JG
    DPOTUFYQS ৚݅ࣜ
    \
    JOU
    Y
    
    ʜ
    ^
    FMTF
    \
    5
    Y
    
    ʜ
    ^ G Y