結局、なんでこれがだめかっていうのを調べたり考えたりした。 2つのテンプレートの定義T1とT2があった時に、もしT1がT2をspecializationしたものならばT1 >= T2っていう順序関係ををテンプレートの定義全体の集合Tについて考える。 テンプレートを使うとき…

なんかおしゃれにテンプレート使っちゃうぞー、とかする時にたまにあるあれです。 どうなるんだったか、頻繁に忘れるのでメモ。 #include <iostream> using namespace std; template<class T,int n> class Array { T data[n]; public: T get(int idx); void set(T v,int idx); }; // s</class></iostream>…