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