2013-10-29 2 views
1

C의 고정 된 크기의 구조에 익숙합니다. C++ 객체가 고정되어 있는지 여부를 모릅니다. 객체의 크기를 예측하는 것이 항상 가능합니까? 컴파일하는 동안? 및/또는 실행 시간? sizeof 연산자를 사용하지 않으면 불가능합니까? 하드웨어 플랫폼에 따라 다르다는 것을 알고있었습니다. 그 외에, 또 뭐야?C++ 개체의 크기가 고정되어 있습니까?

+0

개체의 레이아웃은 플랫폼에 따라 달라지는 ABI에 따라 다릅니다. 예제는 http://refspecs.linuxbase.org/cxxabi-1.83.html입니다. –

답변

3

물론 C++ 개체의 크기는 고정되어 있습니다. 고정되어 있지 않고 객체 배열을 만들었다면 컴파일러가 할당 할 공간을 얼마나 알 수 있습니까?

struct에 적용되는 것과 동일한 규칙이 여기에 적용됩니다. 각 데이터 유형의 크기와 정렬을위한 패딩의 합계 및 아키텍처에 따라 V 테이블 포인터에 대해 추가 4 또는 8 바이트의 가상 함수를 사용하는 경우 귀하의 기계.

+0

이것이 사실이라면 정확히 원합니다. 다른 사람이 확인할 수 있습니까? – Tim

+0

잘못되었습니다. 'new int [x]'는 반대 예제입니다. 배열은 이처럼 가변 길이 배열 인 단일 객체입니다. "컴파일러는이 배열에 할당 할 공간이 얼마나되는지 알고 있습니까?" 논쟁이 아닙니다 : 가변 길이 배열의 배열이 없습니다. – MSalters

+2

맞습니다. 'new int [x]'가 사용되면 힙에 동적으로 할당 된 int를 가리키는 포인터가 분명히 필요합니다. 이 포인터 크기는 아키텍처에 따라 약간 다릅니다. 물론이 할당 된 데이터는 실제 클래스 또는 구조체 크기와 별개입니다. 'class Foo { int someInt; int * someInts; } int가 4 바이트 크기 인 32 비트 시스템에서는 항상 8 바이트입니다. 생성자에서'someints = new int [6400]'을 가지고 있고'Foo'의이 인스턴스에서'sizeof()'를 호출하면 여전히 8 바이트가됩니다. –

2

C를 사용하는 경우에도 패딩, 정렬 등이 필요합니다. 즉, C++의 struct/class 크기는 일반적으로 멤버 변수의 크기를 알면 예측할 수 있습니다. 이것이 조금 어둡게되는 유일한 시간은 virtual functionsvirtual inheritance을 소개하기 시작할 때입니다. 이 경우 컴파일러는 몇 가지 추가 부기 정보를 저장해야합니다. 그럼에도 불구하고 각 객체의 크기는 컴파일 타임에 알려 지므로 sizeof 연산자는 컴파일 타임 기능입니다 (템플릿 메타 프로그래밍에 왜 사용할 수 있는지 설명합니다).

C++은 "do not 당신이 사용하지 않는 것을 지불하십시오. " 비슷한 데이터와 함수를 하나의 클래스로 그룹화하면 C에서 전역 함수를 사용하는 것처럼 구조체가 작동합니다. 보다 고급 기능이 필요한 경우 사용 당 비용을 지불해야합니다.

+0

각 가상 함수를 사용하면 포인터 및 기타 시스템/응용 프로그램 변수/포인터가있는 항목이 하나 더 생성된다는 의미입니까? 그것은 가상 함수의 사용 후, 당신은 차이가 나타납니다 sizeof 연산자를 사용합니까? 이 개체 내의 다른 개체는 어떻습니까? 함수의 크기는 얼마입니까? 함수 포인터의 크기? – Tim

+1

개체는 함수 포인터 테이블 (가상 함수 테이블 또는 vtable이라고 함)에 대한 포인터를 저장해야합니다. 실제로이 포인터를 구조체 내에 저장하는 곳은 구현이 정의되어 있지만 개체의 개념과 일치하지 않을 수 있습니다 형세. – bstamour

3

개체 자체의 크기는 sizeof을 호출하여 검색 할 수 있으며 컴파일 타임에 알려져 있습니다. 그러나 객체는 다른 리소스를 관리 할 수 ​​있으며 리소스가 차지하는 메모리의 양을 직접 알 수있는 방법은 없습니다.

예를 들어 gcc 32 비트, sizeof(std::vector<T>)은 12 포인터 (3 포인터)이지만 그 자체가 커질 수있는 T의 몇 백만 개의 인스턴스를 관리 할 수 ​​있습니다.

1

예 및 아니오! class 또는 struct은 힙의 내부 데이터에 임의의 크기를 할당 할 수 있습니다. 이것을 관리하는 멤버는 고정 크기 구조를 설정합니다.

2

모든 유형의 크기는 잘 알려져 있습니다. 실제로

class Unknown; 
class Success { 
    Unknown *x; 
}; 

: 포인터를 사용

class Unknown; 
class Failure { 
    Unknown x; 
}; 

유효 선언한다 :

형태의 전방 선언을 사용 선언 만, 무효 (동적 메모리 할당을 고려하지 않음) C와 C++은 다르지 않습니다. 둘 다 잘 알려진 크기가 필요합니다.

관련 문제