関連ワード:  java record constructor default value    java record default value    java constructor default value  
結果 : java record constructor default value