우선 왜베이스 클래스를 원하는지 생각해 봅시다. 몇 가지 다른 이유를 생각할 수 있습니다.

1. 모든 유형의 개체에서 작동하는 일반 작업 또는 컬렉션을 지원합니다.
2. 모든 개체에 공통적 인 다양한 절차를 포함합니다 (예 : 메모리 관리).
3. 모든 것이 객체입니다 (프리미티브가 아닙니다!). Objective-C와 같은 일부 언어에는이 기능이 없기 때문에 상황이 매우 복잡해집니다.

이것이 Smalltalk, Ruby 및 Objective-C 브랜드의 언어가 기본 클래스를 갖는 두 가지 좋은 이유입니다 (기술적으로 Objective-C에는 실제로 기본 클래스가 없지만 모든 의도와 목적에 따라 그렇습니다).

# 1의 경우, C ++에 템플릿을 포함하여 모든 개체를 단일 인터페이스로 통합하는 기본 클래스가 필요하지 않습니다. 예를 들면 :

void somethingGeneric(Base);

Derived object;
somethingGeneric(object);

파라 메트릭 다형성을 통해 유형 무결성을 완전히 유지할 수 있다면 불필요합니다!

template <class T>
void somethingGeneric(T);

Derived object;
somethingGeneric(object);

# 2의 경우 Objective-C에서는 메모리 관리 절차가 클래스 구현의 일부이고 기본 클래스에서 상속되는 반면 C ++의 메모리 관리는 상속이 아닌 구성을 사용하여 수행됩니다. 예를 들어 모든 유형의 객체에 대한 참조 계산을 수행하는 스마트 포인터 래퍼를 정의 할 수 있습니다.

template <class T>
struct refcounted
{
  refcounted(T* object) : _object(object), _count(0) {}

  T* operator->() { return _object; }
  operator T*() { return _object; }

  void retain() { ++_count; }

  void release()
  {
    if (--_count == 0) { delete _object; }
  }

  private:
    T* _object;
    int _count;
};

그런 다음 개체 자체에서 메서드를 호출하는 대신 래퍼에서 메서드를 호출합니다. 이것은보다 일반적인 프로그래밍을 허용 할뿐만 아니라 관심사를 분리 할 수도 있습니다 (이상적으로는 객체가 다른 상황에서 메모리를 관리하는 방법보다 수행해야하는 작업에 더 관심을 가져야하기 때문에).

마지막으로, C ++와 같은 기본 객체와 실제 객체를 모두 포함하는 언어에서는 기본 클래스 ( 모든 값에 대한 일관된 인터페이스)를 갖는 이점 이 손실됩니다. 그러면 해당 인터페이스를 준수 할 수없는 특정 값이 있기 때문입니다. 이런 상황에서 프리미티브를 사용하기 위해서는 그것들을 객체로 들어 올려야합니다 (컴파일러가 자동으로하지 않는다면). 이것은 많은 합병증을 만듭니다.

따라서 귀하의 질문에 대한 짧은 대답은 C ++에는 기본 클래스가 없습니다. 왜냐하면 템플릿을 통한 매개 변수 다형성을 가지므로 그럴 필요가 없기 때문입니다.