객체를 초기화 할 때 {0}은 무엇을 의미합니까?

{0}객체를 초기화하는 데 언제 사용됩니까? {0}어디에서나 참조를 찾을 수 없으며 중괄호 때문에 Google 검색이 도움이되지 않습니다.

예제 코드 :

SHELLEXECUTEINFO sexi = {0}; // what does this do?
sexi.cbSize = sizeof(SHELLEXECUTEINFO);
sexi.hwnd = NULL;
sexi.fMask = SEE_MASK_NOCLOSEPROCESS;
sexi.lpFile = lpFile.c_str();
sexi.lpParameters = args;
sexi.nShow = nShow;

if(ShellExecuteEx(&sexi))
{
    DWORD wait = WaitForSingleObject(sexi.hProcess, INFINITE);
    if(wait == WAIT_OBJECT_0)
        GetExitCodeProcess(sexi.hProcess, &returnCode);
}

그렇지 않으면 위의 코드가 런타임에 충돌합니다.

여기서 일어나고있는 것을 집계 초기화 라고 합니다. 다음은 ISO 사양 섹션 8.5.1의 집계에 대한 (약식) 정의입니다.

집합은 사용자가 선언 한 생성자, 개인 또는 보호 된 비 정적 데이터 멤버, 기본 클래스 및 가상 함수가없는 배열 또는 클래스입니다.

이제 {0}이와 같은 집계를 초기화하는 데 사용 하는 것은 기본적으로 0전체에 대한 트릭 입니다. 집계 초기화 를 사용할 때 모든 멤버를 지정할 필요가 없으며 스펙에서 지정되지 않은 모든 멤버를 기본적으로 초기화해야 0하므로 단순 유형으로 설정됩니다 .

스펙의 관련 인용문은 다음과 같습니다.

집계에 멤버가있는 것보다 목록에 이니셜 라이저가 적은 경우 명시 적으로 초기화되지 않은 각 멤버는 기본 초기화됩니다. 예:

struct S { int a; char* b; int c; };
S ss = { 1, "asdf" };

초기화 ss.a와 1, ss.b와 "asdf",와 ss.c형태의 식의 값에 int(),이다 0.

이 주제에 대한 전체 사양은 여기 에서 찾을 수 있습니다.

한 가지 알아야 할 것은이 기술은 패딩 바이트를 0으로 설정하지 않는다는 것입니다. 예를 들면 다음과 같습니다.

struct foo
{
    char c;
    int  i;
};

foo a = {0};

다음과 동일하지 않습니다 :

foo a;
memset(&a,0,sizeof(a));

첫 번째 경우, c와 i 사이의 pad 바이트는 초기화되지 않습니다. 왜 신경 쓰겠 어? 이 데이터를 디스크에 저장하거나 네트워크 등을 통해 전송하는 경우 보안 문제가 발생할 수 있습니다.

빈 집계 초기화 프로그램도 작동합니다.

SHELLEXECUTEINFO sexi = {};
char mytext[100] = {};

왜 ShellExecuteEx()충돌 하는지에 대한 대답으로 : SHELLEXECUTEINFO"sexi"구조체에는 많은 멤버가 있으며 일부만 초기화하고 있습니다.

예를 들어, 멤버 sexi.lpDirectory가 아무 데나 가리킬 수 있지만 ShellExecuteEx()여전히 사용하려고 시도하므로 메모리 액세스 위반이 발생합니다.

라인을 포함시킬 때 :

SHELLEXECUTEINFO sexi = {0};

나머지 구조 설정 전에 관심있는 특정 멤버를 초기화하기 전에 모든 구조 멤버 를 제로화하도록 컴파일러에 지시합니다 . 제로인 ShellExecuteEx()경우 sexi.lpDirectory무시해야한다는 것을 알고 있습니다.

또한 문자열을 초기화하는 데 사용합니다.

char mytext[100] = {0};

{0}C 및 C ++ 모두에서 모든 (완전한 객체) 유형에 대한 유효한 초기화 프로그램입니다. 객체를 0 으로 초기화하는 데 사용되는 일반적인 관용구입니다 (이것이 무엇을 의미하는지 읽으십시오).

스칼라 유형 (산술 및 포인터 유형)의 경우 중괄호는 필요하지 않지만 명시 적으로 허용됩니다. ISO C 표준 의 N1570 초안 인용 , 섹션 6.7.9 :

스칼라의 이니셜 라이저는 선택적으로 중괄호로 묶인 단일 표현식이어야합니다.

객체를 0으로 초기화합니다 ( 0정수, 0.0부동 소수점, 포인터의 널 포인터).

스칼라가 아닌 유형 (구조, 배열, 공용체) 의 경우 객체 {0}의 첫 번째 요소가 0으로 초기화되도록 지정합니다. 구조, 구조의 배열 등을 포함하는 구조의 경우에는 재귀 적으로 적용되므로 첫 번째 스칼라 요소는 유형에 따라 0으로 설정됩니다. 이니셜 라이저에서와 같이 지정되지 않은 요소는 0으로 설정됩니다.

중간 괄호 ( {, })는 생략 할 수 있습니다. 예를 들어 둘 다 유효하고 동등합니다.

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

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

