C++ Algorithm: std::copy, 크기 걱정 없이 사용하는 3가지 비결
std::copy는 특정 범위의 요소들을 다른 위치로 복사하는 데 사용되는 함수입니다.
OutputIterator std::copy(InputIterator first, InputIterator last, OutputIterator d_first);
first
복사할 범위의 시작 이터레이터입니다. (포함)
last
복사할 범위의 끝 이터레이터입니다. (불포함)
d_first
복사된 요소들이 저장될 목적지(대상)의 시작 이터레이터입니다.
이 함수는 [first, last) 범위의 모든 요소를 d_first에서 시작하는 위치로 순서대로 복사하며, 복사가 끝난 목적지 범위를 가리키는 이터레이터(즉, d_first+(last−first))를 반환합니다.
가장 흔하게 발생하는 문제입니다. std::copy는 목적지 범위의 크기를 스스로 확인하지 않습니다. 소스 범위의 크기만큼 목적지 공간이 충분하다고 가정하고 덮어쓰거나 요소를 삽입합니다.
문제 예시
#include <iostream>
#include <vector>
#include <algorithm>
int main() {
std::vector<int> source = {1, 2, 3, 4, 5};
std::vector<int> destination(3); // 크기가 3으로 초기화됨
// destination에는 5개의 요소를 위한 공간이 없는데 copy를 시도함
// 런타임에 정의되지 않은 동작(Undefined Behavior)을 유발하거나,
// (vector의 경우) 할당된 메모리를 초과하여 덮어쓰기 때문에 문제가 발생합니다.
//
std::copy(source.begin(), source.end(), destination.begin());
std::cout << "복사 후 destination의 크기: " << destination.size() << std::endl;
// 출력 크기는 여전히 3일 수 있지만, 메모리가 덮어쓰여 훼손되었을 가능성이 높습니다.
return 0;
}
소스 범위와 목적지 범위가 부분적으로 겹칠 때, 원하는 결과가 아닌 예상치 못한 결과가 나올 수 있습니다. std::copy는 복사를 순차적으로 수행하기 때문에, 겹치는 부분에서 이미 복사된 데이터가 다시 소스 데이터로 사용될 수 있습니다.
해결책 범위가 겹치고 뒤쪽으로 복사(소스 시작 이터레이터가 목적지 시작 이터레이터보다 앞서 있는 경우)해야 한다면, std::copy 대신 std::copy_backward를 사용해야 합니다.
#include <algorithm>
#include <vector>
// ...
std::vector<int> v = {1, 2, 3, 4, 5};
// 1, 2, 3, 4, 5
// ^--- 소스 시작: v.begin() + 1 (값 2)
// ^----- 목적지 시작: v.begin() (값 1)
// v = {1, 2, 3, 4, 5} -> (v.begin() + 1에서 3개) 복사 -> v = {2, 3, 4, 4, 5}
// std::copy(v.begin() + 1, v.begin() + 4, v.begin());
// 2가 1을 덮어쓰고, 3이 2를 덮어쓰고, 4가 3을 덮어쓰면 {2, 3, 4, 4, 5}가 됩니다.
// 뒤쪽으로 복사할 때
// std::copy_backward(v.begin(), v.begin() + 3, v.begin() + 4);
// {1, 2, 3, 4, 5} -> (v.begin()에서 3개) 복사 -> {1, 2, 1, 2, 3}
// 3이 v[3] (값 4)를 덮어쓰고, 2가 v[2] (값 3)을 덮어쓰는 식으로 뒤에서부터 복사됩니다.
std::copy의 목적지 공간 부족 문제를 해결하고 더 유연한 복사를 수행하기 위한 몇 가지 대체 방법이 있습니다.
컨테이너의 push_back 멤버 함수를 사용하여 요소들을 안전하게 추가할 수 있도록 해주는 이터레이터 어댑터입니다. 목적지 컨테이너의 크기를 자동으로 늘려주므로, 크기 부족 문제를 해결할 수 있습니다.
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator> // std::back_inserter를 위해 필요
void example_back_inserter() {
std::vector<int> source = {10, 20, 30};
std::vector<int> destination; // 빈 벡터
// std::back_inserter를 사용하여 복사
// destination.push_back(10), destination.push_back(20), ... 과 같이 작동합니다.
std::copy(source.begin(), source.end(), std::back_inserter(destination));
std::cout << "back_inserter 사용 결과: ";
for (int n : destination) {
std::cout << n << " ";
} // 출력: 10 20 30
std::cout << "\n크기: " << destination.size() << std::endl; // 출력: 3
}
특정 조건을 만족하는 요소만 복사하고 싶을 때 사용합니다. std::copy와 달리, 복사할 요소에 대한 술어(Predicate)를 추가 인수로 받습니다.
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
void example_copy_if() {
std::vector<int> source = {1, 5, 12, 8, 20};
std::vector<int> evens; // 짝수만 저장할 벡터
// 짝수인지 확인하는 람다 함수를 Predicate로 사용
std::copy_if(source.begin(), source.end(),
std::back_inserter(evens), // back_inserter를 사용하여 안전하게 삽입
[](int n){ return n % 2 == 0; });
std::cout << "copy_if (짝수만) 사용 결과: ";
for (int n : evens) {
std::cout << n << " ";
} // 출력: 12 8 20
std::cout << std::endl;
}
가장 C++스럽고, 코드가 간결하며, 명시적인 방법입니다. 복사하는 동안 추가적인 처리를 하거나 로깅을 추가할 때 유용합니다.
#include <iostream>
#include <vector>
void example_range_for() {
std::vector<int> source = {50, 60, 70};
std::vector<int> destination;
// Range-based for 루프를 사용한 복사 및 2배 증가 (추가 로직 예시)
for (int value : source) {
destination.push_back(value * 2);
}
std::cout << "Range-based for 사용 결과 (2배): ";
for (int n : destination) {
std::cout << n << " ";
} // 출력: 100 120 140
std::cout << std::endl;
}
std::copy는 간단하고 효율적이지만, 목적지 공간을 직접 관리해야 한다는 단점이 있습니다. 안전하고 동적으로 컨테이너를 채우고 싶다면, std::back_inserter를 사용하여 std::copy 또는 std::copy_if와 함께 사용하는 것이 가장 일반적이고 권장되는 패턴입니다.
