본문으로 건너뛰기
Previous
Next
C++ 배열 vs vector | '어느 게 나을까?' 성능과 안전성 비교

C++ 배열 vs vector | '어느 게 나을까?' 성능과 안전성 비교

C++ 배열 vs vector | '어느 게 나을까?' 성능과 안전성 비교

이 글의 핵심

C++ C 배열·std::array vs vector 비교. 고정·동적 크기, 스택·힙, 경계 검사. 최적화 빌드에서의 성능과 안전성 트레이드오프, 언제 무엇을 쓸지 실전 선택 가이드입니다.

들어가며: “배열을 써야 할까, vector를 써야 할까?"

"배열이 더 빠르다고 들었는데 vector를 쓰라고 하네요”

C++는 C 스타일 배열, std::array, std::vector 세 가지 배열 타입을 제공합니다. 각각 메모리 위치, 크기 변경 가능 여부, 안전성이 다릅니다.

비유로 말씀드리면, C 배열·std::array자리 수가 정해진 고정 좌석, vector필요하면 줄을 늘리는 가변 좌석에 가깝습니다. 크기가 런타임에 바뀌면 vector 쪽이 자연스럽습니다.

언제 고정 배열(std::array/C 배열)을, 언제 vector를 쓰나요?

관점고정 크기(스택·std::array 등)vector
성능스택 할당은 힙보다 가벼울 수 있음(작을 때)재할당·용량 관리 비용이 있으나 크기 가변
사용성크기가 컴파일 타임 상수일 때 단순push_back 등으로 동적 확장
적용 시나리오작은 버퍼, 행렬 크기 고정입력 개수를 모를 때, 컨테이너로서 STL과 연동

C/C++ 예제 코드입니다.

// C 스타일 배열 (스택, 고정 크기)
int arr1[5] = {1, 2, 3, 4, 5};

// std::array (스택, 고정 크기, 안전)
std::array<int, 5> arr2 = {1, 2, 3, 4, 5};

// std::vector (힙, 동적 크기, 안전)
std::vector<int> vec = {1, 2, 3, 4, 5};

이 글에서 다루는 것:

  • 배열, std::array, vector의 차이
  • 성능 비교 (벤치마크)
  • 메모리 안전성
  • 상황별 선택 가이드

실전 경험에서 배운 교훈

이 기술을 실무 프로젝트에 처음 도입했을 때, 공식 문서만으로는 알 수 없었던 많은 함정들이 있었습니다. 특히 프로덕션 환경에서 발생하는 엣지 케이스들은 로컬 개발 환경에서는 재현조차 되지 않았죠.

가장 어려웠던 점은 성능 최적화였습니다. 처음엔 “동작만 하면 되겠지”라고 생각했지만, 실제 사용자 트래픽이 몰리면서 병목 지점들이 하나씩 드러났습니다. 특히 데이터베이스 쿼리 최적화, 캐싱 전략, 에러 핸들링 구조 등은 여러 번의 장애를 겪으면서 개선해 나갔습니다.

이 글에서는 그런 시행착오를 통해 얻은 실전 노하우와, “이렇게 하면 안 된다”는 교훈들을 함께 정리했습니다. 특히 트러블슈팅 섹션은 실제 장애 대응 경험을 바탕으로 작성했으니, 비슷한 문제를 마주했을 때 참고하시면 도움이 될 것입니다.

1. 3가지 배열 타입 비교

비교표

항목C 배열std::arraystd::vector
메모리스택스택
크기고정 (컴파일 타임)고정 (컴파일 타임)동적 (런타임)
범위 체크없음at() 제공at() 제공
크기 조회sizeof/수동size()size()
STL 호환부분적완전완전
함수 전달포인터로 decay값 또는 참조참조
안전성낮음높음높음

C 스타일 배열

foo 함수의 구현 예제입니다.

int arr[5] = {1, 2, 3, 4, 5};

// ❌ 범위 체크 없음
arr[10] = 99;  // 미정의 동작

// ❌ 크기 조회 번거로움
size_t size = sizeof(arr) / sizeof(arr[0]);

// ❌ 함수 전달 시 크기 정보 손실
void foo(int arr[]) {  // int* 로 decay
    // sizeof(arr)는 포인터 크기 (8바이트)
}

