static_vector: refine a type-trait and add idea for the future.