template <typename A, typename B> auto add(A a, B b) { if(pred)return a+b;else return NULL; }
とかどうする気なの