std::array (C++11)

#include <array>

std::array<int, 5> arr = {1, 2, 3, 4, 5};

// ✅ 범위 체크
arr.at(10);  // 예외 발생: std::out_of_range

// ✅ 크기 조회
size_t size = arr.size();  // 5

// ✅ STL 알고리즘
std::sort(arr.begin(), arr.end());

// ✅ 함수 전달 (크기 정보 유지)
void foo(const std::array<int, 5>& arr) {
    std::cout << arr.size() << '\n';  // 5
}

std::vector

#include <vector>

std::vector<int> vec = {1, 2, 3, 4, 5};

// ✅ 동적 크기 변경
vec.push_back(6);
vec.resize(10);

// ✅ 범위 체크
vec.at(10);  // 예외 발생

// ✅ 자동 메모리 관리
// 소멸 시 자동 해제

2. 성능 벤치마크

테스트 1: 접근 속도

benchAccess 함수의 구현 예제입니다.

// 100만 번 접근
template <typename Container>
void benchAccess(Container& c) {
    long long sum = 0;
    for (int i = 0; i < 1000000; ++i) {
        sum += c[i % c.size()];
    }
}

결과:

타입시간상대 속도
C 배열2.1ms1.0x (기준)
std::array2.1ms1.0x (동일)
std::vector2.1ms1.0x (동일)

분석: 접근 속도는 동일 (-O2 이상).

테스트 2: 생성/소멸

benchCreation 함수의 구현 예제입니다.

// 100만 번 생성/소멸
void benchCreation() {
    for (int i = 0; i < 1000000; ++i) {
        // 테스트 대상
    }
}

결과:

타입시간상대 속도
C 배열 (스택)5ms1.0x (기준)
std::array (스택)5ms1.0x (동일)
std::vector (힙)850ms170x (매우 느림)

분석: 빈번한 생성/소멸은 스택 할당이 유리.

테스트 3: 순회

benchIteration 함수의 구현 예제입니다.

template <typename Container>
void benchIteration(const Container& c) {
    long long sum = 0;
    for (const auto& x : c) {
        sum += x;
    }
}

결과: 모두 동일 (최적화 빌드).


3. 메모리 안전성

범위 체크

// C 배열: 범위 체크 없음
int arr[5] = {1, 2, 3, 4, 5};
int x = arr[10];  // ❌ 미정의 동작 (크래시 또는 쓰레기 값)

// std::array: at()으로 범위 체크
std::array<int, 5> arr2 = {1, 2, 3, 4, 5};
try {
    int x = arr2.at(10);  // ✅ 예외 발생
} catch (const std::out_of_range& e) {
    std::cerr << "Out of range\n";
}

// std::vector: at()으로 범위 체크
std::vector<int> vec = {1, 2, 3, 4, 5};
try {
    int x = vec.at(10);  // ✅ 예외 발생
} catch (const std::out_of_range& e) {
    std::cerr << "Out of range\n";
}

함수 전달 시 크기 정보

foo 함수의 구현 예제입니다.

// ❌ C 배열: 크기 정보 손실
void foo(int arr[]) {  // int* 로 decay
    // sizeof(arr)는 8 (포인터 크기)
}

int arr[5] = {1, 2, 3, 4, 5};
foo(arr);

// ✅ std::array: 크기 정보 유지
void foo(const std::array<int, 5>& arr) {
    std::cout << arr.size() << '\n';  // 5
}

// ✅ std::vector: 크기 정보 유지
void foo(const std::vector<int>& vec) {
    std::cout << vec.size() << '\n';  // 5
}

일상 비유로 이해하기: 메모리를 아파트 건물로 생각해보세요. 스택은 엘리베이터 같아서 빠르지만 공간이 제한적입니다. 힙은 창고처럼 넓지만 물건을 찾는 데 시간이 걸립니다. 포인터는 “3층 302호”처럼 주소를 가리키는 메모지라고 보면 됩니다.

4. 상황별 선택 가이드

결정 트리

터미널에서 다음 명령어를 실행합니다.

Q1. 크기가 컴파일 타임에 고정되어 있는가?
    Yes → Q2
    No → vector

Q2. 크기가 작은가? (< 100)
    Yes → std::array
    No → vector (스택 오버플로우 방지)

