C++ template の(部分)?特殊化ができるとき、できないとき

C++ template の（部分）特殊化ができるとき、できないとき STL はまあ普通に使う、くらいの軟弱な知識で C++ を使っていると、クラス内で関数テンプレートの特殊化をしようとしてコンパイルエラーになって、なんでここで特殊化できないんだよ〜と愚痴を言っていたら、さらに恐ろしいことに、特殊化はできないのに部分特殊化はできる場合に遭遇したりして、 C++ の闇に触れた気分になるのだけど、実はそうでもないという話（少なくとも、ユーザの側から理解するだけなら、ね）。 （部分）特殊化できる条件 ややこしく感じる理由は、特殊化できる条件と、部分特殊化できる条件が全く別だから。実はそんなに複雑ではない。 特殊化できる OK: 名前空間スコープで定義 NG: クラススコープで定義 部分特殊化できる OK: クラステンプレート NG: 関数（⊃メンバ関数）テンプレート 例 template<cla

[shu_ohm1]

関数テンプレートの部分特殊化と、クラステンプレート内テンプレートの特殊化（内側のみの特殊化）は、普通の方法では特殊化できないため、クラステンプレートを別途作成してそちらに処理を委譲する

[fenrir-naru]

g++ invalid explicit specializationで怒られてやってくるところ