关于命名元组的归纳回顾