상황별 권장

상황권장이유
기본 선택vector안전, 동적 크기
크기 고정 + 작음std::array스택 할당, 안전
빈번한 생성/소멸std::array힙 할당 비용 없음
큰 배열vector스택 오버플로우 방지
크기 변경 필요vector동적 크기
C API 연동C 배열호환성

실전 예제

예제 1: 고정 크기 버퍼

// 요구사항: 크기 고정, 빈번한 생성
// 권장: std::array

std::array<char, 1024> buffer;
readData(buffer.data(), buffer.size());

예제 2: 동적 크기 리스트

C/C++ 예제 코드입니다.

// 요구사항: 크기 변경, 안전성
// 권장: vector

std::vector<int> numbers;
numbers.reserve(100);  // 재할당 방지

for (int i = 0; i < n; ++i) {
    numbers.push_back(i);
}

예제 3: 좌표 (x, y, z)

// 요구사항: 크기 3 고정, 빈번한 생성
// 권장: std::array

struct Position {
    std::array<float, 3> coords;  // x, y, z
    
    float& x() { return coords[0]; }
    float& y() { return coords[1]; }
    float& z() { return coords[2]; }
};

실무 사례

사례 1: 게임 엔진 - 파티클 시스템

#include <array>
#include <iostream>
#include <vector>

struct Particle {
    std::array<float, 3> position;  // x, y, z (고정 크기)
    std::array<float, 3> velocity;
    float lifetime;
};

class ParticleSystem {
private:
    std::vector<Particle> particles_;  // 동적 크기
    
public:
    void emit(const Particle& particle) {
        particles_.push_back(particle);
    }
    
    void update(float deltaTime) {
        for (auto& particle : particles_) {
            particle.position[0] += particle.velocity[0] * deltaTime;
            particle.position[1] += particle.velocity[1] * deltaTime;
            particle.position[2] += particle.velocity[2] * deltaTime;
            particle.lifetime -= deltaTime;
        }
        
        // 수명이 다한 파티클 제거
        particles_.erase(
            std::remove_if(particles_.begin(), particles_.end(),
                [](const Particle& p) { return p.lifetime <= 0; }),
            particles_.end()
        );
    }
    
    size_t count() const {
        return particles_.size();
    }
};

int main() {
    ParticleSystem system;
    
    Particle p = {{0, 0, 0}, {1, 1, 0}, 5.0f};
    system.emit(p);
    
    system.update(0.016f);  // 60 FPS
    
    std::cout << "파티클 수: " << system.count() << std::endl;
    
    return 0;
}

사례 2: 이미지 처리 - 픽셀 버퍼

#include <array>
#include <iostream>
#include <vector>

struct Pixel {
    std::array<uint8_t, 3> rgb;  // R, G, B (고정 크기)
};

class Image {
private:
    int width_;
    int height_;
    std::vector<Pixel> pixels_;  // 동적 크기
    
public:
    Image(int width, int height) : width_(width), height_(height) {
        pixels_.resize(width * height, {{{0, 0, 0}}});
    }
    
    Pixel& at(int x, int y) {
        return pixels_[y * width_ + x];
    }
    
    void fill(const Pixel& color) {
        for (auto& pixel : pixels_) {
            pixel = color;
        }
    }
};

int main() {
    Image img(800, 600);
    
    img.at(100, 100) = {{{255, 0, 0}}};  // 빨간색
    
    img.fill({{{255, 255, 255}}});  // 흰색으로 채우기
    
    return 0;
}

사례 3: 네트워크 - 패킷 버퍼

#include <array>
#include <iostream>
#include <vector>

constexpr size_t MAX_PACKET_SIZE = 1024;

struct Packet {
    std::array<char, MAX_PACKET_SIZE> data;  // 고정 크기
    size_t length;
};

class PacketQueue {
private:
    std::vector<Packet> queue_;  // 동적 크기
    
public:
    void enqueue(const Packet& packet) {
        queue_.push_back(packet);
    }
    
    Packet dequeue() {
        Packet packet = queue_.front();
        queue_.erase(queue_.begin());
        return packet;
    }
    
    bool empty() const {
        return queue_.empty();
    }
};

