default_random_engine generator { random_device {} () }; shuffle(nums.begin(), nums.end(), generator);
最后更新于3年前