random.choice()从列表中随机取出一个元素

  • 2024-11-05