int main() {
    PacketQueue queue;
    
    Packet packet;
    packet.length = 5;
    std::copy_n("Hello", 5, packet.data.begin());
    
    queue.enqueue(packet);
    
    if (!queue.empty()) {
        Packet received = queue.dequeue();
        std::cout << "수신: " << std::string(received.data.begin(), received.data.begin() + received.length) << std::endl;
    }
    
    return 0;
}

사례 4: 행렬 연산

#include <array>
#include <iostream>
#include <vector>

// 고정 크기 행렬 (3x3)
using Matrix3x3 = std::array<std::array<float, 3>, 3>;

Matrix3x3 multiply(const Matrix3x3& a, const Matrix3x3& b) {
    Matrix3x3 result = {{{0, 0, 0}, {0, 0, 0}, {0, 0, 0}}};
    
    for (int i = 0; i < 3; ++i) {
        for (int j = 0; j < 3; ++j) {
            for (int k = 0; k < 3; ++k) {
                result[i][j] += a[i][k] * b[k][j];
            }
        }
    }
    
    return result;
}

// 동적 크기 행렬
class Matrix {
private:
    int rows_;
    int cols_;
    std::vector<float> data_;
    
public:
    Matrix(int rows, int cols) : rows_(rows), cols_(cols) {
        data_.resize(rows * cols, 0.0f);
    }
    
    float& at(int row, int col) {
        return data_[row * cols_ + col];
    }
};

int main() {
    // 고정 크기 행렬
    Matrix3x3 m1 = {{{1, 0, 0}, {0, 1, 0}, {0, 0, 1}}};
    Matrix3x3 m2 = {{{2, 0, 0}, {0, 2, 0}, {0, 0, 2}}};
    Matrix3x3 m3 = multiply(m1, m2);
    
    // 동적 크기 행렬
    Matrix m4(10, 10);
    m4.at(5, 5) = 42.0f;
    
    return 0;
}

트러블슈팅

문제 1: 스택 오버플로우

증상: 크래시

main 함수의 구현 예제입니다.

// ❌ 큰 배열을 스택에 할당
int main() {
    int arr[10000000];  // 40MB (스택 오버플로우)
    return 0;
}

// ✅ vector로 힙에 할당
int main() {
    std::vector<int> vec(10000000);  // 힙 할당
    return 0;
}

문제 2: 범위 오류

증상: 미정의 동작

// ❌ C 배열: 범위 체크 없음
int arr[5] = {1, 2, 3, 4, 5};
int x = arr[10];  // ❌ 미정의 동작

// ✅ vector: at()으로 범위 체크
std::vector<int> vec = {1, 2, 3, 4, 5};
try {
    int x = vec.at(10);
} catch (const std::out_of_range& e) {
    std::cerr << "범위 오류" << std::endl;
}

문제 3: 함수 전달 시 크기 손실

증상: 크기 정보 손실

foo 함수의 구현 예제입니다.

// ❌ C 배열: 크기 정보 손실
void foo(int arr[]) {  // int* 로 decay
    // sizeof(arr)는 8 (포인터 크기)
}

int arr[5] = {1, 2, 3, 4, 5};
foo(arr);

// ✅ std::array: 크기 정보 유지
void foo(const std::array<int, 5>& arr) {
    std::cout << arr.size() << std::endl;  // 5
}

std::array<int, 5> arr2 = {1, 2, 3, 4, 5};
foo(arr2);

// ✅ std::vector: 크기 정보 유지
void foo(const std::vector<int>& vec) {
    std::cout << vec.size() << std::endl;  // 5
}

std::vector<int> vec = {1, 2, 3, 4, 5};
foo(vec);

문제 4: vector 복사 비용

증상: 성능 저하

process 함수의 구현 예제입니다.

// ❌ vector 값 전달 (복사)
void process(std::vector<int> vec) {  // 복사 발생
    // ...
}

std::vector<int> vec(1000000);
process(vec);  // 100만 개 복사

// ✅ const 참조 전달
void process(const std::vector<int>& vec) {  // 복사 없음
    // ...
}

std::vector<int> vec2(1000000);
process(vec2);  // 복사 없음

마무리

배열과 vector의 선택크기 고정 여부안전성 요구사항에 달려 있습니다.

