templateならコンパイル時に展開されて定数式になるんじゃないの？