proptypes原理