別のクラスのテンプレートメンバーアレイにテンプレートメンバ参照の宣言

Question

テンプレートclass OtherClass「はS class BitReferenceHostBitReferenceHostのmake_integer_sequence二テンプレート部材の方法を用いて構築std::arrayあるテンプレート部材を、テンプレートへの参照であるテンプレート部材を有します。

私は正しくBitReferenceHostでXBitMaskを宣言しているが、私はそれはBitReferenceHostの静的メンバへの参照を使用していますOtherClassでトラブルを抱えています。

#include <cstdint> 
#include <array> 
#include <limits> 
#include <functional> 

template <typename Aspect> 
class BitReferenceHost { 
    public: 

    template <uint8_t BitCount, uint64_t... Indexes> 
    static constexpr const std::array<uint64_t, sizeof...(Indexes)> 
    initializeXBitMasks(const std::integer_sequence<uint64_t, Indexes...>&) { 
     return { initializeXBitMasks<BitCount>(Indexes)... }; 
    } 

    template< 
     uint8_t BitCount, 
     uint8_t ShiftDistance = BitCount + 1, 
     uint64_t BaseMask  = (1ULL << ShiftDistance) - 1 
    > static constexpr const uint64_t initializeXBitMasks(
     const uint64_t& mask_index 
    ) { 
     return BaseMask << (BitCount * mask_index); 
    } 

    template < 
     uint8_t BitCount, 
     typename MaskInt = uint64_t, 
     uint8_t Count = std::numeric_limits<MaskInt>::digits/BitCount 
    > static constexpr const std::array <MaskInt, Count> 
    XBitMask = initializeXBitMasks<BitCount>(
     std::make_integer_sequence<MaskInt, Count>{} 
    ); 

}; 

template <typename Aspect> 
template <uint8_t BitCount, 
    typename MaskInt, 
    uint8_t Count 
> const std::array<MaskInt, Count> BitReferenceHost<Aspect>::XBitMask; 

template <typename Aspect, typename... Args> 
class OtherClass { 
    public: 
    using ReferenceHost = ::BitReferenceHost<Aspect>; 

    template <uint8_t BitMaskBitCount> 
    static constexpr const auto& XBitMask = 
      ReferenceHost::template XBitMask<BitMaskBitCount>; 
}; 

template <typename Aspect, typename... Args> 
template <uint8_t BitMaskBitCount> 
const auto& OtherClass<Aspect, Args...>::XBitMask; 

更新（ソリューション）：max66が提供する答えは1

の作業コード：

#include <cstdint> 
#include <iostream> 
#include <array> 
#include <limits> 
#include <functional> 

template <typename Aspect> class BitReferenceHost { 
    template <uint8_t BitCount, uint64_t... Indexes> 
    static constexpr const std::array<uint64_t, sizeof...(Indexes)> 
    initializeXBitMasks(const std::integer_sequence<uint64_t, Indexes...>&) 
    { 
    return { { initializeXBitMasks<BitCount>(Indexes)... } }; 
    } 
    template 
    < 
    uint8_t BitCount, 
    uint64_t BaseMask  = (1ULL << BitCount) - 1 
    > 
    static constexpr uint64_t 
    initializeXBitMasks(
    const uint64_t& mask_index) 
    { 
    return BaseMask << (BitCount * mask_index); 
    } 

    public: 
    template 
    < 
    uint8_t BitCount, 
    typename MaskInt = uint64_t, 
    uint8_t Count = std::numeric_limits<MaskInt>::digits/BitCount 
    > 
    static constexpr const std::array<MaskInt,Count> 
    XBitMask = initializeXBitMasks<BitCount>(std::make_integer_sequence<MaskInt, Count>{}); 
}; 

template<typename Aspect> 
template 
<uint8_t BitCount, typename MaskInt, uint8_t Count> 
const std::array<MaskInt, Count> 
BitReferenceHost<Aspect>::XBitMask; 

template <typename Aspect, typename... Args> class OtherClass 
{ 
    using ReferenceHost = ::BitReferenceHost<Aspect>; 
    public: 
    template <uint8_t BitMaskBitCount> static constexpr const decltype(ReferenceHost::template XBitMask<BitMaskBitCount>)& 
    XBitMask = ReferenceHost::template XBitMask<BitMaskBitCount>; 
}; 

template <typename Aspect, typename... Args> 
template <uint8_t BitMaskBitCount> 
constexpr const decltype(OtherClass<Aspect, Args...>::ReferenceHost::template XBitMask<BitMaskBitCount>)& 
OtherClass 
<Aspect, Args...>::XBitMask; 

int main() 
{ 
    uint64_t test_int = OtherClass<uint64_t>::XBitMask<1>[0]; 

    std::cout << test_int << std::endl; 

    return 0; 
} 

Answer 1

私は専門家ではないんだけど...私は（もしので、あなたのコードをコンパイルする問題を抱えていますI）も打ち鳴らすからのエラーメッセージを理解

template <typename Aspect, typename... Args> 
template <uint8_t BitMaskBitCount> 
const auto& OtherClass<Aspect, Args...>::XBitMask; 

でauto種類を推定することはできません初期化値がないためです。私は2つの方法で

をコンパイル

は、（1）クラス定義の外側

template <typename Aspect, typename... Args> 
class OtherClass { 
    using ReferenceHost = ::BitReferenceHost<Aspect>; 

    template <uint8_t BitMaskBitCount> 
    static constexpr const auto& XBitMask = 
      ReferenceHost::template XBitMask<BitMaskBitCount>; 
}; 

//template <typename Aspect, typename... Args> 
//template <uint8_t BitMaskBitCount> 
//const auto& OtherClass<Aspect, Args...>::XBitMask; 

を宣言を削除する（2）タイプにautoを回避（およびsemplifyするusing定義型をusign）

template <typename Aspect, typename... Args> 
class OtherClass { 
    using ReferenceHost = ::BitReferenceHost<Aspect>; 
    template <uint8_t BitMaskBitCount> 
    using xbit_t  = decltype(ReferenceHost::template XBitMask<BitMaskBitCount>); 

    template <uint8_t BitMaskBitCount> 
    static constexpr xbit_t<BitMaskBitCount> & XBitMask = 
      ReferenceHost::template XBitMask<BitMaskBitCount>; 
}; 

template <typename Aspect, typename... Args> 
template <uint8_t BitMaskBitCount> 
constexpr OtherClass<Aspect, Args...>::xbit_t<BitMaskBitCount> & 
    OtherClass<Aspect, Args...>::XBitMask;