声明模板会员参考另一个类的模板成员数组

Declaring templated member reference to templated member array of another class

本文关键字:成员 数组 参考 声明 另一个      更新时间:2023-10-16

模板class OtherClass具有一个模板成员,它是对模板class BitReferenceHost的模板成员的引用,该模板是使用make_integer_sequence构建的std::array,并且BitReferenceHost的两个模板成员方法。

我在BitReferenceHost中正确声明了XBitMask,但是我在OtherClass中使用了对BitReferenceHost的静态成员的参考。

#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提供的每个答案工作代码:

#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;
}

我不是专家,但是...我在编译您的代码时遇到问题,因为(如果我很好地理解了clang的错误消息)

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

无法推导,因为没有初始化值。

我以两种方式编译

(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(并用使用using定义的类型为semplify)

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;