virtual にするか template にするか悩ましいので両方できるようにしておけばよくね、という結論に達したけど、実際にちゃんと template にしたときインライン展開されるのか気になる。コンパイル時に型が決定していれば大丈夫な気はするんだけど。