部分的なテンプレートの特殊化

テンプレート< typename Key 、typename Value >クラスKeyValuePair {};    
  

テンプレート<>クラスKeyValuePair < int , std :: string > {}; 
   

テンプレート< typename Key >クラスKeyValuePair < Key , std :: string > {};  
   

テンプレート< typename Key >クラスKeyStringPair : public KeyValuePair < Key , std :: string > {};  
      

テンプレート< typename Value >クラスIntegerValuePair : public KeyValuePair < int , Value > {};  
      

// 合法: 基本関数テンプレート
template < typename ReturnType , typename ArgumentType > ReturnType Foo ( ArgumentType arg );    
  

// 合法: 明示的/完全な関数テンプレートの特殊化
template <> std :: string Foo < std :: string , char > ( char arg ) { return "Full" ; } 
       

// 不正: 戻り値の型の部分的な関数テンプレートの特殊化
// 関数テンプレートの部分的な特殊化は許可されていません
// テンプレート <typename ArgumentType> 
// void Foo<void, ArgumentType>(ArgumentType arg);

// 有効: ポインター引数型の基本テンプレートをオーバーロードします
。 template < typename ReturnType , typename ArgumentType > ReturnType Foo ( ArgumentType * argPtr ) { return "PtrOverload" ; }    
      

// 有効: 基本関数名が再利用されています。オーバーロードとはみなされません。不正な形式: オーバーロードできない宣言 (以下を参照) 
template < typename ArgumentType > std :: string Foo ( ArgumentType arg ) { return "Return1" ; }  
      

// 有効: 基本関数名が再利用されています。オーバーロードとはみなされません。不正な形式: オーバーロードできない宣言 (以下を参照) 
template < typename ReturnType > ReturnType Foo ( char arg ) { return "Return2" ; }  
      

// 注意: 上記の Foo の定義と組み合わせてコンパイルされます

int main ( int argc , char * argv []) { char c = 'c' ; std :: string r0 , r1 , r2 , r3 ; // コンパイラーに呼び出しを解決させるr0 = Foo ( c ); // 呼び出す関数を明示的に指定するr1 = Foo < std :: string > ( c ); r2 = Foo < std :: string , char > ( c ); r3 = Foo < std :: string , char > ( & c ); // 出力を生成するstd :: cout << r0 << " " << r1 << " " << r2 << " " << r3 << std :: endl ; return 0 ; }    

       
        
    
      
    
      
       
       
    
                    
     


//期待される出力: 
Return1 Return2 Full PtrOverload