그렇기 때문에 예를 들어 { { 0 } }첫 번째 요소가 스칼라가 아닌 유형에 대해 쓸 필요가 없습니다 .

그래서 이거:

some_type obj = { 0 };

는 obj0 으로 초기화하는 짧은 방법으로 , 각 스칼라 하위 오브젝트 obj가 0정수인 0.0경우, 부동 소수점 인 경우, 포인터 인 경우 널 포인터 인 경우로 설정됩니다.

규칙은 C ++에서 비슷합니다.

특정 경우에 값을 할당하는 sexi.cbSize등 SHELLEXECUTEINFO의 이유로 구조체 또는 클래스 유형 (또는 아마도 조합이지만 가능하지는 않음)이 분명하므로 모든 것이 적용되는 것은 아니지만 { 0 }공통적입니다. 보다 일반적인 상황에서 사용할 수있는 관용구.

이것은 객체 표현을 all-bits-zero로 설정 하는 데 사용 하는 것과 (필수적으로) 동일 하지 않습니다memset . 부동 소수점 0.0이나 널 포인터가 모두 0으로 표시 될 { 0 }필요는 없으며 초기화 프로그램이 반드시 패딩 바이트를 특정 값으로 설정하지 않아도됩니다. 그러나 대부분의 시스템에서 동일한 효과가있을 수 있습니다.

c / c ++에서 일했지만 IIRC에서는 배열에 동일한 바로 가기를 사용할 수 있기 때문에 시간이 오래 걸렸습니다.

난 항상 궁금해, 왜 당신이 같은 것을 사용해야

struct foo bar = { 0 };

다음은 설명 할 테스트 사례입니다.

check.c

struct f {
    int x;
    char a;
} my_zero_struct;

int main(void)
{
    return my_zero_struct.x;
}

컴파일 gcc -O2 -o check check.c하고 심볼 테이블을 사용하여 출력합니다 readelf -s check | sort -k 2(x64 시스템의 우분투 12.04.2의 gcc 4.6.3). 발췌 :

59: 0000000000601018     0 NOTYPE  GLOBAL DEFAULT  ABS __bss_start
48: 0000000000601018     0 NOTYPE  GLOBAL DEFAULT  ABS _edata
25: 0000000000601018     0 SECTION LOCAL  DEFAULT   25 
33: 0000000000601018     1 OBJECT  LOCAL  DEFAULT   25 completed.6531
34: 0000000000601020     8 OBJECT  LOCAL  DEFAULT   25 dtor_idx.6533
62: 0000000000601028     8 OBJECT  GLOBAL DEFAULT   25 my_zero_struct
57: 0000000000601030     0 NOTYPE  GLOBAL DEFAULT  ABS _end

여기서 중요한 부분 my_zero_struct은 이후 __bss_start입니다. C 프로그램에서 ".bss라고"부분은 0으로 설정되어 메모리 섹션 전에 main 보기라고 .bss라고에 위키를 .

위 코드를 다음과 같이 변경하면

} my_zero_struct = { 0 };

그런 다음 결과 "체크"실행 파일은 적어도 우분투 12.04.2의 gcc 4.6.3 컴파일러와 정확히 동일합니다. 는 my_zero_struct여전히 .bss이전 섹션에 따라서 자동으로 0으로 초기화 될 것 main이라고합니다.

memset"전체"구조를 초기화 할 수도 있다는 의견에서 힌트 .bss는 "전체"구조가 0으로 설정되어 있음을 의미 하기 때문에 섹션이 완전히 지워 지기 때문에 개선되지 않습니다 .

그것은 수있는 C 언어 표준이 중 하나를 언급하지 않는,하지만 현실 세계의 C 컴파일러에 나는 다른 행동을 본 적이 없다.

전체 구조를 빈 / 제로 / 널 값으로 초기화하는 것은 합성 설탕입니다.

긴 버전

SHELLEXECUTEINFO sexi;
sexi.cbSize = 0;
sexi.fMask = 0;
sexi.hwnd = NULL;
sexi.lpVerb = NULL;
sexi.lpFile = NULL;
sexi.lpParameters = NULL;
sexi.lpDirectory = NULL;
sexi.nShow = nShow;
sexi.hInstApp = 0;
sexi.lpIDList = NULL;
sexi.lpClass = NULL;
sexi.hkeyClass = 0;
sexi.dwHotKey = 0;
sexi.hMonitor = 0;
sexi.hProcess = 0;

짧은 버전

SHELLEXECUTEINFO sexi = {0};

그렇게 쉽지 않았습니까?

다음과 같은 이유로도 좋습니다.

• 모든 멤버를 찾아서 초기화 할 필요는 없습니다.
• 나중에 추가 할 때 새 멤버를 초기화하지 않아도된다고 걱정할 필요가 없습니다.
• 당신은 전화 할 필요가 없습니다ZeroMemory

{0}은 (는) 해당 요소를 0으로 포함 하는 익명 배열 입니다.

이것은 배열의 하나 또는 모든 요소를 ​​0 으로 초기화 하는 데 사용됩니다 .

예를 들어, int arr [8] = {0};

이 경우 arr의 모든 요소는 0으로 초기화됩니다.