핵심 요약

  1. 3가지 배열 타입

    • C 배열: 스택, 고정 크기, 안전성 낮음
    • std::array: 스택, 고정 크기, 안전
    • std::vector: 힙, 동적 크기, 안전
  2. 선택 기준

    • 기본: vector (안전, 동적 크기)
    • 크기 고정 + 작음: std::array
    • C API 연동: C 배열 (불가피)
  3. 성능

    • 접근 속도: 동일 (최적화 빌드)
    • 생성/소멸: std::array >>> vector
    • 안전성: vector ≈ std::array >>> C 배열
  4. 주의사항

    • 큰 배열은 스택 오버플로우 주의
    • C 배열은 범위 체크 없음
    • vector는 reserve로 재할당 방지

선택 가이드

상황권장이유
기본 선택vector안전, 동적 크기
크기 고정 + 작음std::array스택 할당
빈번한 생성/소멸std::array힙 할당 비용 없음
큰 배열vector스택 오버플로우 방지
크기 변경 필요vector동적 크기
C API 연동C 배열호환성

코드 예제 치트시트

foo 함수의 구현 예제입니다.

// C 배열
int arr1[5] = {1, 2, 3, 4, 5};

// std::array
std::array<int, 5> arr2 = {1, 2, 3, 4, 5};
arr2.at(0);  // 범위 체크

// std::vector
std::vector<int> vec = {1, 2, 3, 4, 5};
vec.push_back(6);  // 동적 크기
vec.at(0);  // 범위 체크

// 함수 전달
void foo(const std::vector<int>& vec);  // 참조

다음 단계

  • vector 기초: C++ vector 완벽 가이드
  • 메모리 기초: C++ 메모리 기초
  • 스택 오버플로우: C++ 스택 오버플로우

참고 자료

한 줄 정리: 대부분의 경우 vector를 사용하고, 크기가 고정되고 작으면 std::array를 고려하며, C 배열은 피한다.

심화 부록: 구현·운영 관점

이 부록은 앞선 본문에서 다룬 주제(「C++ 배열 vs vector | ‘어느 게 나을까?’ 성능과 안전성 비교」)를 구현·런타임·운영 관점에서 다시 압축합니다. 도메인별 세부 구현은 글마다 다르지만, 입력 검증 → 핵심 연산 → 부작용(I/O·네트워크·동시성) → 관측의 흐름으로 장애를 나누면 원인 추적이 빨라집니다.

내부 동작과 핵심 메커니즘

flowchart TD
  A[입력·요청·이벤트] --> B[파싱·검증·디코딩]
  B --> C[핵심 연산·상태 전이]
  C --> D[부작용: I/O·네트워크·동시성]
  D --> E[결과·관측·저장]
sequenceDiagram
  participant C as 클라이언트/호출자
  participant B as 경계(런타임·게이트웨이·프로세스)
  participant D as 의존성(API·DB·큐·파일)
  C->>B: 요청/이벤트
  B->>D: 조회·쓰기·RPC
  D-->>B: 지연·부분 실패·재시도 가능
  B-->>C: 응답 또는 오류(코드·상관 ID)
  • 불변 조건(Invariant): 버퍼 경계, 프로토콜 상태, 트랜잭션 격리, FD 상한 등 단계별로 문장으로 적어 두면 디버깅 비용이 줄어듭니다.
  • 결정성: 순수 층과 시간·네트워크·스케줄에 의존하는 층을 분리해야 테스트와 장애 분석이 쉬워집니다.
  • 경계 비용: 직렬화, 인코딩, syscall 횟수, 락 경합, 할당·GC, 캐시 미스를 의심 목록에 둡니다.
  • 백프레셔: 생산자가 소비자보다 빠를 때 버퍼·큐·스트림에서 속도를 줄이는 신호를 어디에 둘지 정의합니다.

프로덕션 운영 패턴

영역운영 관점 질문
관측성요청 단위 상관 ID, 에러율·지연 p95/p99, 의존성 타임아웃·재시도가 대시보드에 보이는가
안전성입력 검증·권한·비밀·감사 로그가 코드 경로마다 일관적인가
신뢰성재시도는 멱등 연산에만 적용되는가, 서킷 브레이커·백오프·DLQ가 있는가
성능캐시·배치 크기·커넥션 풀·인덱스·백프레셔가 데이터 규모에 맞는가
배포롤백 룬북, 카나리/블루그린, 마이그레이션·피처 플래그가 문서화되어 있는가
용량피크 트래픽·디스크·FD·스레드 풀 상한을 주기적으로 검증하는가

