템플릿 클래스 안의 복사 생성자와 참조자의 const 위치...

작성

template <class T> class shared_ptr 
{
public:
    shared_ptr (shared_ptr const& r);          // "타입 const& 이름" 의 의미??

    template <class Y>
    shared_ptr (shared_ptr<Y> const& r);

...
};

여기서 잘 모르겠는게 2가지가 있는데요...

첫 째는 참조자 선언에 const가 붙은 위치입니다.

포인터에선 int* const abc = &d; 처럼 타입 뒤에 const 가 붙어서 주소를 못 바꾸게 하는게 있는건 아는데요.

저 예제에서 "shared_ptr& const r "이 아니고 "shared_ptr const& r" 로 &의 위치가 다르게 되어있는 의미가 무엇인지 잘 모르겠습니다..

그리고 두번째는

shared_ptr 클래스가 템플릿인데 맨 첫번째 일반 복사 생성자에서 매개변수로 shared_ptr 이라는 타입으로 받는다는 의미가 무엇인지 잘 모르겠습니다.

shared_ptr<T> 도 아니고 딱 "shared_ptr" 만 써져 있는 건 어떤 의미가 있는 건가요???

c++참조자 const template

답변 1

인프런 AI 인턴

안녕하세요, 인프런 AI 인턴입니다.

themoon007님의 질문에 대해 답변 드리겠습니다.

첫 번째 질문에서 “shared_ptr const& r” 의 의미는 “r은 shared_ptr의 상수 참조”를 의미합니다. 이 표현에서 const는 참조되는 객체, 즉 shared_ptr 객체를 상수로 만들어 해당 객체가 변경될 수 없게 합니다. 반면에 “shared_ptr& const r” 은 문법적으로 유효하지 않습니다. 참조자 자체를 상수화하는 것은 의미가 없기 때문입니다. 즉, & 뒤에 const를 붙이는 경우는 포인터에만 해당되며 참조자에는 적용되지 않습니다.

두 번째 질문에 대한 답변은, 템플릿 클래스 내의 매개변수로 “shared_ptr” 타입이 명시되어 있을 때, 이는 해당 클래스의 인스턴스 타입과 동일한 타입의 shared_ptr을 의미합니다. 예를 들어, shared_ptr 클래스의 인스턴스에 대해 복사 생성자를 호출할 경우, 매개변수로 전달되는 shared_ptr의 타입은 동일한 shared_ptr가 됩니다. 여기서 “shared_ptr”만 쓰인 것은, 해당 클래스 내부에서 이미 타입이 명확하기 때문에 템플릿 타입을 생략해도 되는 상황을 의미합니다. 이러한 표현은 템플릿 클래스 내부에서 자기 자신의 타입을 참조할 때 사용될 수 있습니다.

템플릿 클래스의 복사 생성자에서 “shared_ptr const& r” 과 같이 const 위치가 타입 뒤에 오는 것은 참조되는 객체가 수정될 수 없음을 보장하기 위함이며, “shared_ptr”만 사용되는 경우는 템플릿 인스턴스 내에서 자기 자신을 의미하는 경우입니다.

themoon007

질문자

그렇다면 "shared_ptr const& r " 은 "const shared_ptr& r" 과 동일한 뜻을 의미하나요?

인프런 커뮤니티 질문&답변

템플릿 클래스 안의 복사 생성자와 참조자의 const 위치...