推导以及字符串