Template Friend 함수를 사용하여 우아한 암시적 유형 변환을 달성하는 방법은 무엇입니까?

Template Friend 함수를 사용한 우아한 암시적 유형 변환

템플릿 클래스를 처리할 때 암시적 유형 변환을 활성화하는 것이 어려울 수 있습니다. int를 사용하는 생성자와 추가를 위해 연산자 오버로드를 사용하는 클래스 템플릿 A를 생각해 보세요.

template <unsigned int m>
class A {
public:
    A(int) {}
};

template<unsigned int m>
A<m> operator+(const A<m>&, const A<m>&) {
    return A<m>(0);
}

일반적으로 int를 사용하여 생성자를 호출하려면 명시적인 캐스팅이 필요합니다. 그러나 다음 예에서는 컴파일 오류가 발생합니다.

A<3> a(4);
A<3> b = a + 5;
A<3> c = 5 + a;

정확한 유형 일치 문제

문제는 템플릿 함수에 대해 오버로드 해결이 작동하는 방식에 있습니다. 유형 추론 중에 컴파일러는 템플릿 매개변수와 정확히 일치하는 항목을 찾습니다. 우리의 경우 유형이 정확하게 정렬되지 않았기 때문에 int 인수를 생성자와 일치시키지 못했습니다.

해결책: 비멤버 친구 함수

우아함 해결책은 클래스 정의 내에 비멤버 friend 함수를 정의하는 것입니다.

template <typename T>
class test {
    friend test operator+(test const &, test const &) {
        return test();
    }
};

각 템플릿 인스턴스화에 대해 컴파일러는 적절한 서명을 사용하여 네임스페이스 수준에서 별도의 비템플릿 함수를 생성합니다.

test<int> operator+(test<int> const &, test<int> const &) { 
   return test<int>();
}

비멤버 Friend 함수의 장점

• 일반성: 인스턴스화된 모든 유형에 대해 비템플릿 함수를 제공하므로 일반적으로 사용할 수 있습니다. .
• 암시적 변환: 비템플릿 함수로서 두 인수 모두에 대해 암시적 변환을 활용하여 유형 불일치 문제를 해결할 수 있습니다.

위 내용은 Template Friend 함수를 사용하여 우아한 암시적 유형 변환을 달성하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!