条件付き戻り値型