컴파일러는 언제 C 변환 연산자에서 'Type&'을 대체합니까?

C의 변환 연산자 이해

객체 지향 프로그래밍 영역에서 변환 연산자는 서로 다른 언어 간의 격차를 해소하는 데 중요한 역할을 합니다. 데이터 유형. 이러한 연산자를 사용하면 객체를 다른 유형으로 처리하여 유용성을 넓힐 수 있습니다.

변환 연산자의 작동 방식을 설명하려면 다음 예를 고려하세요.

template <class Type>
class smartref {
public:
    smartref() : data(new Type) { }
    operator Type&() { return *data; }
private:
    Type* data;
};

class person {
public:
    void think() { std::cout << "I am thinking"; }
};

int main() {
    smartref<person> p;
    p.think(); // why does not the compiler try substituting Type&?
}

이 예에서 smartref 클래스는 다음과 같습니다. 모든 유형의 인스턴스를 보유할 수 있는 템플릿 클래스로 정의됩니다. 변환 연산자 연산자 Type&()는 smartref 객체를 기본 Type 참조로 캐스팅하기 위해 구현되었습니다.

컴파일러가 Type&

컴파일러는 Type&을 대체할 때 다음 상황에서 변환 연산자:

• 인수 전달: 객체가 함수에 인수로 전달될 때 함수가 Type에 대한 참조를 허용하는 경우 컴파일러는 Type&를 대체할 수 있습니다. .
• 참조 바인딩: 참조가 개체에 직접 바인딩될 때 개체가 lvalue인 경우 컴파일러는 Type&을 대체할 수 있습니다.
• 함수 포인터 변환 : 객체가 함수 포인터 또는 참조로 변환될 때 함수 포인터 또는 참조가 변환 함수의 시그니처와 일치하는 경우 컴파일러는 Type&을 대체할 수 있습니다.
• 비클래스 유형 변환: 컴파일러는 사용자 정의 변환 함수를 사용하여 객체를 부울 또는 포인터 값과 같은 클래스가 아닌 유형으로 변환할 수 있습니다.
• 템플릿 변환 연산자: 템플릿 변환 연산자를 사용하면 객체가 다음을 수행할 수 있습니다. 모든 포인터 유형으로 변환 가능합니다. 그러나 이러한 연산자를 사용하면 모호성이 발생할 수 있으므로 주의하는 것이 좋습니다.

제공된 예제의 경우 컴파일러는 think() 함수 호출 내에서 Type&를 호출하기 때문에 이를 대체하지 않습니다. Type&에 대한 lvalue 참조가 아닌 smartref 유형의 객체에 대해.

위 내용은 컴파일러는 언제 C 변환 연산자에서 'Type&'을 대체합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!