default_random_engine generator { random_device {} () }; shuffle(nums.begin(), nums.end(), generator);
最后更新于4年前
这有帮助吗?