Auto 유형과 Private 유형: 변수 선언에 차이가 있는 이유는 무엇입니까?

Auto 및 Private 유형: 왜 모순이 발생하는가?

제공된 코드에서 auto를 사용하여 반환 값을 받는 변수 b를 선언합니다. f.Baz()는 성공하지만 Foo::Bar 명시적 유형을 사용하면 오류가 발생합니다. 이러한 불일치로 인해 많은 개발자들이 당황했습니다.

자동 공제 규칙은 일반적으로 템플릿 유형 공제 규칙을 따릅니다. 즉, 비공개 유형의 개체를 템플릿 함수에 전달할 수 있는 것처럼 auto를 사용하여 해당 유형의 변수를 선언할 수도 있습니다.

그 이유는 비공개 유형의 개체 이름이 유형에 액세스할 수 없어도 유형 자체는 계속 사용할 수 있습니다. 이는 개인 유형의 개체를 클라이언트 코드로 반환하는 기능에서 분명하게 드러납니다. 컴파일러는 타입 이름이 노출되지 않더라도 반환된 값의 타입을 추론할 수 있습니다.

auto의 경우 컴파일러는 뒤에 오는 표현식을 기반으로 타입 추론을 수행합니다. f.Baz()는 Foo::Bar 유형의 객체를 반환하므로 컴파일러는 auto에 Foo::Bar 유형을 할당합니다. 그러나 Foo::Bar라는 이름은 비공개이므로 컴파일러는 해당 유형의 변수를 직접 만들 수 없습니다. 대신 Foo::Bar와 동일한 멤버 및 속성을 가진 익명 유형을 사용합니다. 이를 통해 명시적인 유형 이름에 액세스할 수 없더라도 b는 i 멤버에 액세스할 수 있습니다.

위 내용은 Auto 유형과 Private 유형: 변수 선언에 차이가 있는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!