作为另一种类型转发对类的引用

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在返回类型中的引用类型？例如，如果存储是右值引用，那么我希望返回类型也是右值引用。

Answer 1

首先翻转模板参数。你想AlignedStorageType来推断，另一个被明确指定：

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

接下来，你基本上要的是有条件投的表达。如果AlignedStorageType&&是X&&，则要将其转换为TypeToReturnAs&&。如果是X&，则为TypeToReturnAs&。如果是X const&，则为TypeToReturnAs const&。

我们可以添加型性状只是匹配参考：

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 = match_reference_t<AlignedStorageType&&, TypeToReturnAs>; 
    return static_cast<R>(*reinterpret_cast<TypeToReturnAs*>(&storage)); 
} 

或者，如果你只使用这是一个一次性的，你可以只写逻辑作为条件：

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));