클래스에 대한 참조를 다른 유형으로 전달

Question

전달 참조로 std::aligned_storage_t 매개 변수를 허용하고 reinterpret_cast을 다른 유형으로 변환하여 사용자에게 반환하는 코드가 있습니다.

template <typename AlignedStorageType, typename TypeToReturnAs> 
decltype(auto) forward_as_another_type(AlignedStorageType&& storage) { 
    return *reinterpret_cast<TypeToReturnAs*>(&storage); 
} 

반환 유형에 storage이있는 참조 유형을 유지하는 좋은 방법이 있습니까? 예를 들어 저장 장치가 rvalue 참조 인 경우 반환 유형이 rvalue 참조가되기를 원합니다.

Answer 1

먼저 템플릿 매개 변수를 뒤집습니다. 당신이 기본적으로 원하는 것은 조건부 식을 캐스팅하는 것입니다

template <typename TypeToReturnAs, typename AlignedStorageType> 
decltype(auto) forward_as_another_type(AlignedStorageType&& storage) { 
    return *reinterpret_cast<TypeToReturnAs*>(&storage); 
} 

다음 : 당신은 AlignedStorageType 추론 할 다른 하나는 명시 적으로 지정해야합니다. AlignedStorageType&&이 X&& 인 경우 TypeToReturnAs&&으로 전송하고 싶습니다. X& 인 경우 TypeToReturnAs&으로 표시됩니다. X const& 인 경우 TypeToReturnAs const&으로 지정합니다. 당신이 할 수있는, 당신은 단지 일회성으로 이것을 사용하는 경우, 또는

template <typename TypeToReturnAs, typename AlignedStorageType> 
decltype(auto) forward_as_another_type(AlignedStorageType&& storage) { 
    using R = match_reference_t<AlignedStorageType&&, TypeToReturnAs>; 
    return static_cast<R>(*reinterpret_cast<TypeToReturnAs*>(&storage)); 
} 

: 다음

template <class T, class U> struct match_reference; 
template <class T, class U> struct match_reference<T&, U>  { using type = U&; }; 
template <class T, class U> struct match_reference<T const&, U> { using type = U const&; }; 
template <class T, class U> struct match_reference<T&&, U>  { using type = U&&; }; 
template <class T, class U> using match_reference_t = typename match_reference<T,U>::type; 

그리고 :

우리는 기준에 맞게 유형의 특성을 추가 할 수 있습니다 단지 조건부로 그 로직을 작성 :

template <typename TypeToReturnAs, typename AlignedStorageType> 
decltype(auto) forward_as_another_type(AlignedStorageType&& storage) { 
    using R = std::conditional_t< 
     std::is_lvalue_reference<AlignedStorageType>::value, 
     TypeToReturnAs&, 
     TypeToReturnAs&&>; 
    return static_cast<R>(*reinterpret_cast<TypeToReturnAs*>(&storage)); 
} 

나 :

using R = std::conditional_t< 
     std::is_lvalue_reference<AlignedStorageType>::value, 
     TypeToReturnAs&, 
     TypeToReturnAs>; 
    return std::forward<R>(*reinterpret_cast<TypeToReturnAs*>(&storage));