C++ Designated Initializers | "지정 초기화" 가이드
이 글의 핵심
C++ Designated Initializers에 대해 정리한 개발 블로그 글입니다. struct Point { int x; int y; int z; };
Designated Initializers란?
구조체 멤버를 이름으로 초기화
struct Point {
int x;
int y;
int z;
};
// C++20 이전
Point p1 = {1, 2, 3}; // 순서 기억 필요
// C++20: Designated Initializers
Point p2 = {.x = 1, .y = 2, .z = 3}; // 명시적
Point p3 = {.x = 1, .z = 3}; // y는 0
Point p4 = {.z = 3, .x = 1}; // 에러: 순서 유지 필요기본 사용법
struct Config {
string host;
int port;
bool ssl;
int timeout;
};
// 명시적 초기화
Config cfg = {
.host = "localhost",
.port = 8080,
.ssl = true,
.timeout = 30
};
// 일부만 초기화 (나머지는 기본값)
Config cfg2 = {
.host = "example.com",
.port = 443
// ssl = false, timeout = 0
};중첩 구조체
struct Address {
string street;
string city;
int zip;
};
struct Person {
string name;
int age;
Address address;
};
// 중첩 초기화
Person p = {
.name = "Alice",
.age = 30,
.address = {
.street = "123 Main St",
.city = "Seoul",
.zip = 12345
}
};실전 예시
예시 1: 설정 파일
struct ServerConfig {
string host = "localhost";
int port = 8080;
bool ssl = false;
int maxConnections = 100;
int timeout = 30;
};
int main() {
// 기본값 사용
ServerConfig dev = {
.host = "localhost",
.port = 3000
};
// 프로덕션 설정
ServerConfig prod = {
.host = "api.example.com",
.port = 443,
.ssl = true,
.maxConnections = 1000
};
cout << "Dev: " << dev.host << ":" << dev.port << endl;
cout << "Prod: " << prod.host << ":" << prod.port << endl;
}예시 2: 그래픽 설정
struct Color {
int r = 0;
int g = 0;
int b = 0;
int a = 255;
};
struct Style {
Color background;
Color foreground;
int fontSize = 12;
string fontFamily = "Arial";
};
int main() {
Style style = {
.background = {.r = 255, .g = 255, .b = 255},
.foreground = {.r = 0, .g = 0, .b = 0},
.fontSize = 14
};
}예시 3: 테스트 데이터
struct TestCase {
string name;
int input;
int expected;
bool shouldThrow = false;
};
int main() {
vector<TestCase> tests = {
{.name = "positive", .input = 5, .expected = 25},
{.name = "negative", .input = -3, .expected = 9},
{.name = "zero", .input = 0, .expected = 0},
{.name = "overflow", .input = 100000, .expected = 0, .shouldThrow = true}
};
for (const auto& test : tests) {
cout << "Test: " << test.name << endl;
// 테스트 실행
}
}예시 4: 옵션 구조체
struct ParseOptions {
bool ignoreCase = false;
bool multiline = false;
bool dotAll = false;
int maxDepth = 10;
};
void parse(const string& text, ParseOptions opts = {}) {
cout << "Parsing with:" << endl;
cout << " ignoreCase: " << opts.ignoreCase << endl;
cout << " multiline: " << opts.multiline << endl;
}
int main() {
parse("text"); // 기본 옵션
parse("TEXT", {
.ignoreCase = true
});
parse("line1\nline2", {
.multiline = true,
.maxDepth = 20
});
}배열과 함께
struct Point {
int x;
int y;
};
int main() {
Point points[] = {
{.x = 0, .y = 0},
{.x = 1, .y = 1},
{.x = 2, .y = 4}
};
for (const auto& p : points) {
cout << "(" << p.x << ", " << p.y << ")" << endl;
}
}자주 발생하는 문제
문제 1: 순서 불일치
struct Point {
int x;
int y;
int z;
};
// ❌ 순서 불일치
Point p = {.z = 3, .x = 1, .y = 2}; // 컴파일 에러
// ✅ 선언 순서 유지
Point p = {.x = 1, .y = 2, .z = 3};문제 2: 일부 생략
struct Point {
int x;
int y;
int z;
};
// ❌ 중간 생략 후 지정
Point p = {.x = 1, .z = 3}; // y는 0
// Point p2 = {.x = 1, 2, .z = 3}; // 에러: 혼합 불가
// ✅ 순서대로 생략
Point p = {.x = 1}; // y, z는 0문제 3: 클래스에서 사용
// ❌ 클래스는 불가 (접근 제어 때문)
class Point {
public:
int x;
int y;
};
// Point p = {.x = 1, .y = 2}; // 에러
// ✅ 구조체 사용
struct Point {
int x;
int y;
};
Point p = {.x = 1, .y = 2};기본값과 함께
struct Config {
string host = "localhost";
int port = 8080;
bool debug = false;
};
// 일부만 오버라이드
Config cfg = {
.port = 3000,
.debug = true
// host는 "localhost" 유지
};다른 초기화 방식과 비교
Designated initializer는 집합형(aggregate) 에만 쓰이며, 같은 목적을 위해 쓸 수 있는 다른 문법과 역할이 다릅니다.
| 방식 | 문법 예 | 특징 |
|---|---|---|
| 순서 집합 초기화 | Point p{1, 2, 3}; | 선언 순서에 의존, 짧음 |
| 지정 초기화 (C++20) | Point p{.x=1, .y=2, .z=3}; | 멤버 이름 명시, 순서는 선언 순서 준수 |
| 직접/복사 초기화 | Point p(1,2,3); | 생성자가 있을 때만 (aggregate가 아니면 필수) |
| 기본 멤버 초기화 | 멤버 선언부 int z = 0; | 누락 필드의 기본값 |
C++ 집합 초기화와 함께 보면, 필드가 많거나 의미가 헷갈리는 설정 struct 에서 지정 초기화가 가독성 이득이 큽니다. 반면 멤버 수가 적고 순서가 고정된 작은 타입은 {a,b,c} 한 줄이 더 간결할 수 있습니다.
C의 designated initializer와 달리 C++20에서는 선언 순서를 벗어난 지정 이 금지되므로, “이름만 맞으면 순서 무관”이 아님에 주의하세요.
실전 활용 사례 (보강)
- 네트워크/바이너리 프로토콜 헤더: 필드 의미를 코드 리뷰에서 바로 읽히게 하고, 중간 필드를 실수로 빼먹는 것을 줄입니다 (나머지는 값 초기화로 0).
- 그래픽·게임 파이프라인:
Viewport,SamplerDesc같이 필드가 많은 POD/준-POD 설정을 테스트 케이스마다 최소 필드만 덮어씁니다. - 임베디드·드라이버 설정: 레지스터 블록을 struct로 두고, 문서의 필드 이름과 코드의
.field가 대응되게 유지보수합니다. - 팀 컨벤션: “공개 API의 옵션 struct는 designated initializer만 허용”처럼 가이드를 두면 리뷰어가 의도를 빠르게 검증할 수 있습니다.
성능 영향
집합 초기화 자체는 런타임에 특별한 오버헤드를 추가하지 않습니다. 컴파일된 코드는 보통 순서 초기화와 동일하게 스택에 값을 채우거나 상수 풀에서 로드하는 형태입니다.
- 추가 비용: 소스 가독성을 위한 문법일 뿐, 실행 경로는 동일한 패턴으로 내려가는 경우가 대부분입니다.
- 바이너리 크기: 멤버별로 다른 상수 조합이 많아지면 분기·데이터가 늘 수 있으나, 이는 “지정” 때문이 아니라 조합 수 때문입니다.
프로파일에서 병목이면 designated 여부보다 복사·할당·문자열, 혹은 struct를 값으로 자주 넘기는지를 먼저 보는 것이 좋습니다.
컴파일러 최적화
- 최적화(-O2/-O3) 가 켜져 있으면, 사용되지 않는 멤버 채우기나 중간 임시는 제거·접히기(constant folding)될 수 있습니다.
- 디버그 빌드 에서는 초기화가 한 줄씩 보이는 식으로 커질 수 있어, 성능 측정은 반드시 릴리스와 동일 플래그로 하세요.
- 클래스(비집합) 에는 적용할 수 없으므로, “최적화를 위해 생성자를 추가했다”면 designated initializer는 더 이상 쓸 수 없습니다. 설계 트레이드오프입니다.
흔한 실수 (정리)
- 멤버 순서와 지정 순서 불일치: C++20에서는 컴파일 에러로 잡힙니다. 리팩터링으로 멤버 순서를 바꾸면 모든 지정 초기화 호출 을 같이 고쳐야 합니다.
- 집합이 깨진 경우: 사용자 제공 생성자, 가상 함수, private 비정적 멤버 등으로 aggregate가 아니 되면
.x=형태를 쓸 수 없습니다. - 혼합: 지정자와 비지정 초기화를 한 initializer 안에서 섞는 것은 C++에서 허용되지 않습니다.
- 배열의 지정 초기화: C++20 규칙을 정확히 따르지 않은 코드는 이식성 문제가 될 수 있으니, 해당 TU의 표준 버전과 컴파일러 릴리스 노트를 확인하세요.
FAQ
Q1: Designated Initializers는 언제 사용하나요?
A:
- 구조체 초기화
- 설정 객체
- 옵션 파라미터
Q2: 장점은?
A:
- 가독성 향상
- 순서 실수 방지
- 기본값 활용
Q3: 순서는?
A: 선언 순서대로 초기화 필요.
Q4: 클래스에서 사용 가능?
A: 아니요. 구조체만 가능.
Q5: C++20 이전에는?
A: 순서대로 초기화하거나 생성자 사용.
Q6: Designated Initializers 학습 리소스는?
A:
- “C++20 The Complete Guide”
- cppreference.com
- “Effective Modern C++“
같이 보면 좋은 글 (내부 링크)
이 주제와 연결되는 다른 글입니다.
- C++20 Designated Initializers 완벽 가이드 | 명확한 구조체 초기화
- The Complete Guide to C++20 Designated Initializers | Clear Struct Initialization
- C++ 삼원 비교 연산자 | “Spaceship Operator” 가이드
관련 글
- C++ Aggregate Initialization |