テンプレート型の奇妙な挙動

Question

#include <iostream> 

template<typename T, int = 0> 
struct test { 
    typedef char type[3]; 
}; 

template<int N> 
struct test<long *, N> { 
    typedef char type[7]; 
}; 

int main() 
{ 
    std::cout << sizeof(test<int*>::type) << std::endl; // 3 
    std::cout << sizeof(test<long*>::type) << std::endl; // 7 
    return 0; 
} 

予想通りsizeof(test<long*>::type) == 3です。なぜそれは7ですか？

Answer 1

あなたがしたことは、型引数がlong*であるときはいつでも、テンプレートの2番目のフォームを使用する必要があるということです。他の引数については、テンプレートの最初の形式（サイズ3）を使用します。

Answer 2

タイプ引数がlong*の場合、サイズが変更されるようにテンプレートを特殊化しました。私は、あなたが使用したいtest<int*>フォームとtest<123>フォームを混在させることはできないと確信しています（タイプまたは値のいずれかのパラメータの意味は？）。

#include <iostream> 

template<typename T, int = 0> 
struct test { 
    typedef char type[3]; 
}; 

template<int N> 
struct test<int, N> { 
    typedef char type[7]; 
}; 

int main() 
{ 
    std::cout << sizeof(test<int*>::type) << std::endl; // 3 
    std::cout << sizeof(test<long*>::type) << std::endl; // 3 
    std::cout << sizeof(test<int, 123>::type) << std::endl; // 7 
    return 0; 
} 

たぶん、あなたは私たちにあなたはそれが役立つだろう解決しようとしている本当の問題を伝える場合：あなたができる最善のようなものです。