스테이징은 데이터 양·네트워크 RTT·동시성을 프로덕션에 가깝게 맞출수록 재현율이 올라갑니다.

확장 예시: 엔드투엔드 미니 시나리오

앞선 본문 주제(「C++ 배열 vs vector | ‘어느 게 나을까?’ 성능과 안전성 비교」)를 배포·운영 흐름에 맞춰 옮긴 체크리스트입니다. 도메인에 맞게 단계 이름만 바꿔 적용할 수 있습니다.

  1. 입력 계약 고정: 스키마·버전·최대 페이로드·타임아웃·에러 코드를 경계에 둔다.
  2. 핵심 경로 계측: 요청 ID, 단계별 지연, 외부 호출 결과 코드를 로그·메트릭·트레이스에서 한 흐름으로 본다.
  3. 실패 주입: 의존성 타임아웃·5xx·부분 데이터·락 대기를 스테이징에서 재현한다.
  4. 호환·롤백: 설정/마이그레이션/클라이언트 버전을 되돌릴 수 있는지 확인한다.
  5. 부하 후 검증: 피크 대비 p95/p99, 에러율, 리소스 상한, 알림 임계값을 점검한다.
handle(request):
  ctx = newCorrelationId()
  validated = validateSchema(request)
  authorize(validated, ctx)
  result = domainCore(validated)
  persistOrEmit(result, idempotentKey)
  recordMetrics(ctx, latency, outcome)
  return result

문제 해결(Troubleshooting)

증상가능 원인조치
간헐적 실패레이스, 타임아웃, 외부 의존성, DNS최소 재현 스크립트, 분산 트레이스·로그 상관관계, 재시도·서킷 설정 점검
성능 저하N+1, 동기 I/O, 락 경합, 과도한 직렬화, 캐시 미스프로파일러·APM으로 핫스팟 확인 후 한 가지씩 제거
메모리 증가캐시 무제한, 구독/리스너 누수, 대용량 버퍼, 커넥션 미반납상한·TTL·힙/FD 스냅샷 비교
빌드·배포만 실패환경 변수, 권한, 플랫폼 차이, lockfileCI 로그와 로컬 diff, 런타임·이미지 버전 핀
설정 불일치프로필·시크릿·기본값, 리전스키마 검증된 설정 단일 소스와 배포 매트릭스 표준화
데이터 불일치비멱등 재시도, 부분 쓰기, 캐시 무효화 누락멱등 키·아웃박스·트랜잭션 경계 재검토

권장 순서: (1) 최소 재현 (2) 최근 변경 범위 축소 (3) 환경·의존성 차이 (4) 관측으로 가설 검증 (5) 수정 후 회귀·부하 테스트.

배포 전에는 git addgit commitgit pushnpm run deploy 순서를 권장합니다.


자주 묻는 질문 (FAQ)

Q. 이 내용을 실무에서 언제 쓰나요?

A. C++ C 배열·std::array vs vector 비교. 고정·동적 크기, 스택·힙, 경계 검사. 최적화 빌드에서의 성능과 안전성 트레이드오프, 언제 무엇을 쓸지 실전 선택 가이드입니다. Start now. 실무에서는 위 본문의 예제와 선택 가이드를 참고해 적용하면 됩니다.

Q. 선행으로 읽으면 좋은 글은?

A. 각 글 하단의 이전 글 또는 관련 글 링크를 따라가면 순서대로 배울 수 있습니다. C++ 시리즈 목차에서 전체 흐름을 확인할 수 있습니다.

Q. 더 깊이 공부하려면?

A. cppreference와 해당 라이브러리 공식 문서를 참고하세요. 글 말미의 참고 자료 링크도 활용하면 좋습니다.


같이 보면 좋은 글 (내부 링크)

이 주제와 연결되는 다른 글입니다.


이 글에서 다루는 키워드 (관련 검색어)

C++, 배열, vector, array, 성능비교, 메모리안전성, STL 등으로 검색하시면 이 글이 도움이 됩니다.