ぬの部屋(仮)
nu-no-he-ya
  •      12
    3456789
    10111213141516
    17181920212223
    242526272829 
           
      12345
    6789101112
    13141516171819
    20212223242526
    2728293031  
           
          1
    2345678
    9101112131415
    16171819202122
    23242526272829
    3031     
        123
    45678910
    11121314151617
    18192021222324
    252627282930 
           
     123456
    78910111213
    14151617181920
    21222324252627
    28293031   
           
          1
    2345678
    9101112131415
    16171819202122
    23242526272829
    30      
       1234
    567891011
    12131415161718
    19202122232425
    262728293031 
           
    1234567
    891011121314
    15161718192021
    22232425262728
    293031    
           
         12
    3456789
    10111213141516
    17181920212223
    24252627282930
           
      12345
    6789101112
    13141516171819
    20212223242526
    2728293031  
           
    1234567
    891011121314
    15161718192021
    22232425262728
    2930     
           
        123
    45678910
    11121314151617
    18192021222324
    25262728293031
           
        123
    45678910
    11121314151617
    18192021222324
    25262728   
           
     123456
    78910111213
    14151617181920
    21222324252627
    28293031   
           
         12
    3456789
    10111213141516
    17181920212223
    24252627282930
    31      
       1234
    567891011
    12131415161718
    19202122232425
    2627282930  
           
    1234567
    15161718192021
    293031    
           
         12
    3456789
    10111213141516
           
      12345
    6789101112
    13141516171819
    20212223242526
    2728293031  
           
          1
    2345678
    9101112131415
    16171819202122
    23242526272829
    3031     
        123
    45678910
    11121314151617
    18192021222324
    252627282930 
           
     123456
    78910111213
    14151617181920
    21222324252627
    28293031   
           
          1
    2345678
    9101112131415
    16171819202122
    23242526272829
    30      
       1234
    567891011
    12131415161718
    19202122232425
    262728293031 
           
    1234567
    891011121314
    15161718192021
    22232425262728
    293031    
           
        123
    45678910
    11121314151617
    18192021222324
    25262728293031
           
      12345
    6789101112
    13141516171819
    20212223242526
    27282930   
           
        123
    45678910
    11121314151617
    18192021222324
    252627282930 
           
     123456
    78910111213
    14151617181920
    21222324252627
    28293031   
           
       1234
    567891011
    12131415161718
    19202122232425
    2627282930  
           
    1234567
    891011121314
    15161718192021
    22232425262728
    293031    
           
         12
    3456789
    10111213141516
    17181920212223
    24252627282930
           
      12345
    6789101112
    13141516171819
    20212223242526
    2728293031  
           
      12345
    6789101112
    13141516171819
    20212223242526
    2728     
           
          1
    2345678
    9101112131415
    16171819202122
    23242526272829
    3031     
     123456
    78910111213
    14151617181920
    21222324252627
    282930    
           
         12
    3456789
    10111213141516
    17181920212223
    24252627282930
    31      
    1234567
    891011121314
    15161718192021
    22232425262728
    293031    
           
        123
    45678910
    11121314151617
    18192021222324
    252627282930 
           
     123456
    78910111213
    14151617181920
    21222324252627
    28293031   
           
     123456
    78910111213
    14151617181920
    21222324252627
    28293031   
           
       1234
    567891011
    12131415161718
    19202122232425
    262728293031 
           
     123456
    78910111213
    14151617181920
    21222324252627
    282930    
           
         12
    3456789
    10111213141516
    17181920212223
    24252627282930
    31      
      12345
    6789101112
    13141516171819
    20212223242526
    2728293031  
           
    1234567
    891011121314
    15161718192021
    22232425262728
    2930     
           
        123
    45678910
    11121314151617
    18192021222324
    25262728293031
           
      12345
    6789101112
    13141516171819
    20212223242526
    27282930   
           
          1
    2345678
    9101112131415
    16171819202122
    23242526272829
    3031     
          1
    2345678
    9101112131415
    16171819202122
    232425262728 
           
       1234
    567891011
    12131415161718
    19202122232425
    262728293031 
           
    1234567
    891011121314
    15161718192021
    22232425262728
    293031    
           
         12
    3456789
    10111213141516
    17181920212223
    24252627282930
           
      12345
    6789101112
    13141516171819
    20212223242526
    2728293031  
           
    1234567
    891011121314
    15161718192021
    22232425262728
    2930     
           
        123
    45678910
    11121314151617
    18192021222324
    25262728293031
           
  • C++ 可変長引数テンプレートクラスを試す(1)

    可変長引数テンプレートクラスのテスト。以下のテンプレートクラスは、

    第一テンプレート引数で指定した型の派生型を

    第二以降テンプレート引数から探して返す。

    ソースコード

    #include <iostream>
     
    ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// // テスト用のクラス一覧 class AAA { public: void print() { std::cout << "AAA" << std::endl;} }; class BBB { public: void print() { std::cout << "BBB" << std::endl;} }; class CCC { public: void print() { std::cout << "CCC" << std::endl;} }; class AAADerived :public AAA { public: void print() { std::cout << "AAADerived" << std::endl; } }; class CCCDerived :public CCC { public: void print() { std::cout << "CCCDerived" << std::endl; } }; class DUMMY { public: void print() { std::cout << "指定されていません" << std::endl; } };
    ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// // クラス選択クラスの本体 template<class Base,class Head, class... Args> struct Search { using type_t = typename std::conditional < std::is_base_of<Base, Head>::value, //判断 Head, typename Search<Base, Args...>::type_t>::type; };
     
    // クラス選択クラスの本体(特殊化)
    
    template<class Base, class Head> struct Search<Base,Head> { using type_t = typename std::conditional < std::is_base_of<Base, Head>::value, //判断 Head, DUMMY>::type; }; ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// // クラス選択クラス // 第一テンプレート引数に指定したクラスから派生したクラスを、 // 第二以降テンプレート引数から選択する template<class Base, class... Args> struct TypeDerived { using type_t = typename Search<Base,Args...>::type_t; };
     
    //////////////////////////////////////////////////////// //////////////////////////////////////////////////////// // 動作確認 int main() { using T = TypeDerived< AAA,//このクラスの派生クラスを探す BBB, CCCDerived, AAADerived >::type_t; T obj; obj.print(); int i; std::cin >> i; }

    実行結果

    AAADerived

    用途

    普通の感覚だとこんなもんどこに使い道があるのかわからないので使用例を置いておくと、以下のABCクラスでは、AAA,BBB,CCC(及びその派生クラス)をどんな順番で指定してもちゃんと動作する。普通テンプレートに指定する型の順番は(当たり前だが)決まっている。だから何だといわれると困るのでもう一つ、クラス指定が足りなかった場合も、自動的にDUMMYが指定されるのでエラーにならない。

    template<class... T>
    class ABC {
    public:
      typename TypeDerived<AAA, T...>::type_t a;
      typename TypeDerived<BBB, T...>::type_t b;
      typename TypeDerived<CCC, T...>::type_t c;
    
    };
    
    int main()
    {
    
      std::cout << "obj1 ------" << std::endl;
      ABC<AAA, CCCDerived,BBB> obj1;
      obj1.a.print();
      obj1.b.print();
      obj1.c.print();
      std::cout << std::endl;
    
      std::cout << "obj2 ------" << std::endl;
      ABC<BBB,  CCC, AAADerived> obj2;
      obj2.a.print();
      obj2.b.print();
      obj2.c.print();
      std::cout << std::endl;
    
      std::cout << "obj3 ------" << std::endl;
      ABC<AAADerived, BBB> obj3;
      obj3.a.print();
      obj3.b.print();
      obj3.c.print();
      std::cout << std::endl;
    
      int i;
      std::cin >> i;
    
    }
    

    結果

    obj1 ——
    AAA
    BBB
    CCCDerived

    obj2 ——
    AAADerived
    BBB
    CCC

    obj3 ——
    AAADerived
    BBB
    指定されていません