C++ 템플릿 클래스 및 복사 구성

Question

두 개체의 템플릿 매개 변수가 런타임에 동일하면 주어진 개체에서 새 개체를 만들 수있는 방법이 있습니까? 예를 들어 :

나는 선언 템플릿 클래스가 : 지금, 멤버 함수 등을 기록 할

template class Object<char, int>; 
template class Object<wchar_t, wint_t>; 

:

template<typename _Type1, typename _Type2> class Object; 

다음, 나는 템플릿이 인스턴스화가 로 :

template<typename _Type1, typename _Type2> 
Object<char, int> Object<_Type1, _Type2>::toCharObject() { 
    if(__gnu_cxx::__are_same<_Type1, char>::__value) 
     return *this; 
    else { 
     //Perform some kind of conversion and return an Object<char, int> 
    } 
} 

나는 그런 __gnu_cxx::__enable_if<__gnu_cxx::__are_same<_Type1, char>::__value, _Type1>::__type을 사용하는 등 기술의 몇 가지를 시도했다 Oject 클래스의 복사 생성자에,하지만 오류로 실행 계속 :

error: conversion from ‘Object<wchar_t, wint_t>’ to non-scalar type ‘Object<char, int>’ requested 

내가이 작업을 수행 할 수있는 방법이 있나요? 어떤 도움이라도 대단히 감사하겠습니다!

Answer 1

작동해야하는 것은 컴파일러가 유형이 동일하지 않아도 컴파일러가 return *this 부분에서 유형 검사를 수행한다는 것입니다 (따라서 컴파일 오류). return (Object<char, int>)(*this);을 사용하면 괜찮을 것입니다. 코드가 실행되는 유일한 시간은 형식이 동일 할 때 뿐이므로 캐스트가 컴파일 오류를 해결하는 것 외에는 아무 것도하지 않습니다.

template <class _Type1, class _Type2> 
Object<char, int> toCharObject(Object<_Type1, _Type2> obj) 
{ 
    // Do conversion and return 
} 

// Specialisation when types are equal 
template <> 
Object<char, int> toCharObject(Object<char, int> obj) 
{ 
    return obj; 
} 

이것은 당신이 볼 수있는 무료 기능은 다음과 같습니다

또는, 템플릿 특수화를 사용할 수 있습니다. 멤버 함수로 할 수는 있지만 개별 멤버 함수를 전문화 할 수 없기 때문에 더 까다 롭습니다. 전체 클래스를 전문화해야합니다. 비 특화된 코드를 인수 분해함으로써 그 문제를 해결할 수는 있지만, 이것은 정말로 추악한 일이며, 이것은 마찬가지로 효과가 있습니다.